偏向锁、轻量锁和锁的存储结构
- Sychronized实现同步的基础,也就是Java中的每一个对象都可以作为锁
- 同步方法,锁是当前实例对象
- 静态同步方法,锁是当前类的Class对象
- 同步方法块,锁是sychronized括号里配置的对象
- Synchonized在JVM里的实现原理
- 基于进入和退出Monitor对象来实现方法同步和代码块同步
- 代码块同步:monitorenter、monitorexit
- 方法同步:JVM规范未明确,也可以使用上述两个命令实现
- 基于进入和退出Monitor对象来实现方法同步和代码块同步
monitorenter指令是在变异后插入到同步代码块的开始位置
monitorexit是插入到方法结束处和异常处
JVM要保证每个monitorenter必须有对应的monitorexit与之配对
任何对象都有一个monitor与之关联,当且只有一个monitor被持有后,它将处于锁定状态。
线程执行到monitorenter指令时,将会尝试获取对象所对应的monitor的所有权,即尝试获取对象的所
对象头
sychronized存储在对象头里
- 数组
- 3个字宽(word)存储对象头
- 非数组
- 2字宽存储对象头
字宽Word:定义位长度的单位,取决于计算机结构和操作系统。
32位:1字宽为4字节,即32bit
64位:1字宽8字节,即64bit
对象头长度
长度 | 内容 | 说明 |
---|---|---|
32/64bit | Mark Word | 存储对象的hashCode、分代年龄和锁标记位 |
32/64bit | Class Metadata Address | 存储到对象类型数据的指针 |
32/64bit | Array Length | 数组的长度(如果当前是数组) |
对象头的存储结构
32bit
锁状态 | 25bit | 4bit | 1bit是否是偏向锁 | 2bit锁标识位 |
---|---|---|---|---|
无锁状态 | 对象的hashCode | 对象分代年龄 | 0 | 01 |
64bit
锁状态 | 25bit | 31bit | 1bit | 4bit | 1bit | 2bit |
---|---|---|---|---|---|---|
锁状态 | cms_free | 分代年龄 | 偏向锁 | 锁标识位 | ||
无锁 | unused | hashCode | 0 | 01 | ||
偏向锁 | ThreadID(54bit)Epoch(2bit) | 同左 | 1 | 01 |
Mark Word状态变化
锁的升级与对比
偏向锁
JDK1.6+
当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID。
出现原因
大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入
加锁
- 记录偏向锁的线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁,只需要简单测试对象头的Mark Word里是否存储着指向当前线程的偏向锁。
- 测试成功:表示线程已经获得了锁
- 测试失败:需要测试Mark Word中偏向锁的标识是否为1(表示当前是偏向锁)
- 无:使用CAS竞争锁
- 有:尝试使用CAS将对象头的偏向锁指向当前线程
解锁
机制:等到竞争才释放
时机:全局安全点(在这个时间点上没有正在执行的字节码)
- 暂停拥有偏向锁的线程
- 检查持有偏向锁的线程是否活着
- 是:拥有偏向锁的栈会被执行,便利偏向对象的锁记录,栈中的锁记录和对象头的Mark Word要么重新偏向于其它线程,要么恢复到无锁或者标记对象不适合作为偏向锁
- 否:将对象头设置成无锁状态
- 唤醒暂停的线程
参数
1 | -XX:-UseBiastedLocking:启用/禁用(禁用后,默认进入轻量级锁状态) |
轻量级锁
加锁
- 线程执行同步块之前,JVM会在当前线程的栈帧中创建存储锁记录的空间,并将对象头重的Mark Word复制到锁记录中,也就是
Displaced Mark Word
- 线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针
- 成功:当前线程获得锁
- 失败:存在与其它线程竞争锁,当前线程尝试使用自旋来获取锁
自旋会消耗CPU,为了避免无用的自旋(获得锁的线程阻塞住了),一旦锁升级成重量级锁,就不会再恢复到轻量级锁状态。
解锁
- 使用原子的CAS操作将
Displaced Mark Word
替换回到对象头- 成功:表示没有竞争发生
- 失败:当前锁存在竞争,锁就会膨胀成重量级锁
对比
锁 | 优点 | 缺点 | 适用场景 |
---|---|---|---|
偏向锁 | 加锁和解锁不需要额外消耗(和执行非同步方法相比仅存在纳秒级的差距) | 如果线程间存在锁竞争,会带来额外的锁撤销的消耗 | 只有一个线程访问同步块 |
轻量级锁 | 竞争的线程不会阻塞,提高了程序的响应速度 | 如果始终得不到锁竞争的线程,使用自旋会消耗CPU | 追求响应时间,同步块执行速度非常快 |
重量级锁 | 线程竞争不使用自旋,不会消耗CPU | 线程阻塞,响应时间缓慢 | 追求吞吐量,同步块执行速度较长 |
原子操作的实现原理
原子atomic:不能被进一步分割的最小粒子
原子操作atomic operation:不可被中断的一个或一系列操作
术语
名称 | 英文 | 解释 |
---|---|---|
缓存行 | Cache Line | 缓存的最小操作单位 |
比较并交换 | Compare and Swap | CAS操作需要输入两个数值,一个旧值(操作前的值),和一个新值,比较旧值有无发生变化,没有发生变化才交换成新值,否则不交换 |
CPU流水线 | CPU pipeline | 在CPU中由5~6个不同功能的电路单元组成一条指令处理流水线,然后将一条X86指令分成5~6步后再由这些电路单元分别执行,这样就能实现在一个CPU时钟周期完成一条指令,因此提高CPU的运算速度 |
内存顺序冲突 | Memory order violation | 一般是由假共享引起的,假共享是指多个CPU同时修改同一个缓存行的不同部分而引起其中一个CPU的操作无效,这时CPU必须清空流水线 |
CPU实现
32位IA-32处理器使用基于对缓存加锁或总线加锁
Pentium 6和最新的处理自动保证单处理器对同一个缓存行里进行16/32/64位的操作是原子的,但是复杂的操作不能自动保证其原子性(跨总线宽度、跨多个缓存行和跨页表的访问),处理器提供总线锁定和缓存锁定两个机制来保证复杂处理的原子性。
总线锁
使用处理器提供的一个
LOCK#
信号,当一个处理器在总线上输出此信号时,其它处理器的请求将被阻塞住,那么该处理器可以独占共享内存。
缓存锁
频繁使用的内存会缓存在处理器的L1、L2和L3高速缓存里。
内存区域如果被缓存在处理器的缓存行中,并且在Lock操作期间被锁定,那么当它执行锁操作回写到内存时,处理器修改内部的内存地址,并允许它的缓存一致性机制来保证操作的原子性(缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据,当其它处理器回写已被锁定的缓存行的数据时,会使缓存行无效)
- 两种情况不会使用缓存锁
- 不能被缓存在处理器内部、操作跨多个缓存行时,处理器会调用总线锁定
- 处理器不支持缓存锁定(Intel 486和Pentium)
Java实现
通过锁和循环CAS的方式来实现原子操作
- 循环CAS实现原子操作
- 利用处理器的
CMPXCHG
指令 - 自旋CAS实现的基本思路:循环进行CAS操作直到成功为止
- 利用处理器的
- CAS实现原子操作的三大问题
- ABA:使用版本号
- AtomicStampedReference:检查引用和标志
- 循环时间长开销大
- 如果JVM能支持处理器提供的
pause
指令,效率会有一定提升- 延迟流水线执行指令,使CPU不会消耗过多的执行资源
- 避免在退出循环的时候因内存顺序冲突而引起CPU流水线被清空,从而提高CPU的执行效率
- 如果JVM能支持处理器提供的
- 只能保证一个共享变量的原子操作
- 循环CAS操作无法保证对多个共享变量的操作,除了锁以外,还可以将多个共享变量合并成一个共享变量来操作,Java 1.5,JDK提供了
AtomicReference
类来保证引用对象的原子性,就可以把多个变量放在一个对象里来进行CAS操作
- 循环CAS操作无法保证对多个共享变量的操作,除了锁以外,还可以将多个共享变量合并成一个共享变量来操作,Java 1.5,JDK提供了
- ABA:使用版本号
- 使用锁机制保证原子操作
- 偏向锁、轻量级锁和互斥锁
- 除了偏向锁,JVM实现锁的方式都用了循环CAS
参考
Quora-What is the difference between a word and a byte?
其它
- Markdown的表格真得很一言难尽