synchronized的实现原理与应用
synchronized被称作重量级锁,但是在JavaSE 1.6的各种优化以后,部分情况下就并非那么重了
这主要是因为1.6以后引入了偏向锁和轻量级锁,以及锁的存储结构和升级过程
这些都是为了减少获得锁和释放锁而带来的性能消耗。
java的每一个对象都可以作为锁,具体表现为以下三种形式:
- 普通同步方法,锁是当前的实例对象
- 静态同步方法,锁是当前类的Class对象
- 同步方法块,锁是Synchronized括号里配置的对象
当一个线程试图访问同步代码块时,它首先必须得到锁,退出或者抛出异常时必须要释放锁。
锁到底存放在哪里?它存储了什么信息?
Synchronized在JVM中基于进入和退出Monitor对象来实现方法同步和代码块同步。
代码块同步的实现是使用monitorenter和monitorexit指令实现的
方法同步是使用另外一种方式实现的(但同样可以使用这两个指令来实现)
monitorenter指令是在编译后插入到同步代码块的开始位置,而monitorexit则是插入到方法结束处和异常处
每一个monitorenter必须有一个monitorexit与之配对,每一个对象都必须有一个monitor与之关联
当一个monitor被持有后,它将处于锁定状态。线程执行到monitorenter指令时,将会尝试获取对象所对应的monitor的所有权,即尝试获得对象的锁。
Java对象头
synchronized的锁存放在Java对象头里
如果对象是数组类型,那么虚拟机用3个字宽存储对象头
如果是非数组类型,则用2字宽存储对象头。
在32位虚拟机中,1字宽等于4个字节,即32bit
Java对象头的长度
长度 | 内容 | 说明 |
---|---|---|
32 / 64bit | Mark Word | 存储对象的hashCode或者锁信息 |
32 / 64bit | Class Metadata Address | 存储到对象类型数据的指针 |
32 / 64bit | Array Length | 数组的长度(如果当前对象是数组) |
Java对象头的存储结构(Mark Word的默认存储结构)
锁状态 | 25bit | 4bit | 1bit 是否是偏向锁 | 2bit 锁标志位 |
---|---|---|---|---|
无锁状态 | 对象的hashCode | 对象分带年龄 | 0 | 01 |
Mark Word存储的数据会随着锁标志位的变化而变化,它可能变化为存储以下4种数据:
锁状态 | 25bit (23bit / 2bit) | 4bit | 1bit 是否是偏向锁 | 2bit 锁标志位 |
---|---|---|---|---|
轻量级锁 | 指向栈中锁记录的指针 | 指向栈中锁记录的指针 | 指向栈中锁记录的指针 | 00 |
重量级锁 | 指向互斥量(重量级锁)的指针 | 指向互斥量(重量级锁)的指针 | 指向互斥量(重量级锁)的指针 | 10 |
GC标记 | 空 | 空 | 空 | 11 |
偏向锁 | 23bit 线程ID 2bit Epoch | 对象分代年龄 | 1 | 01 |
64位虚拟机下,Mark Word大小为64bit
64bit Mark Word存储结构
锁状态 | 25bit | 31bit | 1bit cms_free | 4bit 分代年龄 | 1bit 是否是偏向锁 | 2bit 锁标志位 |
---|---|---|---|---|---|---|
无锁 | unused | hashCode | 0 | 01 | ||
偏向锁 | ThreadID(54bit) Epoch(2bit) | ThreadID(54bit) Epoch(2bit) | 1 | 01 |
锁的升级与对比
锁有4种状态:
- 无锁状态
- 偏向锁状态
- 轻量级锁状态
- 重量级锁状态
这几个状态会随着竞争情况逐渐升级,锁只可以升级,不可以降级,这样的目的是为了提高获得锁和释放锁的效率
偏向锁
引入的原因:大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,因此有必要降低获得锁的代价。
运行机制:
当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁,只需要简单测试一下对象头的Mark Word里是否存储着指向当前线程的偏向锁。
如果成功,表示线程已经获得了锁。如果失败,则需要再测试一下Mark Word中偏向锁的标识是否已经设置为1,如果没有,则使用CAS竞争锁,反之则尝试使用CAS将对象头的偏向锁指向当前线程
-
偏向锁的撤销
偏向锁使用的机制:只有竞争出现时,锁才会被释放
偏向锁的撤销需要等待全局安全点(即在该时间点上没有正在执行的字节码),它会首先暂停拥有偏向锁的线程,然后检查持有偏向锁的线程的活动状态。如果不处于活动状态,就将对象头设置为无锁状态,反之则拥有偏向锁的栈会被执行,遍历偏向对象的锁记录,栈中的锁记录和对象头的Mark Word要么重新偏向于其他线程,要么恢复到无锁或者标记对象不适合作为偏向锁。最后才唤醒暂停的线程。
偏向锁的获得和撤销流程:
-
关闭偏向锁
偏向锁在Java 6和Java 7里是默认启用的,但是它在应用程序启动几秒钟之后才激活。这个启动延迟是可以通过JVM参数
-XX:BiasedLockingStartupDelay=0
关闭的如果你确定应用程序里的锁通常处于竞争状态,可以通过JVM参数
-XX:UseBiasedLocking=false
关闭偏向锁。
轻量级锁
-
轻量级锁加锁
线程执行同步块之前,JVM会现在当前线程的栈帧中创建用于存储锁记录的空间,并将对象头中的Mark Word复制到锁记录中,官方成为Displaced Mark Word。
随后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功,当前线程获得锁。如果失败,则表示其他线程竞争,当前线程会尝试使用自旋来获得锁。
-
轻量级锁解锁
解锁时,会使用原子的CAS操作将Displaced Mark Word替换回到对象头,如果成功,表示无竞争发生,如果失败,表示当前锁产生竞争,锁就会膨胀成重量级锁。
两个线程同时争夺锁,导致锁膨胀的流程图:
自旋是会消耗CPU的,因此为了避免无用的自旋(比如获得锁的线程阻塞),一旦锁升级成重量级锁,就不会恢复到轻量级锁状态。
锁处于这个状态时,其他线程试图获取锁时都会被阻塞住,当持有锁的线程释放锁后会唤醒这些线程,然后才会开展新的锁竞争。
锁的优缺点对比
锁 | 优点 | 缺点 | 适用场景 |
---|---|---|---|
偏向锁 | 加锁和解锁不需要额外的小号,和执行非同步方法相比仅存在纳秒级的差距 | 如果线程间存在锁竞争,就会带来额外的锁撤销的消耗 | 适用于只有一个线程访问同步块的场景 |
轻量级锁 | 竞争的线程不会阻塞,提高了程序的响应速度 | 如果始终得不到锁竞争的线程,使用自旋会消耗CPU | 追求响应时间,同步块执行速度非常快 |
重量级锁 | 线程竞争不使用自旋,不会消耗CPU | 线程阻塞,响应时间缓慢 | 追求吞吐量,同步块执行速度较长 |