Java锁

Java传家宝：微信公众号(Java传家宝)、Java传家宝-B站、Java传家宝-知乎、Java传家宝-CSND

---

Java锁

​ 在Java中，锁按状态分可以分为无锁、偏向锁、轻量级锁、重量级锁，因为Java锁都基于对象的，所以Java对象的对象头含有专门记录锁状态的位置。

Java对象

​ 首先解析一下JAVA对象的内存结构，如图

JAVA对象内存结构

实例数据：类中真正存储的有效信息。就是在程序中类定义的各种类型的字段信息，包括父类继承的全部都存储在其中。

对其填充：并不是必然存在的，只起着占位符的作用。Hotspot VM要求对象的起始地址必须是8字节的整数倍。即要求Java对象必须是8字节的整数倍。

对象头：这部分与锁相关，本节细说，他一共可分为三部分，长度根据处理器是32位还是64位决定：

对象头结构

长度	内容	说明
32/64bit	Mark Word	HashCode、锁状态、GC年龄等
32/64bit	Class Metadata Address	存储指向对象类型的指针
32/64bit	Array Length	数组长度（如果是数组的话）

其中Mark Word记录的内容会根据锁的状态而改变：

锁状态	标志位(2bit)	存储内容
无锁	01	GC年龄，HashCode
偏向锁	01	偏向ID、偏向时间戳、GC年龄
轻量级锁	00	指向栈中锁记录的指针
重量级锁	10	指向重量级锁(互斥量)的指针
GC标记	11	无

偏向锁

​ 偏向锁用于消除数据无竞争情况下的同步操作，提高程序性能。

没有线程竞争，任何时刻都只有一个线程获取该锁

具体过程表现为：

• 锁对象 第一次被线程获取。
• 虚拟机将锁对象的 标志为置为01，通过使用CAS操作将该 线程ID记录在锁对象的Mark Word中。
• CAS操作成功，那么此线程在每次进入与该对象锁相关的同步块时， 可不进行同步操作。
• 当有 别的线程获取该对象锁时，偏向模式宣告结束。根据当前锁对象的状态， 撤销偏向或者锁升级为 轻量级锁。

偏向锁过程

轻量级锁

​ 轻量级锁的目的在于没有多线程竞争的前提下，减少重量级锁使用操作系统互斥量（mutex）产生的性能消耗。

多个线程在不同时段获取同⼀把锁，即不存在锁竞争的情况，也就没有线程阻塞

具体过程表现为：

• 首先在栈帧建立一个 Lock Record锁记录
• 将锁对象的Mark Word的拷贝 Displaced Mark Word存储在Lock Record中
• 然后通过CAS操作将 锁对象的Mark Word更新为栈帧中Lock Record的指针地址

  • 成功，将锁对象标志置为 00，表示轻量级锁状态
  • 失败，检查当前锁对象的Mark Word是否已经指向栈帧

    • 是，可直接进入同步块
    • 否，说明别的线程来抢占改锁了，将其升级为重量级锁

轻量级锁过程

重量级锁

​ 重量级锁依赖于操作系统的互斥量（mutex） 实现的，⽽操作系统中线程间状态的转换需要用户态和内核态之间转换，耗时，所以重量级锁效率很低，因为不会使用CAS自旋，阻塞的线程不会消耗 CPU。

具体过程表现为：

• 当一个线程获取锁时，如果该锁已经被获取了
• 那么该线程就进入 竞争队列，并挂起
• 当锁对象释放后，会从竞争队列或 候选队列中随机选取一个唤醒，作为 假定继承人
• 假定继承人采用CAS自旋获取锁

重量级锁抢占过程

锁升级流程

​ 最后总结一下锁升级的流程

锁升级流程

• 线程第一次获取对象锁， 检查对象头是否存放自己的线程ID
• 是，说明处于偏向状态， 偏向锁，继续执行
• 不是就通知对应线程阻塞，同时在自己的栈帧中拷贝对象头的内容到Lock Record
• 通过CAS抢占修改对象头的内容为自己栈帧中的Lock Record地址， 升级为轻量级锁
• 成功的线程继续执行， 失败的进入自旋
• 自旋 成功，仍然为 轻量级锁
• 自旋 失败，升级为 重量级锁，自身进入阻塞状态，等待执行完同步块的线程唤醒。