synchronized的实现原理以及锁升级详解

秃了也弱了 秃了也弱了     2022-12-01     592

关键词:


文章目录

写在前面

在多线程并发编程中 synchronized 一直是元老级角色,很多人都会称呼它为重量级锁。但是,随着 Java SE 1.6 对 synchronized 进行了各种优化之后,有些情况下它就并不那么重了。

Java SE 1.6 中为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁,在此了解一下锁的存储结构和升级过程。

synchronized的实现

Java 中的每一个对象都可以作为锁。具体表现为以下 3 种形式(此处具体代码略)。

  • 对于普通同步方法,锁是当前实例对象。
  • 对于静态同步方法,锁是当前类的 Class 对象。
  • 对于同步方法块,锁是 Synchonized 括号里配置的对象。

那么问题来了,当一个线程试图访问同步代码块时,它首先必须得到锁,退出或抛出异常时必须释放锁。那么锁到底存在哪里呢?锁里面会存储什么信息呢?

从 JVM 规范中可以看到 Synchonized 在 JVM 里的实现原理,JVM 基于进入和退出Monitor 对象来实现方法同步和代码块同步,但两者的实现细节不一样。代码块同步是使用 monitorenter 和 monitorexit 指令实现的,而方法同步是使用另外一种方式实现的,细节在 JVM 规范里并没有详细说明。但是,方法的同步同样可以使用这两个指令来实现。

monitorenter 指令是在编译后插入到同步代码块的开始位置,而 monitorexit 是插入到方法结束处和异常处,JVM 要保证每个 monitorenter 必须有对应的 monitorexit 与之配对。任何对象都有一个 monitor 与之关联,当且一个 monitor 被持有后,它将处于锁定状态。线程执行到 monitorenter 指令时,将会尝试获取对象所对应的 monitor 的所有权,即尝试获得对象的锁。

synchronized


synchronized

Java对象头

synchronized 用的锁是存在 Java 对象头里的。如果对象是数组类型,则虚拟机用 3个字宽(Word)存储对象头,如果对象是非数组类型,则用 2 字宽存储对象头。在 32位虚拟机中,1 字宽等于 4 字节,即 32bit,如下表所示。

synchronized


Java 对象头里的 Mark Word 里默认存储对象的 HashCode、分代年龄和锁标记位。32位 JVM 的 Mark Word 的默认存储结构如下表所示。

synchronized


在运行期间,Mark Word 里存储的数据会随着锁标志位的变化而变化。Mark Word可能变化为存储以下 4 种数据,如下表所示。

synchronized


在 64 位虚拟机下,Mark Word 是 64bit 大小的,其存储结构如下表所示。

synchronized

锁的升级与对比

Java SE 1.6 为了减少获得锁和释放锁带来的性能消耗,引入了“偏向锁”和“轻量级锁”。

在 Java SE 1.6 中,锁一共有 4 种状态,级别从低到高依次是:无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态,这几个状态会随着竞争情况逐渐升级。

锁可以升级但不能降级,意味着偏向锁升级成轻量级锁后不能降级成偏向锁。这种锁升级却不能降级的策略,目的是为了提高获得锁和释放锁的效率。

synchronized

无锁

无锁是指没有对资源进行锁定,所有的线程都能访问并修改同一个资源,但同时只有一个线程能修改成功。

无锁的特点是修改操作会在循环内进行,线程会不断的尝试修改共享资源。如果没有冲突就修改成功并退出,否则就会继续循环尝试。如果有多个线程修改同一个值,必定会有一个线程能修改成功,而其他修改失败的线程会不断重试直到修改成功。

偏向锁

HotSpot的作者经过研究发现,大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。

当一个线程访 问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程 ID,以后该线程在进入和退出同步块时不需要进行 CAS 操作来加锁和解锁,只需简单地测试一下对象 头的 Mark Word 里是否存储着指向当前线程的偏向锁。如果测试成功,表示线程已经获得了锁。如果测试失败,则需要再测试一下 Mark Word 中偏向锁的标识是否设置成 1(表示当前是偏向锁):如果没有设置,则使用 CAS 竞争锁;如果设置了,则尝试使用CAS 将对象头的偏向锁指向当前线程。

