本篇内容主要讲解“如何理解synchronized锁升级”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“如何理解synchronized锁升级”吧!
站在用户的角度思考问题,与客户深入沟通,找到甘州网站设计与甘州网站推广的解决方案,凭借多年的经验,让设计与互联网技术结合,创造个性化、用户体验好的作品,建站类型包括:做网站、网站设计、企业官网、英文网站、手机端网站、网站推广、域名与空间、网络空间、企业邮箱。业务覆盖甘州地区。
1 无锁
在上一篇文章中,我们提到过 jvm会有4秒的偏向锁开启的延迟时间,在这个偏向延迟内对象处于为无锁态。如果关闭偏向锁启动延迟、或是经过4秒且没有线程竞争对象的锁,那么对象会进入无锁可偏向状态。
准确来说,无锁可偏向状态应该叫做匿名偏向(Anonymously biased
)状态,因为这时对象的mark word
中后三位已经是101
,但是threadId
指针部分仍然全部为0,它还没有向任何线程偏向。综上所述,对象在刚被创建时,根据jvm的配置对象可能会处于 无锁或 匿名偏向两个状态。
此外,如果在jvm的参数中关闭偏向锁,那么直到有线程获取这个锁对象之前,会一直处于无锁不可偏向状态。修改jvm启动参数:
-XX:-UseBiasedLocking
延迟5s后打印对象内存布局:
public static void main(String[] args) throws InterruptedException {
User user=new User();
TimeUnit.SECONDS.sleep(5);
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}

可以看到,即使经过一定的启动延时,对象一直处于001
无锁不可偏向状态。大家可能会有疑问,在无锁状态下,为什么要存在一个不可偏向状态呢?通过查阅资料得到的解释是:
JVM内部的代码有很多地方也用到了synchronized,明确在这些地方存在线程的竞争,如果还需要从偏向状态再逐步升级,会带来额外的性能损耗,所以JVM设置了一个偏向锁的启动延迟,来降低性能损耗
也就是说,在无锁不可偏向状态下,如果有线程试图获取锁,那么将跳过升级偏向锁的过程,直接使用轻量级锁。使用代码进行验证:
//-XX:-UseBiasedLocking
public static void main(String[] args) throws InterruptedException {
User user=new User();
synchronized (user){
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
}
查看结果可以看到,在关闭偏向锁情况下使用synchronized
,锁会直接升级为轻量级锁(00
状态):

在目前的基础上,可以用流程图概括上面的过程:

额外注意一点就是匿名偏向状态下,如果调用系统的hashCode()
方法,会使对象回到无锁态,并在markword
中写入hashCode
。并且在这个状态下,如果有线程尝试获取锁,会直接从无锁升级到轻量级锁,不会再升级为偏向锁。
2 偏向锁
2.1 偏向锁原理
匿名偏向状态是偏向锁的初始状态,在这个状态下第一个试图获取该对象的锁的线程,会使用CAS操作(汇编命令CMPXCHG
)尝试将自己的threadID
写入对象头的mark word
中,使匿名偏向状态升级为已偏向(Biased)的偏向锁状态。在已偏向状态下,线程指针threadID
非空,且偏向锁的时间戳epoch
为有效值。
如果之后有线程再次尝试获取锁时,需要检查mark word
中存储的threadID
是否与自己相同即可,如果相同那么表示当前线程已经获得了对象的锁,不需要再使用CAS操作来进行加锁。
如果mark word
中存储的threadID
与当前线程不同,那么将执行CAS操作,试图将当前线程的ID替换mark word
中的threadID
。只有当对象处于下面两种状态中时,才可以执行成功:
如果对象不处于上面两个状态,说明锁存在线程竞争,在CAS替换失败后会执行偏向锁撤销操作。偏向锁的撤销需要等待全局安全点Safe Point
(安全点是 jvm为了保证在垃圾回收的过程中引用关系不会发生变化设置的安全状态,在这个状态上会暂停所有线程工作),在这个安全点会挂起获得偏向锁的线程。
在暂停线程后,会通过遍历当前jvm的所有线程的方式,检查持有偏向锁的线程状态是否存活:
完成上面的操作后,唤醒暂停的线程,从安全点继续执行代码。可以使用流程图总结上面的过程:

2.2 偏向锁升级
在上面的过程中,我们已经知道了匿名偏向状态可以变为无锁态或升级为偏向锁,接下来看一下偏向锁的其他状态的改变
public static void main(String[] args) throws InterruptedException {
User user=new User();
synchronized (user){
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
Thread thread = new Thread(() -> {
synchronized (user) {
System.out.println("--THREAD--:"+ClassLayout.parseInstance(user).toPrintable());
}
});
thread.start();
thread.join();
System.out.println("--END--:"+ClassLayout.parseInstance(user).toPrintable());
}
查看内存布局,偏向锁升级为轻量级锁,在执行完成同步代码后释放锁,变为无锁不可偏向状态:

public static void main(String[] args) throws InterruptedException {
User user=new User();
Thread thread = new Thread(() -> {
synchronized (user) {
System.out.println("--THREAD1--:" + ClassLayout.parseInstance(user).toPrintable());
try {
user.wait(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("--THREAD END--:" + ClassLayout.parseInstance(user).toPrintable());
}
});
thread.start();
thread.join();
TimeUnit.SECONDS.sleep(3);
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
查看内存布局,可以看到在调用了对象的wait()
方法后,直接从偏向锁升级成了重量级锁,并在锁释放后变为无锁态:

这里是因为wait()
方法调用过程中依赖于重量级锁中与对象关联的monitor
,在调用wait()
方法后monitor
会把线程变为WAITING
状态,所以才会强制升级为重量级锁。除此之外,调用hashCode
方法时也会使偏向锁直接升级为重量级锁。
在上面分析的基础上,再加上我们上一篇中讲到的轻量级锁升级到重量级锁的知识,就可以对上面的流程图进行完善了:

2.3 批量重偏向
在未禁用偏向锁的情况下,当一个线程建立了大量对象,并且对它们执行完同步操作解锁后,所有对象处于偏向锁状态,此时若再来另一个线程也尝试获取这些对象的锁,就会导偏向锁的批量重偏向(Bulk Rebias)。当触发批量重偏向后,第一个线程结束同步操作后的锁对象当再被同步访问时会被重置为可重偏向状态,以便允许快速重偏向,这样能够减少撤销偏向锁再升级为轻量级锁的性能消耗。
首先看一下和偏向锁有关的参数,修改jvm启动参数,使用下面的命令可以在项目启动时打印jvm的默认参数值:
-XX:+PrintFlagsFinal
需要关注的属性有下面3个:
.png)
BiasedLockingBulkRebiasThreshold
:偏向锁批量重偏向阈值,默认为20次
BiasedLockingBulkRevokeThreshold
:偏向锁批量撤销阈值,默认为40次
BiasedLockingDecayTime
:重置计数的延迟时间,默认值为25000毫秒(即25秒)
批量重偏向是以class
而不是对象为单位的,每个class
会维护一个偏向锁的撤销计数器,每当该class
的对象发生偏向锁的撤销时,该计数器会加一,当这个值达到默认阈值20时,jvm就会认为这个锁对象不再适合原线程,因此进行批量重偏向。而距离上次批量重偏向的25秒内,如果撤销计数达到40,就会发生批量撤销,如果超过25秒,那么就会重置在[20, 40)内的计数。
上面这段理论是不是听上去有些难理解,没关系,我们先用代码验证批量重偏向的过程:
private static Thread t1,t2;
public static void main(String[] args) throws InterruptedException {
TimeUnit.SECONDS.sleep(5);
List