一什么会需要synchronized？什么场景下使用synchronized？

如上图所示，比如在王者荣耀程序中，我们队有二个线程分别统计后裔和安琪拉的经济，A线程从内存中read 当前队伍总经济加载到线程的本地栈，进行 +100 操作之后，这时候B线程也从内存中取出经济值 + 200，将200写回内存，B线程刚执行完，后脚A线程将100 写回到内存中，就出问题了，我们队的经济应该是300，但是内存中存的却是100。

1. synchronized 怎么解决这个问题的？

在访问竞态资源时加锁，因为多个线程会修改经济值，因此经济值就是竞态资源，给您show 一下吧？下图是不加锁的代码以及控制台的输出，请您过目：

二个线程，A线程让队伍经济 +1 ，B线程让经济 + 2，分别执行一千次，正确的结果应该是3000，结果得到的却是 2845。

这个就是加锁之后的代码和控制台的输出。

二 synchronized 还有别的作用范围吗？

在静态方法上加锁；
在非静态方法上加锁；
在代码块上加锁；

public class SynchronizedSample {

    private final Object lock = new Object();

    private static int money = 0;
		//非静态方法
    public synchronized void noStaticMethod(){
        money++;
    }
		//静态方法
    public static synchronized void staticMethod(){
        money++;
    }
		
    public void codeBlock(){
      	//代码块
        synchronized (lock){
            money++;
        }
    }
}

锁是加在对象上面的，我们是在对象上加锁。

重要事情说三遍：在对象上加锁 ✖️ 3 （这也是为什么wait / notify 需要在锁定对象后执行，只有先拿到锁才能释放锁）

这三种作用范围的区别实际是被加锁的对象的区别，请看下表：

三 JVM 是怎么通过synchronized 在对象上实现加锁，保证多线程访问竞态资源安全的吗？

1.在JDK6 以前synchronized实现逻辑

synchronized 那时还属于重量级锁，相当于关二爷手中的青龙偃月刀，每次加锁都依赖操作系统Mutex Lock实现，涉及到操作系统让线程从用户态切换到内核态，切换成本很高；

①JDK 6 以前 synchronized为什么这么重？ JDK6 之后的偏向锁和轻量级锁是怎么回事？

（1） Java 对象头，锁的类型和状态和对象头的Mark Word息息相关；

对象存储在堆中，主要分为三部分内容，对象头、对象实例数据和对齐填充（数组对象多一个区域：记录数组长度），下面简单说一下三部分内容，虽然 synchronized 只与对象头中的 Mard Word相关。

a.对象头：

对象头分为二个部分，Mard Word 和 Klass Word

b.对象实例数据

类中的成员变量data 就属于对象实例数据；

c.对齐填充：

JVM要求对象占用的空间必须是8 的倍数，方便内存分配（以字节为最小单位分配），因此这部分就是用于填满不够的空间凑数用的。

（2）每个对象都有一个与之关联的Monitor 对象；Monitor对象属性如下所示( Hospot 1.7 代码) 。

//详细介绍重要变量的作用
ObjectMonitor() {
    _header       = NULL;
    _count        = 0;   // 重入次数
    _waiters      = 0,   // 等待线程数
    _recursions   = 0;
    _object       = NULL;
    _owner        = NULL;  // 当前持有锁的线程
    _WaitSet      = NULL;  // 调用了 wait 方法的线程被阻塞 放置在这里
    _WaitSetLock  = 0 ;
    _Responsible  = NULL ;
    _succ         = NULL ;
    _cxq          = NULL ;
    FreeNext      = NULL ;
    _EntryList    = NULL ; // 等待锁 处于block的线程 有资格成为候选资源的线程
    _SpinFreq     = 0 ;
    _SpinClock    = 0 ;
    OwnerIsThread = 0 ;
  }

对象关联的 ObjectMonitor 对象有一个线程内部竞争锁的机制，如下图所示：

2.JDK6之后

