synchronized底层原理（一）

文章目录

    • 1. 问题引入
    • 2. 相关概念
    • 3. Synchronized使用
    • 4. Synchronized底层原理
      • 1. 简介
      • 2. Monitor（管程/监视器）
      • 3. Java语言的内置管程synchronized
      • 4. Java对象的内存布局
      • 5. 如何使用MarkWord记录锁状态
      • 6. 偏向锁
      • 7. 轻量级锁

1. 问题引入

假设我们有1000个线程对变量i进行++操作，有1000个线程同时对i做–操作，最后的结果是0吗？结果显而易见是不确定的，由于++和–并不是一个原子操作，所以多线程环境下进行++操作和–操作时结果是不确定的 ，++和–操作JVM字节码指令如下：

getstatic i //获取静态变量i得值
iconst_1 //将1压入操作数栈
iadd //自增
putstaitc i //将修改后的值存入静态变量i

getstatic i //获取静态变量i得值
iconst_1 //将1压入操作数栈
isub //自增
putstaitc i //将修改后的值存入静态变量i

在这里插入图片描述

多线程下上面八行代码是随机执行的。

在这里插入图片描述

2. 相关概念

  • 临界区

一段代码块内如果存在对共享资源的多线程读写操作，称这块代码为临界区，其共享资源被称为临界资源。

  • 竞态条件

多个线程载临界区内执行，由于代码的执行序列不同导致结果无法预测，称之为发生了竞态条件。

3. Synchronized使用

synchronized 同步块是 Java 提供的一种原子性内置锁，Java 中的每个对象都可以把它当作 一个同步锁来使用，这些 Java 内置的使用者看不到的锁被称为内置锁，也叫作监视器锁。

在这里插入图片描述

4. Synchronized底层原理

1. 简介

synchronized是JVM内置锁，基于Monitor机制实现，依赖底层操作系统的互斥原语Mutex(互斥量)，它是一个重量级锁，性能较低。当然，JVM内置锁在1.5之后版本做了重大的 优化，如锁粗化(Lock Coarsening)、锁消除(Lock Elimination)、轻量级锁(Lightweight Locking)、偏向锁(Biased Locking)、自适应自旋(Adaptive Spinning)等技术来减少锁操 作的开销，内置锁的并发性能已经基本与Lock持平。

Java虚拟机通过一个同步结构支持方法和方法中的指令序列的同步:monitor。同步方法是通过方法中的access_flags中设置ACC_SYNCHRONIZED标志来实现;同步代码块是通过monitorenter和monitorexit来实现。两个指令的执行是JVM通过调用操作系统的互斥 原语mutex来实现，被阻塞的线程会被挂起、等待重新调度，会导致“用户态和内核态”两个态之间来回切换，对性能有较大影响。

2. Monitor（管程/监视器）

Monitor，直译为“监视器”，而操作系统翻译为管程。管程是指管理共享变量以及对共享变量操作的过程，让它们支持并发。载Java1.5之前，Java语言提供的唯一并发语言就是管程，Java 1.5之后提供的SDK并法包也是以管程为基础的。synchronized关键字和wait()、notify()、notifyAll()这三个方法是java中实现管程技术的组成部分。

MESA模型

在管程的发展史上，先后出现过三种不同的管程模型，分别是Hasen模型、Hoare模型和MESA模型。现在正在广泛使用的是MESA模型。下面我们便介绍MESA模型:
在这里插入图片描述
管程中引入了条件变量的概念，而且每个条件变量都对应有一个等待队列。条件变量和等待队列的作用是解决线程之间的同步问题。

  • wait()的正确使用姿势

对于MEAS管程来说，有一个编程范式：

while(条件不满足){wait();
}

唤醒的时间和获取到锁继续执行的时间是不一致的，被唤醒的线程再次执行时可能条件又不满足了，所以循环检验条件。MESA模型的wait()方法还有一个超时参数，为了避免线程进入等待队列永久阻塞。

  • notify()和notifyAll()分别何时使用

满足以下三个条件时，可以使用notify()，其余情况尽量使用notifyAll():

  1. 所有等待线程拥有相同的等待条件;
  2. 所有等待线程被唤醒后，执行相同的操作;
  3. 只需要唤醒一个线程。

3. Java语言的内置管程synchronized

