理解锁升级过程
四种锁状态: 无锁态,偏向锁,轻量级锁,重量级锁
无锁态:对象被新建出来的状态。
偏向锁:作为锁对象时被线程第一次访问后的锁状态。
轻量级锁:当有两个线程竞争时,该对象升级后的锁状态。
重量级锁:多个线程处于自旋状态,防止CUP负载过高时,该对象升级为重量级锁。
自旋操作: 当A线程首先抢占了一把锁,B线程没抢到,B线程一直占用CPU去循环访问这个锁直到获得这把锁的过程。如果线程数量过多,会导致CPU占用率过高。
使用 synchronized 给对象加锁的过程会发生上方四种状态的迭代。
锁升级:
- 新建一个对象,他是无锁态,当A线程访问此对象发现他是无锁状态那么将此对象升级为偏向锁,并且在 对象1 的 markword 中使用 54bit 来保存当前线程的指针,在后三位标记为 001 。A线程下次可以直接访问这把锁。
- 当B线程与A线程同时访问这个锁,那么撤销偏向锁标记,然后A线程与B线程在线程栈中创建对象 Lock Record ,将此对象的指针保存到 markword 中,如果A线程先保存了LR,A线程抢先获得锁,那么B线程会产生自旋操作。
- 当自旋超过十次或者等待线程数量超过 CPU 核心数量的二分之一时,防止CPU负载过高,会将锁升级为重量级锁,此时等待此锁的线程都被阻塞,不占用CPU。