研究人员引入了偏向锁和轻量级锁，因为Sun 程序员发现大部分程序大多数时间都不会发生多个线程同时访问竞态资源的情况，每次线程都加锁解锁，每次这么搞都要操作系统在用户态和内核态之间来回切，太耗性能了。

实现原理

1.当有二个线程A、线程B都要开始给我们队的经济 money变量 + 钱，要进行操作的时候，发现方法上加了synchronized锁，这时线程调度到A线程执行，A线程就抢先拿到了锁。拿到锁的步骤为：
- 1.1 将 MonitorObject 中的 _owner设置成 A线程；
- 1.2 将 mark word 设置为 Monitor 对象地址，锁标志位改为10；
- 1.3 将B 线程阻塞放到 ContentionList 队列；

2.JVM 每次从Waiting Queue 的尾部取出一个线程放到OnDeck作为候选者，但是如果并发比较高，Waiting Queue会被大量线程执行CAS操作，为了降低对尾部元素的竞争，将Waiting Queue 拆分成ContentionList 和 EntryList 二个队列, JVM将一部分线程移到EntryList 作为准备进OnDeck的预备线程。另外说明几点：

1.所有请求锁的线程首先被放在ContentionList这个竞争队列中;

2.Contention List 中那些有资格成为候选资源的线程被移动到 Entry List 中;

3.任意时刻，最多只有一个线程正在竞争锁资源，该线程被成为 OnDeck;

4.当前已经获取到所资源的线程被称为 Owner;

5.处于 ContentionList、EntryList、WaitSet 中的线程都处于阻塞状态，该阻塞是由操作系统来完成的(Linux 内核下采用 pthread_mutex_lock 内核函数实现的);

3..作为Owner 的A 线程执行过程中，可能调用wait 释放锁，这个时候A线程进入 Wait Set , 等待被唤醒。

改进

synchronized 重量级锁有以下二个问题, 因此JDK 6 之后做了改进，引入了偏向锁和轻量级锁：

1.依赖底层操作系统的 mutex 相关指令实现，加锁解锁需要在用户态和内核态之间切换，性能损耗非常明显。

2.研究人员发现，大多数对象的加锁和解锁都是在特定的线程中完成。也就是出现线程竞争锁的情况概率比较低。他们做了一个实验，找了一些典型的软件，测试同一个线程加锁解锁的重复率，如下图所示，可以看到重复加锁比例非常高。早期JVM 有 19% 的执行时间浪费在锁上。

JDK 6 以来 synchronized 锁状态怎么从无锁状态到偏向锁的？

下图对象从无锁到偏向锁转化的过程（JVM -XX:+UseBiasedLocking 开启偏向锁）：

1.首先A 线程访问同步代码块，使用CAS 操作将 Thread ID 放到 Mark Word 当中；
2.如果CAS 成功，此时线程A 就获取了锁
3.如果线程CAS 失败，证明有别的线程持有锁，例如上图的线程B 来CAS 就失败的，这个时候启动偏向锁撤销（revoke bias）；
4.锁撤销流程：
- 让 A线程在全局安全点阻塞（类似于GC前线程在安全点阻塞）
- 遍历线程栈，查看是否有被锁对象的锁记录（ Lock Record），如果有Lock Record，需要修复锁记录和Markword，使其变成无锁状态。
- 恢复A线程
- 将是否为偏向锁状态置为 0 ，开始进行轻量级加锁流程（后面讲述）
下图说明了 Mark Word 在这个过程中的转化

四 synchronized 是公平锁还是非公平锁

非公平的

1.Synchronized 在线程竞争锁时，首先做的不是直接进ContentionList 队列排队，而是尝试自旋获取锁（可能ContentionList 有别的线程在等锁），如果获取不到才进入 ContentionList，这明显对于已经进入队列的线程是不公平的；
2.另一个不公平的是自旋获取锁的线程还可能直接抢占 OnDeck 线程的锁资源。

