本篇博客参考了死磕Synchronized底层实现--概论如果有兴趣了解更深的内容可以看看上面博客。
锁的状态
锁的状态总共有四种:无锁状态、偏向锁、轻量级锁和重量级锁。随着锁的竞争,锁可以从偏向锁升级到轻量级锁,再升级的重量级锁(但是锁的升级是单向的,也就是说只能从低到高升级,不会出现锁的降级)。锁的状态保存在对象头的Mark Word中,以32位的JDK为例:
(一)偏向锁
在实际应用运行过程中发现,“锁总是同一个线程持有,很少发生竞争”,也就是说锁总是被第一个占用它的线程拥有,这个线程就是锁的偏向线程。那么只需要在锁第一次被拥有的时候,记录下偏向线程ID。这样偏向线程就一直持有着锁。但只要有其他线程尝试获取锁,那么偏向锁就会升级为轻量级锁。
偏向锁获取的过程
1. 在当前线程的栈中创建一个锁记录(Lock Record)的空间,并将锁记录的obj属性指向锁对象。
2. 判断Mark Work中偏向锁的标记是否设置为1--确认为可偏向状态。
3. 如果锁对象是第一次被线程获取,JVM会将对象头的锁标志设置为“01”。
4. 然后使用CAS将Mark Word 中的线程ID设置为当前线程ID,如果设置成功,那么持有偏向锁的线程以后每次进入该同步代码块,就不用进行任何操作。
偏向锁的释放
偏向锁只有遇到其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁,线程不会主动去释放偏向锁。偏向锁的撤销,需要等待全局安全点(在这个时间点上没有字节码正在执行),它会首先暂停拥有偏向锁的线程,判断锁对象是否处于被锁定状态(即当前线程是否在执行同步代码块),根据对象的状态,撤销偏向锁后恢复到未锁定(标志位为“01”)或轻量级锁(标志位为“00”)的状态。