概述
本文整理自《Java并发编程的艺术》,用来复习和记录关于偏向锁、轻量级锁、重量级锁
等的一些特性和概念,便于以后查阅。
锁的状态
首先要了解一下锁的几个状态:
- 无锁状态
- 偏向锁状态
- 轻量级锁状态
- 重量级锁状
四种状态会随着竞争的情况逐渐升级,而且是不可逆的过程,即不可降级。
偏向锁
大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。
偏向锁的产生:
当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的
线程ID
,以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁
,只需简单地测试一下对象头的Mark Word
里是否存储着指向当前线程的偏向锁
。
如果测试成功,表示线程已经获得了锁。
如果测试失败,则需要再测试一下Mark Word中偏向锁的标识是否设置成1(表示当前是偏向锁):如果没有设置,则使用CAS竞争锁;如果设置了,则尝试使用CAS将对象头的偏向锁指向当前线程。
偏向锁的撤销:
偏向锁使用了一种等到竞争出现才释放锁的机制,所以当其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁。
当有第二个线程进入同步代码块时,则升级为轻量级锁。
轻量级锁
轻量级锁加锁:
线程在执行同步块之前,JVM会先在当前线程的栈桢中创建用于存储锁记录的空间,并将对象头中的
Mark Word
复制到锁记录中。然后线程尝试使用CAS
将对象头中的Mark Word
替换为指向锁记录的指针
。如果成功,当前线程获得锁,如果失败,表示其他线程竞争锁,当前线程便尝试使用自旋来获取锁。
轻量级锁解锁:
轻量级解锁时,会使用原子的CAS操作将
Displaced Mark Word
替换回到对象头,如果成功,则表示没有竞争发生。如果失败,表示当前锁存在竞争,锁就会膨胀成重量级锁
。下图表示两个线程同时争夺锁,导致锁膨胀的流程图。
因为自旋会消耗CPU,为了避免无用的自旋(比如获得锁的线程被阻塞住了),一旦锁升级成重量级锁,就不会再恢复到轻量级锁状态。
重量级锁
当锁处于这个状态下,其他线程试图获取锁时,都会被阻塞住,当持有锁的线程释放锁之后会唤醒这些线程,被唤醒的线程就会进行新一轮的夺锁之争。
锁的优缺点
参考
《Java并发编程的艺术》