五偏向锁撤销怎么到轻量级锁的？还有轻量级锁什么时候会变成重量级锁？

锁撤销之后（偏向锁状态为0），现在无论是A线程还是B线程执行到同步代码块进行加锁，流程如下：

1.线程在自己的栈桢中创建锁记录 LockRecord。
2.线程A 将 Mark Word 拷贝到线程栈的 Lock Record中，这个位置叫 displayced hdr，如下图所示：

3.将锁记录中的Owner指针指向加锁的对象（存放对象地址）。
4.将锁对象的对象头的MarkWord替换为指向锁记录的指针。这二步如下图所示：

5.这时锁标志位变成 00 ，表示轻量级锁

六轻量级锁什么时候会升级为重量级锁

当锁升级为轻量级锁之后，如果依然有新线程过来竞争锁，首先新线程会自旋尝试获取锁，尝试到一定次数（默认10次）依然没有拿到，锁就会升级成重量级锁。

一般来说，同步代码块内的代码应该很快就执行结束，这时候线程B 自旋一段时间是很容易拿到锁的，但是如果不巧，没拿到，自旋其实就是死循环，很耗CPU的，因此就直接转成重量级锁咯，这样就不用了线程一直自旋了。
这就是锁膨胀的过程，下图是Mark Word 和锁状态的转化图

锁当前为可偏向状态，偏向锁状态位置就是1，看到很多网上的文章都写错了，把这里写成只有锁发生偏向才会置为1，一定要注意。

七偏向锁有撤销，还会膨胀，性能损耗这么大，还需要用他们呢？

如果确定竞态资源会被高并发的访问，建议通过-XX:-UseBiasedLocking 参数关闭偏向锁，偏向锁的好处是并发度很低的情况下，同一个线程获取锁不需要内存拷贝的操作，免去了轻量级锁的在线程栈中建Lock Record，拷贝Mark Down的内容，也免了重量级锁的底层操作系统用户态到内核态的切换，因为前面说了，需要使用系统指令。另外Hotspot 也做了另一项优化，基于锁对象的epoch 批量偏向和批量撤销偏向，这样可以大大降低了单次偏向锁的CAS和锁撤销带来的损耗，👇图是研究人员做的压测：

他们在几款典型软件上做了测试，发现基于epoch 批量撤销偏向锁和批量加偏向锁能大幅提升吞吐量，但是并发量特别大的时候性能就没有什么特别大的提升了。

八 synchronized 底层实现源码

public class SynchronizedSample {

    private final Object lock = new Object();

    private static int money = 0;
		//非静态方法
    public synchronized void noStaticMethod(){
        money++;
    }
		//静态方法
    public static synchronized void staticMethod(){
        money++;
    }
		
    public void codeBlock(){
      	//代码块
        synchronized (lock){
            money++;
        }
    }
}

示例代码编译成class 文件，然后通过javap -v SynchronizedSample.class 来看下synchronized 到底在源码层面如何实现的？

如下图所示：

synchronized 在代码块上是通过 monitorenter 和 monitorexit指令实现，在静态方法和方法上加锁是在方法的flags 中加入 ACC_SYNCHRONIZED 。JVM 运行方法时检查方法的flags，遇到同步标识开始启动前面的加锁流程，在方法内部遇到monitorenter指令开始加锁。

monitorenter 指令函数源代码在 InterpreterRuntime::monitorenter中

IRT_ENTRY_NO_ASYNC(void, InterpreterRuntime::monitorenter(JavaThread* thread, BasicObjectLock* elem))
#ifdef ASSERT
  thread->last_frame().interpreter_frame_verify_monitor(elem);
