转载

JVM锁优化

锁优化技术（HotSpot虚拟机而言）包括适应性自旋、锁消除、锁粗化、轻量级锁和偏向锁等。这些技术都是为了在线程之间更高效地共享数据以及解决竞争问题，从而提高程序效率。

如果线程获取不到锁，第一时间不是去切换系统态进行等待，而是做一个循环操作，去等到锁的释放，循环到一定的次数终止循环，调入系统调用。为了让线程等待，而不是阻塞，让线程执行一个忙循环（自旋），这就是自旋锁。

自旋锁的优化主要是为了减少了线程切换带来的消耗。

自旋锁适合那些线程占用锁时间短的场景。

JDK1.6加入了自适应自旋锁。顾名思义，如果在同一个锁对象上，自旋等待刚刚成功获得过锁，并且持有锁的线程正在运行，那么虚拟机就会认为这次自旋也很有可能再次成功，并将自旋等待时间延长。如果对于某个锁，自旋很少成功，那么在之后获取该锁时可能会放弃不自旋直接挂起线程。

指虚拟机即时编译器在运行时，对一些代码上要求同步，但是被检测到不可能存在共享数据竞争时，把锁进行消除。

锁消除的主要判断依据来源于逃逸分析的数据支持，如果判断在一段代码中，堆上的所有数据都不会逃逸出去从而被其他线程访问到，那就可以把它们当做栈上数据对待，认为它们是线程私有的，同步加锁就无需进行。

如果一系列的连续动作都对同一对象反复加锁和解锁，甚至加锁操作时出现在循环体中的，那即使没有线程竞争，频繁地进行互斥同步操作也会导致不必要的性能损耗，比如连续的append()方法。

在说轻量级锁和偏向锁之前，我们要先了解一下HotSpot虚拟机中对象的对象头。

HotSpot虚拟机的对象头分为两部分信息：

所以，我们来看一下对象头的Mark Word中的存储内容有哪些？

什么是CAS操作？

CAS是英文单词CompareAndSwap的缩写，中文意思是：比较并替换。简单来说，CAS整个比较并替换的操作是一个原子操作。

他的意思是在没有多线程竞争的前提下，减少传统的重量级锁使用操作系统互斥量产生的消耗

进入同步块的时候，如果此同步对象没有被锁定(锁标志位为“01”状态)，虚拟机首先将在当前线程的帧栈中建立一个名为“锁空间”(Lock Record)的空间，用于存储锁对象目前Mark Word的拷贝（这份拷贝叫Displaced Mark Word）
虚拟机将使用CAS操作尝试将对象的Mark Word更新为指向Lock Record的指针
- 如果成功，这个线程就有了该对象的轻量级锁，Mark Word的锁标志位变为“00”
- 如果失败，虚拟机先检查对象的Mark Word是否指向当前线程的栈帧
  - 如果指向当前线程帧栈就说明该线程获取到了该锁，可进入同步块继续执行
  - 若没指向当前线程的帧栈，表示这个锁对象被其他线程占用，这时轻量级锁不再有效，要膨胀为重量级锁，锁的标志位变为“10”，Mark Word 中存储的就是指向重量级锁（互斥量）的指针，后面等待的线程也要进入阻塞状态

如果对象的Mark Word仍然指向线程的锁记录，就用CAS操作把对象当前Mark Word和线程中复制的Displaced Mark Word替换回来
- 替换成功，同步完成
- 替换失败，有其他线程尝试获取该锁，释放锁的同时，唤醒被挂起的线程。

提升程序同步性能的依据是“对于绝大部分的锁，在整个同步周期内都是不存在竞争的”。

如果没有竞争，轻量级锁使用CAS操作避免了使用互斥量的开销。

但如果存在锁竞争，除了互斥量的开销外，还额外发生了CAS操作，因此在有竞争的情况下，轻量级锁会比传统的重量级锁更慢。

消除数据在无竞争情况下的同步原语，进一步提高程序的运行性能。简单来说就是**在无竞争的情况下把整个同步都消除掉，连CAS操作都不做。**就是说当一个线程率先获取到这个锁后，如果该锁没有被其他线程获取，那么持有偏向锁的线程将永远不需要同步。

当锁对象 第一次 被线程获取的时候，虚拟机将会把对象头中的标志位设为"01"，使用CAS操作把获取到的锁的线程ID记录到Mark Word中，如果CAS操作成功，持有偏向锁的线程以后每次进入这个锁相关的同步块时，都不再进行任何操作
当有另一个线程去尝试获取这个锁时，偏向模式宣告结束。根据锁对象目前是否处于被锁定的状态，撤销偏向后恢复到未锁定或轻量级锁定的状态，后续的同步操作就如上面介绍的轻量级锁那样执行