偏向锁的撤销

偏向锁使用了一种等到竞争出现才释放锁的机制,所以当其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁。偏向锁的撤销,需要等待全局安全点(在这个时间点上没有正在执行的字节码)。它会首先暂停拥有偏向锁的线程,然后检查持有偏向锁的线程是否活着,如果线程不处于活动状态,则将对象头设置成无锁状态;如果线程仍然活着,拥有偏向锁的栈会被执行,遍历偏向对象的锁记录,栈中的锁记录和对象头的Mark Word 要么重新偏向于其他线程,要么恢复到无锁或者标记对象不适合作为偏向锁,最后唤醒暂停的线程。

synchronized


所以,锁可以升级但不能降级,但是偏向锁状态可以被重置为无锁状态。

关闭偏向锁

偏向锁在 Java 6 和 Java 7 里是默认启用的,但是它在应用程序启动几秒钟之后才激活,如有必要可以使用 JVM 参数来关闭延迟:-XX:BiasedLockingStartupDelay=0。如果你确定应用程序里所有的锁通常情况下处于竞争状态,可以通过 JVM 参数关闭偏向锁:-XX:- UseBiasedLocking=false,那么程序默认会进入轻量级锁状态。

轻量级锁

synchronized

轻量级锁加锁

线程在执行同步块之前,JVM 会先在当前线程的栈桢中创建用于存储锁记录的空间,并将对象头中的 Mark Word 复制到锁记录中,官方称为 Displaced Mark Word。然后线程尝试使用 CAS 将对象头中的 Mark Word 替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,表示其他线程竞争锁,当前线程便尝试使用自旋来获取锁。

轻量级锁解锁

轻量级解锁时,会使用原子的 CAS 操作将 Displaced Mark Word 替换回到对象头,如果成功,则表示没有竞争发生。如果失败,表示当前锁存在竞争,锁就会膨胀成重量级锁。

因为自旋会消耗 CPU,为了避免无用的自旋(比如获得锁的线程被阻塞住了),一旦锁升级成重量级锁,就不会再恢复到轻量级锁状态。当锁处于这个状态下,其他线程试图获取锁时,都会被阻塞住,当持有锁的线程释放锁之后会唤醒这些线程,被唤醒的线程就会进行新一轮的夺锁之争。

锁的优缺点对比


优点

缺点

适用场景

偏向锁

加锁和解锁不需要额外的消耗,和执行非同步方法相比仅存在纳秒级的差距

如果线程间存在锁竞争,会带来额外的锁撤销的消耗

适用于只有一个线程访问同步块场景

轻量级锁

竞争的线程不会阻塞,提高了程序的响应速度

如果始终得不到索竞争的线程,使用自旋会消耗CPU

追求响应速度,同步块执行速度非常快

重量级锁

线程竞争不使用自旋,不会消耗CPU

线程阻塞,响应时间缓慢

追求吞吐量,同步块执行速度较慢

锁的验证

通过前面我们可以知道,通过java对象头可以看出该对象是否加了锁、加了哪种锁。

引入jar包

该jar包无法使用pom直接导入,只能下载jar包后手动导入。

jol-cli-0.10-full.jar

地址:​​org/openjdk/jol/jol-cli​​ 版本:0.10(选择自己要的版本即可)

jar:jol-cli-0.10-full.jar

synchronized

无锁

import org.openjdk.jol.info.ClassLayout;

/**
* 无锁
*/
public class NoLock
private static Object o = new Object();

public static void main(String[] args)
System.out.println(ClassLayout.parseInstance(o).toPrintable());


synchronized


其中,第一位0表示unused;第2-5位0000表示分代年龄;第6位0表示是否是偏向锁;第7-8位01是锁标志位。

该实例表示Object处于无锁状态。

偏向锁

import org.openjdk.jol.info.ClassLayout;

public class DeflectionLock
static LockT a;
static class LockT

public static void main(String[] args) throws Exception
// 虚拟机启动时对偏向锁有延时
Thread.sleep(5000);
// 使用这种方式会将a编程偏向锁,即使不加synchronized也是偏向锁,不知道为啥。。。。
a = new LockT();
synchronized (a)
System.out.println("Locking...");
System.out.println(ClassLayout.parseInstance(a).toPrintable());