#endif
  if (PrintBiasedLockingStatistics) {
    Atomic::inc(BiasedLocking::slow_path_entry_count_addr());
  }
  Handle h_obj(thread, elem->obj());
  assert(Universe::heap()->is_in_reserved_or_null(h_obj()),
         "must be NULL or an object");
 //是否开启了偏向锁
  if (UseBiasedLocking) {
    // 尝试偏向锁
    ObjectSynchronizer::fast_enter(h_obj, elem->lock(), true, CHECK);
  } else {
    // 轻量锁逻辑
    ObjectSynchronizer::slow_enter(h_obj, elem->lock(), CHECK);
  }
  assert(Universe::heap()->is_in_reserved_or_null(elem->obj()),
         "must be NULL or an object");
#ifdef ASSERT
  thread->last_frame().interpreter_frame_verify_monitor(elem);
#endif
IRT_END

偏向锁代码

// -----------------------------------------------------------------------------
//  Fast Monitor Enter/Exit
// This the fast monitor enter. The interpreter and compiler use
// some assembly copies of this code. Make sure update those code
// if the following function is changed. The implementation is
// extremely sensitive to race condition. Be careful.

void ObjectSynchronizer::fast_enter(Handle obj, BasicLock* lock, bool attempt_rebias, TRAPS) {
//是否使用偏向锁
 if (UseBiasedLocking) {
    // 如果不在全局安全点
    if (!SafepointSynchronize::is_at_safepoint()) {
      // 获取偏向锁
      BiasedLocking::Condition cond = BiasedLocking::revoke_and_rebias(obj, attempt_rebias, THREAD);
      if (cond == BiasedLocking::BIAS_REVOKED_AND_REBIASED) {
        return;
      }
    } else {
      assert(!attempt_rebias, "can not rebias toward VM thread");
      // 在全局安全点，撤销偏向锁
      BiasedLocking::revoke_at_safepoint(obj);
    }
    assert(!obj->mark()->has_bias_pattern(), "biases should be revoked by now");
 }
// 进轻量级锁流程
 slow_enter (obj, lock, THREAD) ;
}

轻量级锁代码流程

