synchronized锁、锁升级的过程

synchronized锁、锁升级的过程

所谓的锁升级和降级的过程是JVM优化synchronized运行的机制，当JVM检测到不同的竞争状态的时候，会自动切换到适当的锁实现，这种切换就是锁的升级和降级。

概述

总共有四种状态：分别是无锁、偏向锁、轻量级锁和重量级锁。

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

如果有另外的线程尝试锁定某个已经被偏斜过的对象，JVM就需要撤销偏向锁，并切换到轻量级锁的实现。轻量级锁以来CAS操作Mark Word来试图获取锁，如果获取成功，就会使用普通的轻量级锁，否则，进一步升级成重量级锁。（轻量级锁的时候并不会自旋，只有在重量级锁的时候会自旋）

如果没有竞争到轻量级锁，会进入到重量级锁。

锁可以升级但是不能经济，目的是为了提高获取锁和释放锁的效率。

无锁到偏向锁

1. 当一个对象刚开始创建的时候，并没有任何线程访问它，这时候线程为无锁状态，Mark word（01 是否偏向 0）.
2. 当线程A尝试获取这个对象的时候，就会偏向这个线程A。线程A检查Mark word 是否当前是无锁状态，此时，已经有线程访问锁了，无锁就会升级成偏向锁，Mark word变成（锁标志位 01 是否偏向 1 线程ID 线程A的ID）
3. 当线程A执行完同步代码块之后，并不会主动释放偏向锁，而是等待其他线程来竞争才会释放锁。这是因为之后线程A想重新获取这个锁的时候。直接进入就可以，不用再换成偏向锁。
4. 当线程A再次向获取这个对象锁的时候会检查Mark word，查看当前占用的线程ID是否和自身相等，直接就可以进入，效率高。

偏向锁到轻量级锁

1. 当线程A执行完同步代码块之后，线程B会获取这个对象锁检查Mark word，偏向于线程A，偏向锁会升级成轻量级锁，并且由线程B获取该锁。
2. 另外一种情况是线程A正在执行同步代码块，还没有执行完毕，现在仍然是偏向锁，线程B来竞争对象锁，这时候会进行锁膨胀到轻量级锁。
3. 在升级成轻量级锁之气那，持有偏向锁的线程是暂停的。
4. 线程A栈帧中会创建一个名为锁记录的空间（Lock Record）
5. 锁对象头的Mard word拷贝到线程A的锁记录中
6. Mark word 的锁标志位变成00，只想锁记录的指针只想线程A的锁记录地址。
7. 当原先持有偏行锁的线程获取到轻量级锁之后，JVM会唤醒线程A，线程A执行同步代码块。
8. 当线程A执行完同步代码块之后会释放轻量级锁。释放操作： CAS操作将线程A的锁记录中的Mark Word 替换到锁对象头中。
9. 如果当线程持有轻量级锁的时候，执行同步代码块的过程中，线程B来竞争对象锁。

轻量级锁到重量级锁

1. 线程B会现在栈帧中建立锁记录，存储锁对象目前的Mark word拷贝。线程B使用CAS操作尝试将锁对象的Mark word的指针指向线程B的Lock Record，如果成功，说明线程A刚刚释放锁，线程B竞争到锁。
2. 如果线程B尝试获取锁失败，这时候会升级成重量级锁，会尝试自旋。
3. 如果自旋失败，会进行阻塞。
4. 当线程A执行完毕之后，会释放锁，CAS操作将锁记录的Mark word替换会锁对象的对象头中，因为对象头中已经不是原来的轻量级锁的指针，而是重量级锁的指针，所以CAS操作会失败。
5. 当释放完毕之后，需要在释放锁的同步唤醒被挂起的线程B。线程B被唤醒，获得重量级锁。

为什么重量级锁开销大？

主要是当系统检查到锁是重量级锁之后，会把想要获得锁的线程进行阻塞，被阻塞的线程不会消耗CPU，但是阻塞或者唤醒一个线程的时候，都需要操作系统帮忙。这时候就需要从用户态转换成内核态，而转换状态现需要耗费很多时间的，有时候可能比用户代码执行的时间还要长。