Java 参考了 MESA 模型，语言内置的管程(synchronized)对 MESA 模型进行了精简。MESA 模型中，条件变量可以有多个，Java 语言内置的管程里只有一个条件变量。模型如下图所示。

在这里插入图片描述

java.lang.Object 类定义了 wait()，notify()，notifyAll() 方法，这些方法的具体实现，依赖于ObjectMonitor 实现，这是 JVM 内部基于 C++ 实现的一套机制。

ObjectMonitor(){_header = NULL; //对象头 markOop_count = 0;_waiters = 0,_recursions = 0; // 锁的重入次数_object = NULL; //存储锁对象_owner = NULL; // 标识拥有该monitor的线程(当前获取锁的线程，这里使用CAS更新)_WaitSet = NULL; // 等待线程(调用wait)组成的双向循环链表，_WaitSet是第一个节点_WaitSetLock = 0 ;_Responsible = NULL ;_succ = NULL ;_cxq = NULL ; //多线程竞争锁会先存到这个单向链表中 (FILO栈结构)FreeNext = NULL ;_EntryList = NULL ; //存放在进入或重新进入时被阻塞(blocked)的线程 (也是存竞争锁失败的线程)_SpinFreq = 0 ;_SpinClock = 0 ;OwnerIsThread = 0 ;_previous_owner_tid = 0;}

在这里插入图片描述

在获取锁时，是将当前线程插入到cxq的头部，而释放锁时，默认策略(QMode=0)是:如果EntryList为空，则将 cxq中的元素按原有顺序插入到EntryList，并唤醒第一个线程，也就是当EntryList为空时，是后来的线程先获取锁。_EntryList不为空，直接从_EntryList中唤醒线程。

思考：synchronized加锁加在对象上，锁对象是如何记录锁状态的?

4. Java对象的内存布局

回到上节留下的思考题：

Hotspot虚拟机中，对象在内存中存储的布局可以分为三块区域:对象头(Header)、实例数据 (Instance Data)和对齐填充(Padding)。
对象头:比如 hash码，对象所属的年代，对象锁，锁状态标志，偏向锁(线程)ID， 偏向时间，数组长度(数组对象才有)等。
实例数据:存放类的属性数据信息，包括父类的属性信息;
对齐填充:由于虚拟机要求 对象起始地址必须是8字节的整数倍。填充数据不是必须存 在的，仅仅是为了字节对齐。

在这里插入图片描述

  • Mark Word

用于存储对象自身的运行时数据，如哈希码(HashCode)、GC分代年龄、锁状态标志、线
程持有的锁、偏向线程ID、偏向时间戳等，这部分数据的长度在32位和64位的虚拟机中分别为 32bit和64bit，官方称它为“Mark Word”。

  • klass point（元数据指针）

对象头的另外一部分是klass类型指针，即对象指向它的类元数据的指针，虚拟机通过这个指 针来确定这个对象是哪个类的实例。 32位4字节，64位开启指针压缩或最大堆内存<32g时4字节，否则8字节。jdk1.8默认开启指针压缩后为4字节，当在JVM参数中关闭指针压缩(-XX:- UseCompressedOops)后，长度为8字节。

  • 数组长度（只有数组对象有）

如果对象是一个数组, 那在对象头中还必须有一块数据用于记录数组长度。 4字节

在这里插入图片描述

new Object()对象创建后占几个字节：64位机Mark Word占用8字节，klass pointer采用了指针压缩技术占用4个字节，然后填充为8字节的整数倍，所以Object对象占用16个字节（其不包含实例数据）。下面使用JOL来验证一下：

  • 使用JOL工具查看内存布局
  1. 导入maven依赖
 <dependency><groupId>org.openjdk.jol</groupId><artifactId>jol-core</artifactId><version>0.16</version></dependency>
  1. 使用
public class Main {public static void main(String[] args) {Object ob=new Object();System.out.println(ClassLayout.parseInstance(ob).toPrintable());}
}
  1. 打印结果

在这里插入图片描述
可以发现一个Object对象就是16个字节

5. 如何使用MarkWord记录锁状态

Hotspot通过markOop类型实现Mark Word，具体实现位于markOop.hpp文件中。由于对象需要存储的运行时数据很多，考虑到虚拟机的内存使用，markOop被设计成一个非固定的数据结构，以便在极小的空间存储尽量多的数据，根据对象的状态复用自己的存储空间。 简单点理解就是:MarkWord 结构搞得这么复杂，是因为需要节省内存，让同一个内存区域在不同阶段有不同的用处。

  • Mark Word结构

32位在这里插入图片描述
64位
在这里插入图片描述

可以简单了将Mark word总结如下：

  enum{locked_value=0,//00轻量级锁unlocked_value = 1, //001 无锁monitor_value = 2, //10 监视器锁，也叫膨胀锁，也叫重量级锁marked_value = 3, //11 GC标记biased_lock_pattern = 5 //101 偏向锁};

在这里插入图片描述

下面来测试一个奇怪的现象：

我们知道无锁状态下，锁标记位置为01，如果我们现在给ob对象加锁，再来看下锁标记位。

public class Main {public static void main(String[] args) {Object ob=new Object();synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}}
}

在这里插入图片描述

可以发现锁标记位变成了00，我们都知道synchronized是重量级锁，按照道理应该是10，这其实是JVM在对对象加锁时，做了一个锁延迟的优化，它会根据情况给对象加上轻量级锁、偏向锁和重量级锁。下面来详细介绍：

6. 偏向锁

偏向锁是一种针对加锁操作的优化手段，经过研究发现，在大多数情况下，锁不仅不存在多线程竞争，而且总是由同一线程多次获得，因此为了消除数据在无竞争情况下锁重入(CAS操作)的开销而引入偏向锁。对于没有锁竞争的场合，偏向锁有很好的优化效果。当JVM启用了偏向锁模式(jdk6默认开启)，新创建对象的Mark Word中的Thread Id为0， 说明此时处于可偏向但未偏向任何线程，也叫做匿名偏向状态(anonymously biased)。

  • 偏向锁延迟偏向

延迟偏向是一种优化机制，用于减少偏向锁的争用。在JVM中，偏向锁是为了在无竞争的情况下提高性能而设计的，允许最初获取锁的线程在未释放锁的情况下重新获取锁，而无需付出昂贵的同步代价。延迟偏向是指在对象第一次被线程获取锁时，并不立即标记为偏向锁，而是在之后的一段时间内，如果发现该线程频繁地获取该锁，才会将对象标记为偏向锁。这样，如果对象的锁实际上是被多个线程竞争的，就避免了不必要的偏向锁状态的设置，减少了额外的性能开销。延迟偏向的优势在于，它允许系统在运行时动态地选择是否启用偏向锁，从而更好地适应实际的应用场景。如果在程序的执行过程中，某个对象的锁一直只被一个线程所持有，那么延迟偏向可以有效减少锁的竞争，提高性能。如果发现有多个线程在竞争同一个锁，系统就可以决定不再启用偏向锁，以避免额外的性能损失。延迟偏向是在JDK 6 的一种改进，通过这种方式，Java虚拟机可以更智能地管理偏向锁，以适应不同的应用场景。在实际编程中，对于多线程竞争不激烈的场景，偏向锁和延迟偏向能够带来一定的性能优势。

偏向锁模式存在偏向锁延迟机制:HotSpot 虚拟机在启动后有个4s 的延迟才会对每个新建的对象开启偏向锁模式。JVM启动时会进行一系列的复杂活动，比如装载配置，系统类初始化等等。在这个过程中会使用大量synchronized关键字对对象加锁，且这些锁大多数都不是偏向锁。 为了减少初始化时间，JVM默认延时加载偏向锁。

public class Main {public static void main(String[] args) throws InterruptedException {Thread.sleep(5000);Object ob=new Object();synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}}

在这里插入图片描述

可以发现锁标记位变成了01，开启了偏向锁，obj是4s后创建的对象，所以会默认开始偏向，此时偏向的线程为0，处于匿名偏向状态。

偏向锁撤销之调用对象HashCode

调用锁对象的obj.hashCode()System.identityHashCode(obj)方法会导致该对象的偏向锁被撤销。因为对于一个对象，其HashCode只会生成一次并保存，偏向锁是没有地方保存 hashcode的。

  • 轻量级锁会在锁记录中记录 hashCode
  • 重量级锁会在 Monitor 中记录 hashCode

当对象处于可偏向(也就是线程ID为0)和已偏向的状态下，调用HashCode计算将会使对象再也无法偏向:

  • 当对象可偏向时，MarkWord将变成未锁定状态，并只能升级成轻量锁（正常情况）;
  • 当对象正处于偏向锁时，调用HashCode将使偏向锁强制升级成重量锁。

偏向锁撤销之调用wait/notify

偏向锁状态执行obj.notify() 会升级为轻量级锁，调用obj.wait(timeout) 会升级为重量级锁。

7. 轻量级锁

倘若偏向锁失败，虚拟机并不会立即升级为重量级锁，它还会尝试使用一种称为轻量级锁的优化手段，此时Mark Word 的结构也变为轻量级锁的结构。轻量级锁所适应的场景是线程交替执行同步块的场合（发生轻微竞争），如果存在同一时间多个线程访问同一把锁的场合，就会导致轻量级锁膨胀为重量级锁。

观察几个状态，分析偏向锁是如何升级为轻量级锁的

public class Main {public static void main(String[] args) throws InterruptedException {Thread.sleep(5000);Object ob=new Object();new Thread(()->{synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}},"t1").start();Thread.sleep(3000);new Thread(()->{synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}},"t2").start();}
}