synchronized


后面的101表示偏向锁。

轻量级锁

import org.openjdk.jol.info.ClassLayout;

public class LightweightLocking
static LockT a;
static class LockT

public static void main(String[] args) throws InterruptedException
// 虚拟机启动时对偏向锁有延时
Thread.sleep(5000L);
a = new LockT();
// 偏向锁
System.out.println(ClassLayout.parseInstance(a).toPrintable());

Thread thread1 = new Thread(LightweightLocking::lock);
thread1.start();
System.out.println("thread1的id:"+thread1.getId());

// 加个睡眠是怕上面的线程没有执行完成而形成线程争用而升级为重量级锁
Thread.sleep(3000L);
// 成为轻量级锁
lock();
// 锁撤销为无锁
System.out.println(ClassLayout.parseInstance(a).toPrintable());


private static void lock()
synchronized (a)
System.out.println(ClassLayout.parseInstance(a).toPrintable());


synchronized

重量级锁

import org.openjdk.jol.info.ClassLayout;

public class HeavyweightLock
static LockT a;
static class LockT

public static void main(String[] args) throws InterruptedException
// 虚拟机启动时对偏向锁有延时
Thread.sleep(5000L);
a = new LockT();

System.out.println(ClassLayout.parseInstance(a).toPrintable());

new Thread(HeavyweightLock::lock).start();

lock();

System.out.println(ClassLayout.parseInstance(a).toPrintable());


private static void lock()
synchronized (a)
System.out.println(ClassLayout.parseInstance(a).toPrintable());


synchronized

参考资料

《java并发编程的艺术》

本节一些内容参考了 HotSpot 源码、对象头源码 markOop.hpp、偏向锁源码 biasedLocking.cpp,以及其他源码 ObjectMonitor.cpp 和 BasicLock.cpp

​JUC学习 - 锁升级​

​锁(synchronized)升级过程(java)​


synchronize底层实现原理以及相关的优化

首先来说下synchronize和Lock的区别:两者都是锁,用来控制并发冲突,区别在于Lock是个接口,提供的功能更加丰富,除了这个外,他们还有如下区别:synchronize自动释放锁,而Lock必须手动释放,并且代码中出现异常会导致unlock代... 查看详情

synchronize底层实现原理以及相关的优化(代码片段)

...:https://blog.csdn.net/zc19921215/article/details/84780335首先来说下synchronize和Lock的区别:两者都是锁,用来控制并发冲突,区别在于Lock是个接口,提供的功能更加丰富,除了这个外,他们还有如下区别:synchronize自动释放锁,而Lock必须... 查看详情

synchronized关键字实现原理

目录一、synchronize关键字概述二、synchronized关键字实现原理三、为什么采用自旋而不是等待四、忙循环概述五、synchronize锁升级原理1、偏向锁为轻量级锁过程2、轻量级升级为重量级锁过程3、锁的升级的目的六、偏向锁概述七、... 查看详情

synchronized关键字实现原理

目录一、synchronize关键字概述二、synchronized关键字实现原理三、为什么采用自旋而不是等待四、忙循环概述五、synchronize锁升级原理1、偏向锁为轻量级锁过程2、轻量级升级为重量级锁过程3、锁的升级的目的六、偏向锁概述七、... 查看详情

java中锁升级的探究(代码片段)

...现原理锁升级过程锁升级原理锁升级概述JDK1.6之前,synchronized还是一个重量级锁,是一个效率比较低下的锁。但是在JDK1.6后,JVM为了提高锁的获取与释放效率对synchronized进行了优化,引入了 查看详情

synchronized和lock锁在jvm中的实现原理以及代码解析(代码片段)

