synchronized 锁的实现原理

synchronized 是 Java 提供的一个并发控制的关键字。我们可以使用在对象、方法、代码块上来保证程序的原子性、有序性和可见性。

synchronized 三种加锁方式

1. 修饰实例方法，作用于当前实例加锁，进入同步代码前要获得当前实例的锁
2. 静态方法，作用于当前类加锁，进入同步代码前要获得当前类的锁
3. 修饰代码块，指定加锁对象，对给定对象加锁，进入同步代码库前要获得给定对象的锁。

对象头的 Mark Word（32位）

分代年龄：4 bit

是否是偏向锁：1 bit

锁标志位：2 bit

对象 hashCode ：25 bit

• 线程id ：23 bit
• epoch ：2 bit

无锁状态：对象 hashCode 、分代年龄、是否偏向锁（0）、锁标志位 （01）

偏向锁 ： 线程id 、epoch、 分代年龄、是否偏向锁（1）、锁标志位（01）

锁升级

偏向锁

偏向锁在 java 6 、java7 和 java8 是默认启用的，不过有一个延迟时间,关闭延迟

-XX:BiasedLockingStartupDelay=0

关闭偏向锁

-XX:-UseBiasedLocking 或 -XX:UseBiasedLocking=false , 默认会进入到轻量级锁。

当一个线程访问同步块并获取锁时，会在对象头和栈帧中的锁记录里存储锁的线程id，以后该线程在进入和退出同步块时不需要在进行CAS 操作来加锁和解锁，只需要简单的测试下对象头的 mark word 里是否存储了指向当前线程的偏向锁。

如果测试成功，表示线程已经获得锁。

如果测试失败，则需要在测试下偏向锁的标识是否设置成了1（表示当前是偏向锁）: 如果设置了则尝试通过CAS 将对象头的偏向锁指向当前线程; 如果没有设置,则使用CAS竞争锁。

偏向锁升级

当线程访问同步代码块时，如果当前mark word中没有记录当前线程，则通过 CAS 来进行替换mark word 。

如果替换成功则将对象头中的mark word的线程id指向当前线程并设置偏向锁的标识为1，执行同步代码块。

如果替换失败则会进行偏向锁的撤销。

偏向锁使用了一种等到竞争出现才释放锁的机制，所以当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。即偏向锁的撤销。如果能撤销则当前线程可以抢占到锁，如果撤销失败将升级到轻量级锁。

偏向锁的撤销，需要等待全局安全点（在这个点上么有正在执行的字节码）。它会首先暂停拥有偏向锁的线程，然后检查持有偏向锁的线程是否还存活，如果不存活则将对象头设置成无锁状态；如果线程仍然活着，拥有偏向锁的栈会被执行，最后要么恢复为无锁状态或者标记对象不合适作为偏向锁，最后唤醒被暂停的线程，升级为轻量级锁。

轻量级锁

线程在执行同步块之前，JVM 会先在当前线程的栈帧中创建用于存储锁记录的空间，并将对象头的 Mark Word 复制到锁记录中，官方称为 Displaced Mark Word 。然后线程尝试使用 CAS 将对象头中的 Mark Word 替换为指向锁记录的指针。如果成功当前线程获得锁，如果失败，表示其他线程竞争锁，当前线程便尝试自旋来获得锁（自适应自旋：根据上次获得锁的时间）。

轻量级锁解锁

轻量级解锁时，会使用原子的CAS 操作将 Displaced Mark Word 替换回对象头，如果成功，则表示没有竞争存在；如果失败，表示当前存在竞争，锁就会膨胀成重量级锁。

重量级锁

当进入到重量级锁时，如果存在竞争，其他线程试图获取锁时都会被阻塞。当持有锁的线程释放之后才会唤醒被阻塞的线程，被唤醒的线程就会进行新一轮的锁的竞争。

锁的优缺点对比

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