在这里插入图片描述

观察上面代码线程1和线程2都是偏向锁，原因是两个线程并没有发生竞争，因为Thread.sleep(3000);让t1先执行完，然后执行t2，如果延迟t1的生命周期，然后让两个线程共同执行。

public class Main {public static void main(String[] args) throws InterruptedException {Thread.sleep(5000);Object ob=new Object();new Thread(()->{synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}try {Thread.sleep(2000);} catch (InterruptedException e) {throw new RuntimeException(e);}},"t1").start();Thread.sleep(1000);new Thread(()->{synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}},"t2").start();}
}

在这里插入图片描述

可以发现偏向锁升级为了轻量级锁，如果一个对象虽然有多线程要加锁，但加锁的时间是错开的（也就是没有竞争），那么可以使用轻量级锁来优化。

另一个场景是，轻量级别锁解锁后变为无锁

public class Main {public static void main(String[] args) throws InterruptedException {Object ob=new Object();System.out.println(ClassLayout.parseInstance(ob).toPrintable());new Thread(()->{synchronized (ob) {System.out.println(ClassLayout.parseInstance(ob).toPrintable());}},"t1").start();Thread.sleep(2000);System.out.println(ClassLayout.parseInstance(ob).toPrintable());}
}

上面代码首先创建Object对象，因为延迟偏向的存在，synchronized会给obj加上轻量级锁，然后我们看代码输出。

