【JAVA学习笔记】synchronized的实现,以及锁的升级、降级

首先,我们要知道一个知识点,就是synchronized的实现是通过monitorenter/monitorexit 指令实现的。

每个对象都有Monitor(监视器锁),当monitor被占用的时候,对象进入锁定状态

monitorenter:线程通过monitorenter指令尝试获取monitor所有权,情况如下:

1、如果monitor的进入数为0,则该线程进入,进入数设置为1,线程占有monitor

2、如果该线程已经占有了monitor,只是重新进入,则进入数+1

3、如果已经有别的形成占有了monitor,则该线程进入阻塞状态,知道monitor的进入数为0,再重新尝试获取monitor

monitorexit:

  执行monitorexit的线程必须是objectref所对应的monitor的所有者。

  指令执行时,monitor的进入数减1,如果减1后进入数为0,那线程退出monitor,不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个 monitor 的所有权。

  Synchronized的语义底层是通过一个monitor的对象来完成,其实wait/notify等方法也依赖于monitor对象,这就是为什么只有在同步的块或者方法中才能调用wait/notify等方法,否则会抛出java.lang.IllegalMonitorStateException的异常的原因。

在java6以前,monitor的实现完全依靠操作系统内部的互斥锁(因为需要在user space和kernel space间切换),所以这时期的同步操作时一个无差别的重量级操作,也就没有锁的升级降级概念。

在后来的jdk中,提供了三种不同的Monitor实现,既三种不同的锁:偏斜锁、轻量级锁、重量级锁

锁的升级、降级:就是JVM优化synchronized运行的机制,当jvm检测到不同的竞争状况时,会自动的切换到合适的锁实现

锁升级:

1、当没有竞争出现时,默认会使用偏斜锁。JVM 会利用 CAS操作,在对象头上的Mark Word部分设置线程ID,以表示这个对象偏向于当前线程,所以并不涉及真正的互斥锁。这样做的假设是基于在很多应用场景中,大部分对象生命周期中最多会被一个线程锁定,使用偏斜锁可以降低无竞争开销。

2、有竞争出现时,当有另外的线程试图锁定某个已经被偏斜锁锁定的对象,jvm就会撤销revoke偏斜锁,并切换到轻量级锁。轻量级锁依赖CAS操作Mark Word来试图获取锁,如果成功,就使用轻量级锁,否则继续升级未重量级锁

PS:锁降级也是存在的,当JVM进入SafePoint安全点的时候,会检查是否有闲置的Monitor,然后试图进行降级。

猜你喜欢

转载自blog.csdn.net/u010530712/article/details/87690970