一、深入JVM锁机制:synchronizedsynrhronized关键字简洁、清晰、语义明确,因此即使有了Lock接口,使用的还是非常广泛。其应用层的语义是可以把任何一个非null对象作为"锁",当synchronized作用在方法上时,锁住的便是对象实例(this... 查看详情

synchronized和锁升级(代码片段)

文章目录1、Synchronized关键字2、无锁3、偏向锁3.1、是什么3.2、核心原理3.3、加载过程3.4、偏向锁的膨胀和撤销4、轻量级锁4.1、是什么4.2、核心原理4.3、轻量级锁的膨胀5、重量级锁5.1、是什么5.2、核心原理锁升级发生后,hashc... 查看详情

synchronized原理使用锁升级过程,写到我要吐血了(代码片段)

本文目录1.锁的分类2.synchronized含义3.synchronized三种加锁方式1.修饰实例方法2.修饰静态方法3修饰代码块1.变量锁2.实例对象锁3.当前类的Class对象锁4.synchronized底层原理1.Monitor管程对象1.ObjectMonitor对象属性说明2.ObjectMonitor工作流程3.J... 查看详情

synchronized锁升级

文章目录一、Synchronized基本特点二、Synchronized锁升级一、Synchronized基本特点开始是轻量级锁,如果锁被持有时间很长变为重量级锁实现轻量级锁的时候大概率使用自旋锁(CAS实现)开始是乐观锁,如果锁冲突概率... 查看详情

java多线程synchronized锁方法和块使用详解锁竞争本质原理只与锁对象有关与位置无关

首先要明确synchronized什么时候会出现锁竞争即当锁对象相同的时候会出现锁竞争包含两个范畴锁对象来源和同步代码块位于什么位置锁对象来源1.synchronized(this)代码块和publicsynchronizedvoidtest()方法它们的锁都是当前类的实例对象2.s... 查看详情

synchronized的底层实现

JDK早期的重量级-OS后来的改进中,产生锁升级的概念sync(Object)markword记录这个线程的ID(偏向锁)如果线程争用:升级为自旋锁10次以后,升级为重量级锁-OS总结换行时间短(加锁代码),线程较少,用自旋换行时间长,线程较多,用... 查看详情

javasynchronized原理

Javasynchronized原理文章目录Javasynchronized原理对象在内存中的布局不同状态的锁轻量级锁为什么会有轻量级锁?轻量锁的加锁轻量锁的解锁偏向锁为什么会有偏向锁?偏向锁的加锁偏向锁的撤销重量级锁锁的不同状态关系流... 查看详情

synchronized和lock详解(代码片段)

一、synchronized原理详解  1.设计同步器的意义    多线程可能会同时访问一个共享、可变的资源,这个资源称之为临界资源,需要同步机制来协同对象可变状态的访问,同步器的本质就是加锁,即同一时刻只能有同一个线... 查看详情

synchronized(代码片段)

文章目录定义应用场景对象在JVM中对象的布局JVM通过synchronized在对象上加锁实现原理JDK6以前实现步骤JDK6版本及以后对象从无锁到偏向锁转化的过程轻量级锁升级自旋锁重量级锁定义Synchronized是Java语言的关键字,它保证同一... 查看详情

synchronized实现原理及其优化-(自旋锁,偏向锁,轻量锁,重量锁)(代码片段)

1.synchronized概述:  synchronized修饰的方法或代码块相当于并发中的临界区,即在同一时刻jvm只允许一个线程进入执行。synchronized是通过锁机制实现同一时刻只允许一个线程来访问共享资源的。另外synchronized锁机制还可以保证线... 查看详情

synchronized的实现原理及锁优化(代码片段)

... 记得刚刚开始学习Java的时候,一遇到多线程情况就是synchronized。对于当时的我们来说,synchronized是如此的神奇且强大。我们赋予它一个名字“同步”,也成为我们解决多线程情况的良药,百试不爽。但是,随着学习的深入,... 查看详情

synchronized实现原理

  synchronized实现同步的基础:java中每个对象都可以作为锁,如下:对于普通同步方法,锁是当前实例对象对于静态同步方法,锁是当前类的Class对象对于同步方法块,锁是synchronized括号里配置的对象当一个线程试图访问同步代... 查看详情

并发编程——synchronized优化原理

...我的个人网站看看:耶瞳空间一:基本概念使用synchronized实现线程同步,即加锁,实现的是悲观锁。加锁可以使一段代码在同一时间只有一个线程可以访问,在增加安全性的同时,牺牲掉的是程序的执行性... 查看详情