在这里插入图片描述

首先输出是无锁状态，显而易见，然后输出轻量级锁这是延迟偏向的原因，最后输出的无锁状态，所以当共享资源没有加锁时，轻量级锁会变为无锁状态（这是为了其它线程能够获取锁）。

在这里插入图片描述

下一节我们再详细分析底层源码

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/245335.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Java项目学生管理系统四编辑学生

Java项目学生管理系统四编辑学生

编辑学生 欢迎阅读本篇博客&#xff0c;今天我们将继续探索Java项目学生管理系统的功能&#xff0c;重点关注学生信息的修改模块。在学生管理系统中&#xff0c;修改学生信息是一个关键操作&#xff0c;通过该功能可以方便地更新学生的个人信息、成绩以及其他相关数据。通过本…
阅读更多...
Android滑动列表索引波浪侧边栏与电话拨打功能

Android滑动列表索引波浪侧边栏与电话拨打功能

✍️作者简介&#xff1a;大鹏编码&#xff08;专注于HarmonyOS、Java、Android、Web、TCP/IP等技术方向&#xff09; &#x1f433;博客主页&#xff1a; 开源中国、稀土掘金、51cto博客、知乎、简书、CSDN &#x1f514;如果文章对您有一定的帮助请&#x1f449;关注✨、点赞…
阅读更多...
NIFI源码编译部署在服务器CentOS环境中

NIFI源码编译部署在服务器CentOS环境中

一、下载Apache NiFi源码&#xff1a; Apache NiFi官网地址&#xff0c;文档 Apache NiFi源码GitHub地址 二、部署nifi 2.1进入opt目录&#xff0c;并创建software、module [rootlocalhost /]# cd /opt/ [rootlocalhost opt]# ls containerd [rootlocalhost opt]# mkdir s…
阅读更多...
外包干了4年，技术退步太明显了。。。。。

