开启掘金成长之旅!这是我参与「掘金日新计划 · 2 月更文挑战」的第 5 天,点击查看活动详情
觉得对你有益的小伙伴记得点个赞+关注
后续完整内容持续更新中
希望一起交流的欢迎发邮件至javalyhn@163.com
1. synchronized的三种应用方式
- 作用于实例方法,当前实例加锁,进入同步代码前要获得当前实例的锁;
- 作用于代码块,对
括号里配置的对象
加锁; - 作用于静态方法,相当于给当前类加锁,进入同步代码时要先获得当前类的锁
2. 从字节码角度看上述三种应用方式
2.1 synchronized同步代码块
javap -c ***.class文件反编译
假如你需要更多信息 javap -v ***.class文件反编译
-v -verbose 输出附加信息(包括行号、本地变量表,反汇编等详细信息)
- 有两个monitorexit的原因是 一个用于正常释放锁,另一个用于异常释放锁
synchronized同步代码块
,实现使用的是monitorenter
和monitorexit
指令
问:
一定是一个enter两个exit吗?答:不一定,如果我们在synchronized代码块中抛出一个异常,详情如下
可见,当代码块出现异常时原来正常释放锁时的monitorexit变为了athrow
2.2 synchronized普通同步方法
synchronized普通同步方法
,调用指令将会检查方法的ACC_SYNCHRONIZED访问
标志是否被设置。
如果设置了,执行线程会将先持有monitor
然后再执行方法,
最后在方法完成(无论是正常完成还是非正常完成)时释放 monitor
monitor 监视器
,就是平常我们说的锁。Monitor其实是一种
同步机制
,他的义务是保证(同一时间)只有一个线程可以访问被保护的数据和代码
。JVM中同步是基于
进入和退出监视器对象(Monitor,管程对象)来实现的
,每个对象实例都会有一个Monitor对象
,Monitor对象会和Java对象一同创建并销毁
,它底层是由C++语言来实现的。
2.3 synchronized静态同步方法
synchronized静态同步方法
,ACC_STATIC, ACC_SYNCHRONIZED访问标志区分该方法是否静态同步方法
3. 什么是管程monitor
管程 (英语:Monitors,也称为监视器) 是一种程序结构,结构内的多个子程序(对象或模块)形成的多个工作线程互斥访问共享资源。
这些共享资源一般是硬件设备或一群变量。对共享变量能够进行的所有操作集中在一个模块中。(把信号量及其操作原语“封装”在一个对象内部)管程实现了在一个时间点,最多只有一个线程在执行管程的某个子程序。管程提供了一种机制,管程可以看做一个软件模块,它是将共享的变量和对于这些共享变量的操作封装起来,形成一个具有一定接口的功能模块,进程可以调用管程来实现进程级别的并发控制。
在HotSpot虚拟机中,monitor采用ObjectMonitor.cpp实现
ObjectMonitor.java→ObjectMonitor.cpp→objectMonitor.hpp
下面是objectMonitor.hpp
为什么每一个对象都能作为锁:原因是每个对象天生都带着一个对象监视器
synchronized必须作用于某个对象中,所以Java在对象的头文件
存储了锁的相关信息
。锁升级功能主要依赖于 MarkWord 中的锁标志位和释放偏向锁标志位
。
4. 锁升级
4.1 Synchronized锁优化的背景
用锁可以保证数据的安全性
,但是性能会下降
;无锁能够基于线程提升性能,但是安全性会带来下降
,那我们怎样求平衡呢?
锁升级诞生了
4.2 锁升级过程
4.3 java5之前Synchronized的性能
java5
以前,只有Synchronized,这个是操作系统级别的重量级操作,重量级锁,假如锁的竞争比较激烈的话,性能下降。
Java5之前,用户态和内核态之间的切换
java的线程是映射到操作系统原生线程之上的,如果要阻塞或唤醒一个线程就需要操作系统介入
,需要在户态与核心态之间切换,这种切换会消耗大量的系统资源,因为用户态与内核态都有各自专用的内存空间,专用的寄存器等,用户态切换至内核态需要传递给许多变量
、参数给内核,内核也需要保护好用户态在切换时的一些寄存器值、变量等,以便内核态调用结束后切换回用户态继续工作。
在Java早期版本中,synchronized属于重量级锁,效率低下,因为监视器锁(monitor)是依赖于底层的操作系统的Mutex Lock来实现的
,挂起线程和恢复线程都需要转入内核态去完成,阻塞或唤醒一个Java线程需要操作系统切换CPU状态来完成,这种状态切换需要耗费处理器时间,如果同步代码块中内容过于简单,这种切换的时间可能比用户代码执行的时间还长
,时间成本相对较高,这也是为什么早期的synchronized效率低的原因
Java 6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁
4.4 为什么每一个对象都可以成为一个锁
我们看一下MarkOop.hpp源码
Monitor可以理解为一种同步工具,也可理解为一种同步机制,常常被描述为一个Java对象。Java对象是天生的Monitor,每一个Java对象都有成为Monitor的潜质,因为在Java的设计中,每一个Java对象自打娘胎里出来就带了一把看不见的锁,它叫做内部锁或者Monitor锁。
Monitor的本质是依赖于底层操作系统的Mutex Lock实现,操作系统实现线程之间的切换需要从用户态到内核态的转换,成本非常高。
4.5 java6开始,优化Synchronized
Java 6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁,需要有个逐步升级的过程,别一开始就捅到重量级锁
5. synchronized锁种类及升级步骤
5.1 线程三种访问情况
- 只有一个线程访问,only one
- 有两个线程A,B交替访问
- 竞争激烈,有多个线程来访问
5.2 升级流程
synchronized用的锁是存在Java对象头里的Mark Word中
锁升级功能主要依赖MarkWord中锁标志位和释放偏向锁标志位
6. 无锁
public static void main(String[] args)
{
Object o = new Object();
System.out.println("10进制hash码:"+o.hashCode());
System.out.println("16进制hash码:"+Integer.toHexString(o.hashCode()));
System.out.println("2进制hash码:"+Integer.toBinaryString(o.hashCode()));
System.out.println( ClassLayout.parseInstance(o).toPrintable());
}
我们看前64位(对象头mark word位8个字节),因为对象头中的mark word立面标记了锁、哈希值等信息
看的顺序是倒数往前看,每一个字节内容从左往右看 小伙伴们自己试一下能不能根据该顺序理解
我们看到最后三位为001
,也就是无锁状态,程序不会有锁的竞争
。
7. 偏向锁
7.1 偏向锁的持有
主要作用:当一段同步代码一直被同一个线程多次访问
,
由于只有一个线程那么该线程在后续访问时便会自动获得锁
Hotspot 的作者经过研究发现,大多数情况下:
多线程的情况下,锁不仅不存在多线程竞争,还存在锁由同一线程多次获得的情况
,偏向锁就是在这种情况下出现的,它的出现是为了解决只有在一个线程执行同步时提高性能
。
理论落地
:在实际应用运行过程中发现,“锁总是同一个线程持有,很少发生竞争”
,也就是说锁总是被第一个占用他的线程拥有,这个线程就是锁的偏向线程。
那么只需要在锁第一次被拥有的时候,记录下偏向线程ID
。这样偏向线程就一直持有着锁(后续这个线程进入和退出这段加了同步锁的代码块时,不需要再次加锁和释放锁
。而是直接比较
对象头里面是否存储了指向当前线程的偏向锁)。
如果相等
表示偏向锁是偏向于当前线程
的,就不需要再尝试获得锁了,直到竞争发生才释放锁。以后每次同步,检查锁的偏向线程ID与当前线程ID是否一致,如果一致直接进入同步
。无需每次加锁解锁都去CAS更新对象头。如果自始至终使用锁的线程只有一个
,很明显偏向锁几乎没有额外开销,性能极高。
假如不一致意味着发生了竞争,锁已经不是总是偏向于同一个线程了,这时候可能需要升级变为轻量级锁,才能保证线程间公平竞争锁。偏向锁只有遇到其他线程尝试竞争偏向锁时
,持有偏向锁的线程才会释放锁,线程是不会主动释放偏向锁的
。
技术实现
: 一个synchronized方法被一个线程抢到了锁时,那这个方法所在的对象就会在其所在的Mark Word中将偏向锁修改状态位,同时还
会有占用前54位来存储线程指针作为标识。若该线程再次访问同一个synchronized方法时,该线程只需去对象头的Mark Word 中去判断一下是否有偏向锁指向本身的ID,无需再进入 Monitor 去竞争对象了。
7.2 偏向锁案例
偏向锁的操作不用直接捅到操作系统,不涉及用户到内核转换,不必要直接升级为最高级
,我们以一个account对象的“对象头”为例,
假如有一个线程执行到synchronized代码块的时候,JVM使用CAS操作把线程指针ID记录到Mark Word当中
,并修改标偏向标示,标示当前线程就获得该锁。锁对象变成偏向锁(通过CAS修改对象头里的锁标志位),字面意思是“偏向于第一个获得它的线程”的锁。执行完同步代码块后,线程并不会主动释放偏向锁
。
这时线程获得了锁,可以执行同步代码块。当该线程第二次到达同步代码块时会判断此时持有锁的线程是否还是自己(持有锁的线程ID也在对象头里),JVM通过account对象的Mark Word判断:当前线程ID还在,说明还持有着这个对象的锁,就可以继续进入临界区工作。由于之前没有释放锁,这里也就不需要重新加锁。
如果自始至终使用锁的线程只有一个,很明显偏向锁几乎没有额外开销,性能极高。
结论:JVM不用和操作系统协商设置Mutex(争取内核),它只需要记录下线程ID就标示自己获得了当前锁,不用操作系统接入。 上述就是偏向锁:在没有其他线程竞争的时候,一直偏向偏心当前线程,当前线程可以一直执行。
7.3 偏向锁JVM命令
java -XX:+PrintFlagsInitial |grep BiasedLock*
重要参数说明
实际上偏向锁在JDK1.6之后是默认开启
的,但是启动时间有延迟
,
所以需要添加参数-XX:BiasedLockingStartupDelay=0
,让其在程序启动时立刻启动
。
开启偏向锁: -XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0
关闭偏向锁:关闭之后程序默认会直接进入------------------------------------------>>>>>>>> 轻量级锁状态
。
-XX:-UseBiasedLocking
7.4 偏向锁code演示
public static void main(String[] args)
{
Object o = new Object();
new Thread(() -> {
synchronized (o){
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
},"t1").start();
}
??????????000?????
因为没有设置延时参数
-XX:BiasedLockingStartupDelay=0
101来了!!!!!!
7.5 偏向锁的撤销
偏向锁好日子到头了
当有另外线程逐步来竞争锁的时候
,就不能再使用偏向锁了,要升级为轻量级锁
竞争线程尝试CAS更新对象头失败
,会等待到全局安全点
(此时不会执行任何代码)撤销偏向锁
偏向锁使用一种等到竞争出现才释放锁
的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。
撤销需要等待全局安全点
(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行
:
① 第一个线程正在执行synchronized方法(处于同步块
),它还没有执行完,其它线程来抢夺,该偏向锁会被取消掉并出现锁升级
。
此时轻量级锁由原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程会进入自旋等待获得该轻量级锁。
② 第一个线程执行完成synchronized方法(退出同步块
),则将对象头设置成无锁状态并撤销偏向锁
,重新偏向
。
8. 轻锁
8.1 主要作用
有线程来参与锁的竞争,但是获取锁的冲突时间极短,
本身就是自旋锁
8.2 再看一下64位标记图
8.3 轻量级锁的获取
轻量级锁是为了在线程近乎交替执行同步块时提高性能
。
主要目的: 在没有多线程竞争的前提下,通过CAS减少重量级锁使用操作系统互斥量产生的性能消耗,说白了先自旋再阻塞。
升级时机: 当关闭偏向锁功能或多线程竞争偏向锁会导致偏向锁升级为轻量级锁
假如线程A已经拿到锁,这时线程B又来抢该对象的锁,由于该对象的锁已经被线程A拿到,当前该锁已是偏向锁了。 而线程B在争抢时发现对象头Mark Word中的线程ID不是线程B自己的线程ID(而是线程A),那线程B就会进行CAS操作希望能获得锁。
此时线程B操作中有两种情况:
如果锁获取成功
,直接替换Mark Word中的线程ID为B自己的ID(A → B),重新偏向于其他线程(即将偏向锁交给其他线程
,相当于当前线程"被"释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位;
如果锁获取失败
,则偏向锁升级为轻量级锁,此时轻量级锁由原持有偏向锁的线程持有
,继续执行其同步代码,而正在竞争的线程B会进入自旋等待获得该轻量级锁。
8.4 轻量级锁代码演示
如果关闭偏向锁,就可以直接进入轻量级锁 -XX:-UseBiasedLocking
8.5 自旋达到一定次数和程度
java6之前
: 默认启用,默认情况下自旋的次数是 10 次或者自旋线程数超过cpu核数一半
-XX:PreBlockSpin=10来修改
Java6之后
: 自适应,自适应意味着自旋的次数不是固定不变的,而是根据:同一个锁上一次自旋的时间。拥有锁线程的状态来决定。
8.6 轻量锁与偏向锁的区别和不同
争夺轻量级锁失败时,自旋尝试抢占锁
轻量级锁每次退出同步块都需要释放锁,而偏向锁是在竞争发生时才释放锁
9. 重锁
9.1 介绍
有大量的线程参与锁的竞争,冲突性很高
9.2 锁标志位
9.3 重锁代码演示
public static void main(String[] args) {
Object o = new Object();
new Thread(() -> {
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
},"t1").start();
new Thread(() -> {
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
},"t2").start();
}
10. JIT编译器对锁的优化
10.1 锁消除
从JIT角度看相当于无视它,synchronized (o)不存在了,这个锁对象并没有被共用扩散到其它线程使用
,
极端的说就是根本没有加这个锁对象的底层机器码
,消除了锁的使用
public class LockClearUPDemo
{
static Object objectLock = new Object();//正常的
public void m1()
{
//锁消除,JIT会无视它,synchronized(对象锁)不存在了。不正常的
Object o = new Object();
synchronized (o)
{
System.out.println("-----hello LockClearUPDemo"+"\t"+o.hashCode()+"\t"+objectLock.hashCode());
}
}
public static void main(String[] args)
{
LockClearUPDemo demo = new LockClearUPDemo();
for (int i = 1; i <=10; i++) {
new Thread(() -> {
demo.m1();
},String.valueOf(i)).start();
}
}
}
一看就懂了,每一次synchronized锁的都是不同对象,那不就是相当于没锁嘛
10.2 锁粗化
假如方法中首尾相接,前后相邻的都是同一个锁对象
,那JIT编译器就会把这几个synchronized块合并成一个大块,
加粗加大范围
,一次申请锁使用即可,避免次次的申请和释放锁,提升了性能
public class LockBigDemo
{
static Object objectLock = new Object();
public static void main(String[] args)
{
new Thread(() -> {
synchronized (objectLock) {
System.out.println("11111");
}
synchronized (objectLock) {
System.out.println("22222");
}
synchronized (objectLock) {
System.out.println("33333");
}
},"a").start();
new Thread(() -> {
synchronized (objectLock) {
System.out.println("44444");
}
synchronized (objectLock) {
System.out.println("55555");
}
synchronized (objectLock) {
System.out.println("66666");
}
},"b").start();
}
}
相当于执行
synchronized (objectLock) {
System.out.println("111111");
System.out.println("22222222");
System.out.println("3333");
System.out.println("4444444");
}
11. 总结
synchronized锁升级过程总结:一句话,就是先自旋,不行再阻塞。
实际上是把之前的悲观锁(重量级锁)变成在一定条件下使用偏向锁以及使用轻量级(自旋锁CAS)的形式
synchronized在修饰方法和代码块在字节码上实现方式有很大差异,但是内部实现还是基于对象头的MarkWord来实现的。
JDK1.6之前synchronized使用的是重量级锁,JDK1.6之后进行了优化,拥有了无锁->偏向锁->轻量级锁->重量级锁的升级过程
,而不是无论什么情况都使用重量级锁。
偏向锁
:适用于单线程适用的情况,在不存在锁竞争的时候进入同步方法/代码块则使用偏向锁。
轻量级锁
:适用于竞争较不激烈的情况(这和乐观锁的使用范围类似), 存在竞争时升级为轻量级锁,轻量级锁采用的是自旋锁,如果同步方法/代码块执行时间很短的话,采用轻量级锁虽然会占用cpu资源但是相对比使用重量级锁还是更高效。
重量级锁
:适用于竞争激烈的情况,如果同步方法/代码块执行时间很长,那么使用轻量级锁自旋带来的性能消耗就比使用重量级锁更严重,这时候就需要升级为重量级锁。