【尚硅谷周阳--JUC并发编程】【第十二章--Synchronized与锁升级】
一、路线总纲
1、说明
2、synchronized锁
- 由于对象头中的Mark Word根据锁标志位的不同而被复用及锁升级策略
二、Synchronized性能变化
1、Java5之前
- 只有Synchronized,这个是操作系统级别的重量级操作(只有无锁和重量级锁)
- 重量级锁,假如锁的竞争比较激烈的话,性能下降
- Java5之前,用户态和内核态之间的切换
- Java的线程是映射到操作系统原生线程之上的,如果要阻塞或唤醒一个线程就需要操作系统介入,需要在用户态和核心态之间切换,这种切换会消耗大量的系统资源,因为用户态与内核态都有各自专用的内存空间,专用的寄存器等,用户态切换至内核态需要传递许多变量、参数给内核,内核也需要保护好用户态在切换时的一些寄存器值、变量等。以便内核态调用结束后切换会用户态继续工作。
- 在Java早期版本中,synchronized属于重量级锁,效率底下,因为监视器锁(monitor)是依赖于底层的操作系统的Mutex Lock(系统互斥量)来实现的,挂起线程和恢复线程都需要转入内核态去完成,阻塞或唤醒一个Java线程需要操作系统雀环CPU状态来完成,这种状态切换需要耗费处理器时间,如果同步代码块中内容过于简单,这种切换的时间可能比用户代码执行的时间还长,时间成本相对较高,这也是为什么早期的synchronized效率低的原因Java6之后,为了减少获得锁和释放锁带来的性能消耗,引入轻量级锁和偏量锁。
2、为什么每一个对象都可以成为一个锁?
-
markOop.hpp
-
monitor(监视器锁)
- JVM中的同步就是基于进入和退出管程(Monitor)对象实现的。每个对象实例都会有一个Monitor,Monitor可以和对象一起创建、销毁。Monitor是由ObjectMonitor实现,而ObjectMonitor是由C++的ObjectMonitor.hpp文件实现,如下所示:
- Mutex Lock(互斥锁)
- Monitor是在JVM底层实现的,底层代码是C++。本质是依赖于底层操作系统的Mutex Lock实现,操作系统实现线程之间的切换需要从用户态到核心态的转换,状态转换需要耗费很多的处理器时间,成本非常高。所以synchronized是Java语言中的一个重量级操作。
- Monitor与Java对象以及线程是如何关联?
- 如果一个Java对象被某个线程锁住,则该Java对象的Mark Word字段中LockWord指向monitor的起始地址
- Monitor的Owner字段会存放拥有相关对象锁的线程id
- Mutex Lock的切换需要从用户态转到核心态中,因此状态转换需要耗费很多的处理器时间。
- JVM中的同步就是基于进入和退出管程(Monitor)对象实现的。每个对象实例都会有一个Monitor,Monitor可以和对象一起创建、销毁。Monitor是由ObjectMonitor实现,而ObjectMonitor是由C++的ObjectMonitor.hpp文件实现,如下所示:
-
结合之前的synchronized和对象头说明
3、Java6开始,优化Synchronized
- Java6之后,为了减少获得锁和释放锁带来的性能消耗,引入了轻量级锁和偏向锁,也就是说,锁的使用需要有个逐步升级的过程,不要一开始就直接使用重量级锁。
三、synchronized锁种类及升级步骤
1、多线程访问情况,3种
- 只有一个线程来访问,有且唯一Only One
- 有多个线程(2个线程A、B来交替访问)
- 竞争激烈,更多个线程来访问
2、升级流程
- synchronized用的锁是存在Java对象头里的Mark Word中,锁升级功能主要依赖MarkWord中锁标志位和释放偏向锁标志位
- 锁指向,需牢记
- 偏向锁:MarkWord存储的是偏向的线程ID;
- 轻量锁:MarkWord存储的是指向线程栈中LockRecord的指针
- 重量锁:MarkWord存储的是指向堆中的monitor对象的指针。
3、无锁
3.1、案例
public class SynchronizedUpDemo {
public static void main(String[] args) {
Object o = new Object();
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
- 为什么上述hashCode值为空呢,这是因为需要调用对象hashCode方法才有
public class SynchronizedUpDemo {
public static void main(String[] args) {
Object o = new Object();
System.out.println("十进制:" + o.hashCode());
System.out.println("十六进制:" + Integer.toHexString(o.hashCode()));
System.out.println("二进制:" + Integer.toBinaryString(o.hashCode()));
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
3.2、程序不会有锁的竞争
- 无锁:初始状态,一个对象被实例化后,如果还没有被任何线程竞争锁,那么它就为无锁状态(001)
4、偏向锁
4.1、是什么?
- 偏向锁:单线程竞争
- 当线程A第一次竞争到锁时,通过操作修改MarkWord中的偏向线程ID、偏向模式。如果不存在其他线程竞争,那么持有偏向锁的线程将永远不需要进行同步。
4.2、主要作用
- 当一段同步代码一直被同一个线程多次访问,由于只有一个线程那么该线程在后续访问时便会自动获得锁
- 同一个老顾客来访,直接老规矩行方便
- 看看多线程卖票,很多时候都是同一个线程获得资源(非公平锁情况下)
class Ticket {
private int number = 50;
ReentrantLock lock = new ReentrantLock(false);
public void sale() {
lock.lock();
try {
if (number > 0) {
System.out.println(Thread.currentThread().getName() + "卖出第:\t" + (number--) + "\t 还剩下:" + number);
}
} finally {
lock.unlock();
}
}
}
public class SaleTicketDemo {
public static void main(String[] args) throws ExecutionException, InterruptedException {
Ticket ticket = new Ticket();
new Thread(() -> {
for (int i = 0; i < 55; i++) {
ticket.sale();
}
}, "a").start();
new Thread(() -> {
for (int i = 0; i < 55; i++) {
ticket.sale();
}
}, "b").start();
new Thread(() -> {
for (int i = 0; i < 55; i++) {
ticket.sale();
}
}, "c").start();
}
}
-
小结论
Hotspot的作者经过研究发现,大多数情况下:- 多线程情况下,锁不仅不存在多线程竞争,还存在锁由同一个线程多次获得的情况。
- 偏向锁就是在这种情况下出现的,它的出现是为了解决只有在一个线程执行同步时提高性能。
备注:
- 偏向锁会偏向于第一个访问锁的线程,如果在接下来的运行过程中,该锁没有被其他的线程访问,则持有偏向锁的线程将永远不需要触发同步。也即偏向锁在资源没有竞争情况下消除了同步语句,懒得连CAS操作都不做了,直接提高程序性能。
4.3、说明
- 落地理论:
- 在实际应用运行过程中发现,“锁总是同一个线程持有,很少发生竞争”,也就是说锁总是被第一个占用他的线程拥有,这个线程就是锁的偏向线程。
- 那么只需要在锁第一次被拥有的时候,记录下偏向线程ID。这样偏向线程就一致持有者锁(后续这个线程进入和退出这段加了锁的代码块时,**不需要再次加锁和释放锁。**而是直接去检查锁的MarkWord里面是不是放的自己的线程ID)。
- 如果相等,表示偏向锁是偏向于当前线程的,就不需要再尝试获得锁了,直到竞争发生才释放锁。以后每次同步,检查锁的偏向线程ID与当前线程ID是否一致,如果一致直接进入同步。无需每次加锁都去CAS更新对象头。如果自始自终使用锁的线程只有一个,很明显偏向锁几乎没有额外开销,性能极高。
- 如果不等,表示发生了竞争,锁已经不是总是偏向于同一个线程了,这个时候会尝试使用CAS来替换MarkWord里面的线程ID位新线程的ID
- 竞争成功,表示之前的线程不存在了,MarkWord里面的线程ID位新线程的ID,锁不会升级,仍然为偏向锁;
- 竞争失败,这时候可能需要升级变为轻量级锁,才能保证线程公平竞争锁。
- 注意:偏向锁只有遇到其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁,线程是不会主动释放偏向锁的。
- 技术实现:
- 一个synchronized方法被一个线程抢到了锁时,那这个方法所在的对象就会在其所在的MarkWord中将偏向锁修改状态位,同时还会有占用前54位来存储线程指针作为标识。若线程再次访问同一个synchronized方法时,该线程只需去对象头的MarkWord中去判断一下是否有偏向锁指向本身的ID,无需再进入Monitor去竞争对象了。
4.4、细化案例Account对象举例说明
4.5、偏向锁JVM命令
- 查看偏向锁信息命令
# Linux环境
java -XX:+PrintFlagsInitial | grep BiasedLock
# windows环境
java -XX:+PrintFlagsInitial | findstr BiasedLock
- 重要参数说明
4.6、案例1
public class SynchronizedUpDemo {
public static void main(String[] args) {
Object o = new Object();
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
}
- 这是由于,默认情况下偏向锁虽然是开启的,但是他会有四秒钟的延时时间。此时如果需要偏向锁立即生效,需要修改它的延时时间
# 开启偏向锁(默认)
-XX:+UseBiasedLocking
# 关闭偏向锁,会跳级进入轻量所
-XX:-UseBiasedLocking
# 关闭延时(演示偏向锁时需要开启)
-XX:BiasedLockingStartupDelay=0
4.7、案例2
- 也可以等待程序启动几秒中后,再查看对象信息,此时也是启用了偏向锁
public class SynchronizedUpDemo {
public static void main(String[] args) {
try {
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
Object o = new Object();
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
}
4.8、案例3
```java
public class SynchronizedUpDemo {
public static void main(String[] args) {
Object o = new Object();
try {
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
}
- 为什么会出现这个问题呢,比对案例2,它也是休眠了5S中,为什么不是偏向锁呢?
- 对于这个问题,我的理解“无锁->偏向锁->轻量级锁->重量级锁”这种升级流程有点错误的嫌疑,其实无锁只会升级到轻量锁,要升级到偏向锁得经过匿名偏向锁这一层。案例三种,创建对象五秒内没有线程竞争资源,已经是无锁状态了。当再有线程去竞争时会直接升级到轻量锁。
- 什么是匿名偏向锁:
- 有偏向锁标志,但是偏向锁线程指针为空
4.9、偏向锁的撤销
- 当有另外线程逐步来竞争锁的时候,就不能再使用偏向锁了,要升级为轻量级锁
- 竞争线程尝试CAS更新对象头失败,会等待到全局安全点(此时不会执行任何代码)撤销偏向锁。
- 偏向锁的撤销
- 偏向锁使用一种等到竞争出现才释放锁的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。撤销需要等待全局安全点(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行
- 第一个线程正在执行synchronized方法(处于同步块),它还没有执行完,其他线程来抢夺,该偏向锁会被取消掉并出现锁升级。此时轻量锁由原持有锁的线程持有,继续执行其同步代码,而正在竞争的线程会进入自旋等待获得该轻量锁。
- 第一个线程执行完成synchronized方法(退出同步块),则将对象设置成无锁状态并撤销偏向锁,重新偏向。
- 偏向锁使用一种等到竞争出现才释放锁的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。撤销需要等待全局安全点(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行
4.10、总体步骤流程图示
4.11、题外话
- Java15逐步废弃偏向锁(由于维护成本比较高)
5、轻量级锁
5.1、是什么?
- 多线程竞争,但是任意时刻最多只有一个线程竞争,即不存在锁竞争太过激烈的情况,也就没有线程阻塞。
5.2、主要作用
- 有线程来参与锁的竞争,但是获得锁的冲突时间极短
- 本质就是自旋锁CAS
5.3、64位标记图
5.4、轻量锁的获取
-
轻量级锁是为了在线程近乎交替执行同步块时提高性能
- 主要目的:在没有多线程竞争的前提下,通过CAS减少重量级锁使用操作系统互斥量产生的性能消耗,说白了先自旋,不行才升级阻塞。
- 升级时机:当关闭偏向锁功能或多线程竞争偏向锁会导致偏向锁升级位轻量级锁
-
假如线程A已经拿到锁,这时线程B又来抢该对象的锁,由于该对象的锁已经被线程A拿到,当前该锁已是偏向锁了。而线程B在争抢时发现对象头Mark Word中的线程ID不是线程B自己的线程ID(而是线程A),那线程B就会进行CAS操作希望获得锁。此时线程B操作中有两种情况:
- 如果锁获取成功,直接替换Mark Word中的线程ID为B自己的ID(A->B),重新偏向于其他线程(即将偏向锁交给其他线程,相当于当前线程“被”释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位;
- 如果锁获取失败,则偏向锁升级为轻量级锁(设置偏向锁标识为0并设置标志位为00),此时轻量锁由原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程B会进入自旋等待获得该轻量级锁。
- 如果锁获取成功,直接替换Mark Word中的线程ID为B自己的ID(A->B),重新偏向于其他线程(即将偏向锁交给其他线程,相当于当前线程“被”释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位;
5.4.1、轻量级锁的加锁
- JVM会为每个线程在当前线程的栈帧中创建用于存储锁记录的空间,官方称为Displaced Mak Word。若一个线程获得锁时发现是轻量级锁,会把锁的Mark Word复制到自己的Displaced Mark Word里面。然后线程尝试用CAS将锁的Mark Word替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,标识Mark Word已经被替换成了其他线程的锁记录,说明在与其他线程竞争锁,当前线程就尝试使用自旋来获取锁。
- 自旋CAS:不断尝试去获取锁,能不升级就不往上捅,尽量不要阻塞
5.4.2、轻量级锁的释放
- 在释放锁时,当前线程会使用CAS操作将Displaced Mark Word的内容复制回锁的Mark Word里面。如果没有发生竞争,那么这个复制的操作会成功。如果有其他线程因为自旋多次导致轻量级锁升级成了重量级锁,那么CAS操作会失败,此时会释放锁并唤醒被阻塞的线程。
5.6、案例
- 如果关闭偏向锁,就可以直接进入轻量级锁
-XX:-UseBiasedLocking
public class SynchronizedUpDemo {
public static void main(String[] args) {
Object o = new Object();
new Thread(() -> {
synchronized (o) {
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}, "t1").start();
}
}
5.7、自旋达到一定次数和程度
5.7.1、Java6之前
- 默认启用,默认情况下自旋的次数是10次
# 修改参数
-XX:PreBlockSpin=10
- 或者自旋线程数超过CPU核数一半
5.7.2、Java6之后
-
自适应自旋锁的大致原理
- 线程如果自旋成功了,那下次自旋的最大次数会增加,因为JVM认为既然上次成功了,那么这一次也很大概率会成功。
- 如果很少会自旋成功,那么下次会减少自旋的次数甚至不自旋,避免CPU空转。
-
自适应意味着自旋的次数不是固定不变的,而是根据同一个锁上一次自旋的时间以及用有锁线程的状态来决定
5.8、轻量锁与偏向锁的区别和不同
- 争夺轻量锁失败时,自旋尝试抢占锁(相当于偏向锁只有一个线程在抢占资源,而轻量级锁有多个)
- 轻量锁每次退出同步块需要释放锁,而偏向锁实在竞争发生时才释放锁。
6、重量级锁
6.1、是什么?
- 有大量的线程参与锁的竞争,冲突性很高
- 锁标志位
- 重量级锁 指向互斥量(重量级锁)的指针,锁标志位:10
6.2、重量级锁原理
- Java中synchronized的重量级锁,是基于进入和退出Monitor对象实现的。在编译时会将同步块的开始位置插入monitor enter指令,在结束位置插入monitor exit指令。
- 当线程执行到monitor enter指令时,会尝试获取对象所对应的Monitor所有权,如果获取到了,即获取到了锁,会在Monitor的owner中存放当前线程的id,这样它将处于锁定状态,除非退出同步块,否则其他线程无法获取到这个Monitor。
public class SynchronizedUpDemo {
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();
}
}
7、小总结
7.1、锁升级发生后,hashcode去哪了?
7.1.1、说明
7.1.2、案例1
- 当一个对象已经计算过identity hash code,它就无法进入偏向锁状态,跳过偏向锁,直接升级轻量级锁。
public class SynchronizedUpDemo {
public static void main(String[] args) {
// 计算过identity hashcode 后无法进入偏向锁
try {
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
Object o = new Object();
System.out.println("本应该是偏向锁");
System.out.println(ClassLayout.parseInstance(o).toPrintable());
o.hashCode();
synchronized (o) {
System.out.println("本应该是偏向锁,但是由于计算过一致性哈希,会直接升级为轻量级锁");
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
}
7.1.2、案例2
- 偏向锁过程中遇到一致性哈希计算请求,立马撤销偏向锁模式,膨胀为重量级锁
public class SynchronizedUpDemo {
public static void main(String[] args) {
// 偏向锁过程中遇到一致性哈希计算请求,立马撤销偏向锁,膨胀为重量级锁
try {
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
Object o = new Object();
synchronized (o) {
for (int i = 0; i < 3; i++) {
if (i == 2) {
o.hashCode();
}
System.out.println(ClassLayout.parseInstance(o).toPrintable());
}
}
}
}
7.2、各种锁的优缺点、synchronized锁升级和实现原理
-
synchronized锁升级过程总结:**一句话,就是先自旋,不行再阻塞。**实际上是把之前的悲观锁(重量级锁)变成在一定条件下使用偏向锁以及使用轻量级(自旋锁CAS)的形式
-
synchronized在修饰方法和代码块在字节码上实现方式有很大差异,但是内部实现还是基于对象头的MarkWord来实现的。JDK1.6之前syncrhonized使用的是重量级锁,JDK1.6之后进行了优化,拥有了无锁->偏向锁->轻量级锁->重量级锁的升级过程,而不是无论什么情况下都用重量级锁。
-
偏向锁:适用于单线程使用的情况,在不存在竞争的时候进入同步方法/代码块则使用偏向锁。
-
轻量级锁:适用于竞争较不激烈的情况(这和乐观锁的使用范围类似),存在竞争时升级为轻量级锁,轻量级锁采用的是自旋锁,如果同步方法/代码块执行时间很短的话,采用轻量级锁虽然会占用CPU资源但是相对比使用重量级锁还是更高效。
-
重量级锁:适用于竞争激烈的情况,如果同步方法/代码块执行时间很长,那么使用轻量级锁自旋带来的性能消耗就比使用重量级锁更严重,这时候就需要升级为重量级锁。
四、JTI编译器对锁的优化
1、JIT
- Just In Time Compiler,一般翻译为即时编译器
2、锁消除
public class LockClearUpDemo {
static Object objectLock = new Object();
public void m1() {
// synchronized (objectLock) {
// System.out.println("------hello LockClearUPDemo");
// }
// 锁消除问题,JIT编译器会无视他,synchonized(o),每次new出来,不存在了,非正常的
Object o = new Object();
synchronized (o) {
System.out.println("------hello LockClearUPDemo" + "\t" + o.hashCode() + "\t" + objectLock.hashCode());
}
}
public static void main(String[] args) {
LockClearUpDemo lockClearUpDemo = new LockClearUpDemo();
for (int i = 0; i < 10; i++) {
new Thread(() -> lockClearUpDemo.m1(), String.valueOf(i)).start();
}
}
}
3、锁粗化
- 假如方法中首尾相接,前后相邻都是同一个锁对象,那JIT编译器就会把几个synchronized块合并成一个大块,加粗加大范围,一次申请锁使用即可,避免次次的申请和释放锁,提升了性能
public class LockBigDemo {
static Object objectLock = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (objectLock) {
System.out.println("111111");
}
synchronized (objectLock) {
System.out.println("222222");
}
synchronized (objectLock) {
System.out.println("333333");
}
synchronized (objectLock) {
System.out.println("444444");
}
}, "t1").start();
}
}
- JIT会优化为:
五、小总结
- 没有锁:自由自在
- 偏向锁:唯我独尊
- 轻量锁:楚汉争霸(一般是两个)
- 重量所:群雄逐鹿