外包干了4年，技术退步太明显了。。。。。

先说一下自己的情况&#xff0c;本科生生&#xff0c;18年通过校招进入武汉某软件公司&#xff0c;干了接近4年的功能测试&#xff0c;今年国庆&#xff0c;感觉自己不能够在这样下去了&#xff0c;长时间呆在一个舒适的环境会让一个人堕落!而我已经在一个企业干了四年的功能测…
阅读更多...
抓取Chrome所有版本密码

抓取Chrome所有版本密码

谷歌浏览器存储密码的方式 在使用谷歌浏览器时,如果我们输入某个网站的账号密码,他会自动问我们是否要保存密码,以便下次登录的时候自动填写账号和密码 在设置中可以找到登录账户和密码 也可以直接看密码,不过需要凭证 这其实是windows的DPAPI机制 DPAPI Data Protection Ap…
阅读更多...
NFTScan | 11.27~12.03 NFT 市场热点汇总

NFTScan | 11.27~12.03 NFT 市场热点汇总

欢迎来到由 NFT 基础设施 NFTScan 出品的 NFT 生态热点事件每周汇总。 周期&#xff1a;2023.11.20~ 2023.11.26 NFT Hot News 01/ Web3 教育平台 Open Campus 获 Binance Labs 315 万美元投资 11 月 27 日&#xff0c;Binance Labs 已向社区主导的 Web3 教育平台 Open Campu…
阅读更多...
FFmpeg之将视频转为16:9(横屏)或9:16(竖屏)(三十六)

FFmpeg之将视频转为16:9(横屏)或9:16(竖屏)(三十六)

简介： CSDN博客专家，专注Android/Linux系统，分享多mic语音方案、音视频、编解码等技术，与大家一起成长！ 优质专栏：Audio工程师进阶系列【原创干货持续更新中……】🚀 优质专栏：多媒体系统工程师系列【原创干货持续更新中……】🚀 人生格言： 人生从来没有捷径，只…
阅读更多...
Python快速配置爬虫代码示例

Python快速配置爬虫代码示例

在当今数字化时代&#xff0c;信息爆炸已成为常态。数据是现代商业的核心&#xff0c;而爬虫程序是获取数据的重要工具。Python作为一门通用编程语言&#xff0c;提供了许多方便快捷的库来配置爬虫代码。下面是一个简单的Python爬虫代码示例&#xff0c;帮助你快速上手。 首先…
阅读更多...
C++ ： 友元

C++ ： 友元

不能从外部访问类的私有数据成员和方法&#xff0c;但这条规则不适用于友元类和友元函数。要声明友元 类或友元函数&#xff0c;可使用关键字 friend&#xff0c;通过让函数成为类的友元&#xff0c;可以赋予该函数与类的成员函数 同的访问权限。 生活中你的家有客厅 (Public)…
阅读更多...
蓝桥杯每日一题2023.12.4

蓝桥杯每日一题2023.12.4

题目描述 竞赛中心 - 蓝桥云课 (lanqiao.cn) 题目分析 本题使用树型DP&#xff0c;蓝桥杯官网出现了一个点的错误&#xff0c;但实际答案是正确的 状态表示&#xff1a;f[u]&#xff1a;在以u为根的子树中包含u的所有联通块的权值的最大值 假设s1&#xff0c;s2,…sk 是u的…
阅读更多...
如何打印社保参保凭证

如何打印社保参保凭证

西安市&#xff1a; 陕西政务服务网&#xff1a; 个人服务 珠海市&#xff1a; 广东政务服务网&#xff1a; 用户登录 | 珠海市人力资源和社会保障网上服务平台 武汉市&#xff1a; 湖北政务服务网&#xff1a; 湖北政务服务网
阅读更多...
涵盖多种功能，龙讯旷腾Module第三期：光、磁、力学和极化性质

涵盖多种功能，龙讯旷腾Module第三期：光、磁、力学和极化性质

Module是什么 在PWmat的基础功能上&#xff0c;我们针对用户的使用需求开发了一些顶层模块&#xff08;Module&#xff09;。这些Module中的一部分是与已有的优秀工具的接口&#xff0c;一部分是以PWmat的计算结果为基础得到实际需要的物理量&#xff0c;一部分则是为特定的计…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023