Java并发机制底层实现原理－synchronized

章节目录

• synchronized的实现原理与应用

synchronized 重量级锁

1.6版本之前 synchronized 被称之为 重量级锁
1.6版本对 synchronized 进行了优化，主要优化的点在于 减少 获得锁和释放锁带
来的性能消耗，为实现这个目的引入了偏向锁、与轻量级锁。 

synchronized 实现同步的基础

Java中每一个对象都可以作为锁。
普通同步方法，锁是当前实例对象。
静态同步方法块，锁是当前类的Class对象。
对于同步方法块，锁是synchronized括号里配置的对象。

synchronized 同步锁的获取 底层原理
如下图所示：

synchronized 同步锁的获取 底层原理.png

synchronized锁的存储位置

synchronized 用的锁是存在java对象头里的。
对象头中的Mark-word 默认存储对象的hashcode、分代年龄、和锁标志位。
Mark-word 中存储的数据会随着锁标志位的变化而变化
轻量级锁-00
重量级锁-10
GC标记-11
偏向锁-01

锁的升级与对比
Java SE 1.6 当中锁一共有4种状态，级别从低到高一次为:无锁状态、偏向锁状态、轻量级锁状态、重量级锁状态。锁可以升级但不能降级，这种锁升级但不能降级的策略，目的是为了提高获得锁与释放锁的效率。

1.偏向锁原理

偏向锁的优点及初始化过程：

• 加锁解锁不需要额外的资源消耗，只需要对比当前线程id在对象头中是否存储指向当前线程的偏向锁。如果存在，表示当前线程已经获得锁。如果测试失败，则查询当前mark word中的偏向锁标志是否设置成为1，如果没有设置，则使用CAS竞争锁(非偏向锁状态)，如果设置了偏向锁标志，则尝试使用CAS将对象头的偏向锁指向当前线程。

偏向锁的撤销：

• 偏向锁使用了一种等到竞争出现才释放锁的机制，当其他线程尝试竞争偏向锁的时候，持有偏向锁的线程才会释放锁。偏向锁的撤销，需要等待全局安全点，这个时间点上没有正在执行的字节码。它首先会暂停拥有偏向锁的线程，然后检查持有偏向锁的线程活着，如果线程不处于活动状态，则将对象头设置为无锁状态。如果线程仍活着，拥有偏向锁的栈会被执行完。

2.轻量级锁原理

轻量级锁加锁：

• 线程在执行同步块之前，JVM会先在当前线程的栈桢中创建存储锁记录的空间，并将对象头中的mark word 复制到锁记录当中，然后线程尝试使用CAS将对象头中的 mark word 替换为指向锁记录的指针。如果成功，当前线程获得锁，如果失败，表示其他线程竞争锁，当前线程便尝试使用自旋锁来获取锁。

轻量级锁解锁

• 轻量级解锁时，会使用原子的CAS将锁记录(Displaced Mark Word)替换回到
  对象头，如果成功，则表示没有发生竞争。如果失败，表示当前锁存在竞争，锁就会膨胀为重量级锁。

总结

锁	优点	缺点	适用场景
偏向锁	加锁和解锁都不需要额外的消耗，和执行非同步的方法相比只存在纳秒级差距	如果线程间存在锁竞争，会带来额外的锁撤销的消耗	适用于只有一个线程访问同步块的场景
轻量级锁	竞争的线程不会阻塞，提高了应用的相应速率	如果始终得不到竞争的线程，适用自旋会消耗cpu，造成cpu空转	追求响应时间，同步块执行速度非常快
重量级锁	线程竞争不使用自旋，不会消耗cpu	线程阻塞，响应时间缓慢	追求吞吐量，同步块执行速度较长

不同锁的优缺点

锁	优点	缺点	适用场景
偏向锁	加锁和解锁都不需要额外的消耗，和执行非同步的方法相比只存在纳秒级差距	如果线程间存在锁竞争，会带来额外的锁撤销的消耗	适用于只有一个线程访问同步块的场景
轻量级锁	竞争的线程不会阻塞，提高了应用的相应速率	如果始终得不到竞争的线程，适用自旋会消耗cpu，造成cpu空转	追求响应时间，同步块执行速度非常快
重量级锁	线程竞争不使用自旋，不会消耗cpu	线程阻塞，响应时间缓慢	追求吞吐量，同步块执行速度较长