sychronized如何实现的？锁升级的过程？

最新推荐文章于 2024-06-20 11:10:11 发布

.suki...

最新推荐文章于 2024-06-20 11:10:11 发布

阅读量163

点赞数 2

文章标签： jvm

本文链接：https://blog.csdn.net/qq_49194786/article/details/126858606

版权

sychronized的实现

synchronized实现同步的基础具体表现为以下三种形式：

对于普通的方法来说，锁的是当前实例；

对于静态同步方法来说，锁的是当前类的Class对象

对于同步方法来说，锁的是synchronized括号里配置的对象。

实现原理：

synchronized

代码块是由一对monitorenter monitorexit指令实现，synchronized是通过对象内部的叫做监听器（monitor）实现的，线程通过monitotenter指令尝试获取minitor的所有权，当monitor被占用的时候，就会处于锁定状态。

获取monitor的所有权的过程如下：

在JVM底层实现锁的过程中，有三种类型的锁：偏向锁、轻量级锁、重量级锁。

所谓锁的升级、降级，就是JVM优化synchroniaed运行的机制，当JVM检测到不同的竞争状况时，会自动切换到适合的锁实现，这种切换就是锁的升级、降级。

偏向锁是为了在单线程（没有出现多个线程并发）执行情况下，尽量减少不必要的轻量级锁带来的消耗，即提高性能。因为轻量级锁的加锁与释放锁，也需要多次执行CAS指令。而偏向锁只需要在切换线程设置ThreadID的时候，执行一次CAS原子指令。所以，偏向锁的作用是在只有一个线程执行同步块时，进一步提高性能。

当没有线程并发出现时，默认会使用偏斜锁。JVM会利用CAS操作，在对象头上的Mark Word部分设置线程ID，以表示这个对象偏向于当前线程，所以并不涉及真正的互斥锁。这样做的假设是基于在很多应用场景中，大部分对象生命周期中最多会被一个线程锁定，使用偏斜锁可以降低无竞争开销。

如果有另外的线程试图锁定某个已经被偏斜过的对象，JVM就需要撤销偏斜锁，并切换到轻量级锁实现。轻量级锁依赖CAS操作Mark Word来试图获取锁，如果重试成功，就使用普通的轻量级锁；否则，进一步升级为重量级锁。

根据轻量级锁的实现，虽然轻量级锁不支持“并发”，遇到“并发”就要升级为重量级锁。但是轻量级锁可以支持多个线程以串行的方式访问同一个加锁对象。但是每次执行，都会小号重复加锁与解锁的性能开销。

在代码进入同步块的时候，如果对象锁状态为无锁状态（lock标志位“01”，biased_lock标志位“0”），虚拟机首先将在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，用于存储锁对象目前的Mark Word的拷贝，官方命名为Displaced Mark Word。
拷贝对象头中的Mark Word复制到锁记录（Lock Record）中。
拷贝成功后，虚拟机将尝试将对象的Mark Word中的ptr_to_lock_record更新为指向Lock Record的指针，并将Lock record里的owner指针指向到对象的Mark Word。如果更新成功，则执行步骤4，否则执行步骤5。
如果这个更新动作成功了，那么这个线程就拥有了该对象的锁，并且对象Mark Word的lock标志位设置为“00”，即表示此对象处于轻量级锁定状态。
如果这个更新操作失败了，虚拟机首先会检查对象的Mark Word是否已经指向当前线程的栈帧。如果是，就说明当前线程已经拥有了这个对象的锁，那就可以直接进入同步块继续执行。否则说明多个线程竞争该对象的锁，轻量级锁就要升级为重量级锁，lock标志位的状态值变为“10”，Mark Word中存储的就是指向重量级锁（互斥量）的指针，后面等待锁的线程也要进入阻塞状态。当前线程便尝试使用自旋来获取锁，自旋就是为了不让线程阻塞，而采用循环去获取锁的过程。