void ObjectSynchronizer::slow_enter(Handle obj, BasicLock* lock, TRAPS) {
//获取对象的markOop数据mark
  markOop mark = obj->mark();
  assert(!mark->has_bias_pattern(), "should not see bias pattern here");

//判断mark是否为无锁状态 & 不可偏向（锁标识为01，偏向锁标志位为0） 
  if (mark->is_neutral()) {
    // Anticipate successful CAS -- the ST of the displaced mark must
    // be visible <= the ST performed by the CAS.
    // 保存Mark 到 线程栈 Lock Record 的displaced_header中
    lock->set_displaced_header(mark);
    // CAS 将  Mark Down 更新为 指向 lock 对象的指针，成功则获取到锁  
    if (mark == (markOop) Atomic::cmpxchg_ptr(lock, obj()->mark_addr(), mark)) {
      TEVENT (slow_enter: release stacklock) ;
      return ;
    }
    // Fall through to inflate() ...
  } else
  // 根据对象mark 判断已经有锁  & mark 中指针指的当前线程的Lock Record（当前线程已经获取到了，不必重试获取）
  if (mark->has_locker() && THREAD->is_lock_owned((address)mark->locker())) {
    assert(lock != mark->locker(), "must not re-lock the same lock");
    assert(lock != (BasicLock*)obj->mark(), "don't relock with same BasicLock");
    lock->set_displaced_header(NULL);
    return;
  }

 lock->set_displaced_header(markOopDesc::unused_mark());
   // 锁膨胀
  ObjectSynchronizer::inflate(THREAD, obj())->enter(THREAD);

做个假设，现在线程A 和B 同时执行到临界区if (mark->is_neutral())：
1、线程A和B都把Mark Word复制到各自的_displaced_header字段，该数据保存在线程的栈帧上，是线程私有的；
2、Atomic::cmpxchg_ptr 属于原子操作，保障了只有一个线程可以把Mark Word中替换成指向自己线程栈 displaced_header中的，假设A线程执行成功，相当于A获取到了锁，开始继续执行同步代码块；
3、线程B执行失败，退出临界区，通过ObjectSynchronizer::inflate方法开始膨胀锁；

九 Java中除了synchronized 还有别的锁吗？

还有ReentrantLock也可以实现加锁。

那写段代码实现之前加经济的同样效果。coding 如👇图：

十 `Mark Word` 存储结构

如下图和源代码注释（以32位JVM为例，后面的讨论都基于32位JVM的背景，64位会特殊说明）。
Mard Word会在不同的锁状态下，32位指定区域都有不同的含义，这个是为了节省存储空间，用4 字节就表达了完整的状态信息，当然，对象某一时刻只会是下面5 种状态种的某一种。

下面是简化后的 Mark Word

hash： 保存对象的哈希码
age： 保存对象的分代年龄
biased_lock： 偏向锁标识位
lock： 锁状态标识位
JavaThread*： 保存持有偏向锁的线程ID
epoch： 保存偏向时间戳

synchronized面试题

一什么会需要synchronized？什么场景下使用synchronized？

1. synchronized 怎么解决这个问题的？

二 synchronized 还有别的作用范围吗？

三 JVM 是怎么通过synchronized 在对象上实现加锁，保证多线程访问竞态资源安全的吗？

1.在JDK6 以前synchronized实现逻辑

①JDK 6 以前 synchronized为什么这么重？ JDK6 之后的偏向锁和轻量级锁是怎么回事？

2.JDK6之后

实现原理

改进

JDK 6 以来 synchronized 锁状态怎么从无锁状态到偏向锁的？

四 synchronized 是公平锁还是非公平锁

五偏向锁撤销怎么到轻量级锁的？还有轻量级锁什么时候会变成重量级锁？

六轻量级锁什么时候会升级为重量级锁

七偏向锁有撤销，还会膨胀，性能损耗这么大，还需要用他们呢？

八 synchronized 底层实现源码

九 Java中除了synchronized 还有别的锁吗？

十 `Mark Word` 存储结构

记一次 .NET某工业设计软件崩溃分析

创建 Vue3 项目

TS + Webpack 整合 Jest

分享5款.NET开源免费的Redis客户端组件库

安卓手机如何登录抖音境外版

golang开发 gorilla websocket的使用

面试官：如果不允许线程池丢弃任务，应该选择哪个拒绝策略？

嵌入式汽车电子学习路线

Mac卸载 Node npm，升级 Node

uni.showModel内容换行

synchronized面試題

https://yachay.unat.edu.pe/blog/index.php?comment_area=format_blog&comment_component=blog&comment_co

linux以太網驅動總結

synchronized面试题

一 什么会需要synchronized？什么场景下使用synchronized？

1. synchronized 怎么解决这个问题的？

二 synchronized 还有别的作用范围吗？

三 JVM 是怎么通过synchronized 在对象上实现加锁，保证多线程访问竞态资源安全的吗？

1.在JDK6 以前synchronized实现逻辑

①JDK 6 以前 synchronized为什么这么重？ JDK6 之后的偏向锁和轻量级锁是怎么回事？

2.JDK6之后

实现原理

改进

JDK 6 以来 synchronized 锁状态怎么从无锁状态到偏向锁的？

四 synchronized 是公平锁还是非公平锁

五 偏向锁撤销怎么到轻量级锁的？ 还有轻量级锁什么时候会变成重量级锁？

六 轻量级锁什么时候会升级为重量级锁

七 偏向锁有撤销，还会膨胀，性能损耗这么大，还需要用他们呢？

八 synchronized 底层实现源码

九 Java中除了synchronized 还有别的锁吗？

十 Mark Word 存储结构

一什么会需要synchronized？什么场景下使用synchronized？

五偏向锁撤销怎么到轻量级锁的？还有轻量级锁什么时候会变成重量级锁？

六轻量级锁什么时候会升级为重量级锁

七偏向锁有撤销，还会膨胀，性能损耗这么大，还需要用他们呢？

十 `Mark Word` 存储结构