【JavaEE】synchronized 原理

在这里插入图片描述

文章目录

  • 前言
  • synchronized 的加锁过程
    • 1.无锁 -> 偏向锁
    • 2. 偏向锁 -> 轻量级锁
    • 3. 轻量级锁 -> 重量级锁
  • 锁的优化操作
    • 1. 锁消除
    • 2. 锁粗化
  • 相关面试题

前言

前面我们学习了关于JavaEE多线程方面的锁策略以及 synchronized 分别对应哪些锁策略,并且我们还了解了关于 CAS 操作在某些情境下不需要加锁而避免因竞争锁造成的阻塞等待状态。今天我将为大家分享 synchronized 的加锁过程以及编译器对加锁过程的一些优化操作。

synchronized 的加锁过程

当我们使用 synchronized 进行枷锁的时候,往往不是立即就对该线程进行加锁的,而是需要经过一个 无锁 -> 偏向锁 -> 轻量级锁 -> 重量级锁 的过程,那么接下来我们来看看这个过程是如何进行的。

在这里插入图片描述

synchronized 在 Java 6 之后进行了优化,引入了无锁、偏向锁、轻量级锁和重量级锁四种状态,这四种状态会随着竞争情况逐渐升级。锁可以升级但不能降级。

1.无锁 -> 偏向锁

当我们使用 synchronized 进行加锁的时候,并不会立即从 无锁的状态转换为加锁 的状态的,而是会先处于一个偏向锁的状态,什么叫做偏向锁呢?

偏向锁并不是真正的“加锁”,而是给对象头中做一个“偏向锁的标记”,记录这个锁属于哪个线程。如果后续没有其他线程来竞争该锁,那么就不用进行其他同步操作了(避免了加锁解锁的开销);如果后续有其他线程来竞争该锁(刚才已经在锁对象中记录了当前锁属于哪个线程了,很容易识别当前申请锁的线程是不是之前记录的线程), 那就取消原来的偏向锁状态, 进入一般的轻量级锁状态。

偏向锁就有点类似于前面我们学习单例模式时候的懒汉模式,就是能不加锁的时候就尽量不加锁,避免不必要的开销。

2. 偏向锁 -> 轻量级锁

当有其他线程开始跟当前线程竞争锁的时候,因为该线程已经在对象头中进行了标记,那么该线程就可以直接获取到这个锁,进入轻量级锁的状态,这个轻量级锁也就是自适应的自旋锁,而这个自旋锁就是由 CAS操作实现的,防止进入内核态操作使线程进入阻塞等待状态。

  • 通过 CAS 检查并更新一块内存 (比如 null => 该线程引用)
  • 如果更新成功, 则认为加锁成功
  • 如果更新失败, 则认为锁被占用, 继续自旋式的等待(并不放弃 CPU)

3. 轻量级锁 -> 重量级锁

如果后面发生锁竞争比较激烈的话,synchronized 就会从 轻量级锁转换为重量级锁(挂起等待锁)会使线程进入阻塞等待状态。

  • 执行加锁操作, 先进入内核态.
  • 在内核态判定当前锁是否已经被占用
  • 如果该锁没有占用, 则加锁成功, 并切换回用户态.
  • 如果该锁被占用, 则加锁失败. 此时线程进入锁的等待队列, 挂起. 等待被操作系统唤醒.
  • 经历了一系列的沧海桑田, 这个锁被其他线程释放了, 操作系统也想起了这个挂起的线程, 于是唤醒
    这个线程, 尝试重新获取锁

锁的优化操作

  1. 锁消除
  2. 锁粗化

1. 锁消除

Java 锁消除(Lock Elimination)是 Java 虚拟机(JVM)中的一种优化技术,用于消除不必要的同步锁操作,从而提高程序的性能和并发性。

在 Java 中,synchronized 关键字可以用于实现同步和互斥,以确保多个线程对共享资源的访问的正确性。然而,synchronized 也会引入一定的开销,包括获取锁、执行同步代码块、释放锁等操作的时间成本,以及可能导致线程阻塞和上下文切换的代价。

为了减少 synchronized 带来的开销,JVM 使用了锁消除优化技术。锁消除的基本原理是:如果 JVM 检测到某个同步代码块中不存在共享数据的竞争访问,即该代码块不会被多个线程同时访问,那么 JVM 可以安全地消除该代码块的同步锁操作。

public class Demo2 {private static int num;public static void main(String[] args) {synchronized (Demo2.class) {for(int i = 0; i < 10; i++) {num += i;}System.out.println(num);}}
}

在这个例子中,synchronized 代码块中只有一个成员变量 num,并且没有其他线程可以访问到它。因此,JVM 可以安全地消除该代码块的同步锁操作,从而提高程序的性能。

需要注意的是,锁消除只是一种优化技术,不能保证在所有情况下都能消除同步锁操作。此外,如果程序中存在真正的并发竞争访问,那么使用 synchronized 仍然是必要的,以确保数据的正确性和一致性。

锁消除是编译器在编译阶段就进行的操作,而偏向锁则是在代码的运行过程中实现的。

2. 锁粗化

因为进行加锁和解锁都会造成资源的浪费,所以在一些情况下就可以减少加锁和解锁的次数,也就是锁粗化的操作。

锁粗化的基本思路是将多个相邻的同步代码块合并为一个更大的同步代码块,以减少获取和释放锁的次数。这样可以降低同步操作的开销,并减少线程阻塞和上下文切换的可能性。

public class Demo3 {private static int num;public static void main(String[] args) throws InterruptedException {Thread t1 = new Thread(() -> {for(int i = 0; i < 100; i++) {synchronized (Demo2.class) {num++;}}});Thread t2 = new Thread(() -> {for(int i = 0; i < 100; i++) {synchronized (Demo2.class) {num++;}}});t1.start();t2.start();t1.join();t2.join();System.out.println(num);}
}

上面这个代码,两个线程中的任务都是循环了100次,但是每次循环都需要进行加锁和解锁的操作,这样会浪费大量的资源,所以这个代码就可以进行锁粗化的优化操作。

public class Demo3 {private static int num;public static void main(String[] args) throws InterruptedException {Thread t1 = new Thread(() -> {synchronized (Demo2.class) {for(int i = 0; i < 100; i++) {num++;}}});Thread t2 = new Thread(() -> {synchronized (Demo2.class) {for(int i = 0; i < 100; i++) {num++;}}});t1.start();t2.start();t1.join();t2.join();System.out.println(num);}
}

当进入线程的时候就进行加锁,当循环100次结束之后再进行解锁操作,这样就避免了资源的浪费。

并不是所有的加锁操作都可以进行锁粗化的优化,我们要保证最终代码的执行结果是正确的情况下才能做出相应的优化操作。

相关面试题

1) 什么是偏向锁?

偏向锁不是真的加锁, 而只是在锁的对象头中记录一个标记(记录该锁所属的线程). 如果没有其他线
程参与竞争锁, 那么就不会真正执行加锁操作, 从而降低程序开销. 一旦真的涉及到其他的线程竞
争, 再取消偏向锁状态, 进入轻量级锁状态.

2) synchronized 实现原理 是什么?

本博客所写的内容

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

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

相关文章

JMeter性能测试

性能测试前言 老师开局一句话&#xff1a;性能测试和你会不会JMeter一点关系没有…… 作者坚持技多不压身的原则&#xff0c;还是多学一点JMeter吧&#xff0c;看老师到底要怎么讲下去&#xff0c;什么并发量、吞吐量啥的…… 性能测试的核心思想&#xff1a;在于创造大量并发去…

消息队列-RabbitMQ(二)

接上文《消息队列-RabbitMQ&#xff08;一&#xff09;》 Configuration public class RabbitMqConfig {// 消息的消费方json数据的反序列化Beanpublic RabbitListenerContainerFactory<?> rabbitListenerContainerFactory(ConnectionFactory connectionFactory){Simple…

Open Cascade旋转变换平行线

在本人开发的弯管自动CAM软件中&#xff0c;有一个问题一直没有解决&#xff0c;就是180度平行管路需要做角度微调&#xff0c;以便进行YBC预览。研究了一番后&#xff0c;搞定了这个问题&#xff0c;关键在于采用OCC库实现拓扑变换。 本文将介绍如何使用OpenCASCADE库来实现平…

3.物联网射频识别,(高频)RFID应用ISO14443-2协议,(校园卡)Mifare S50卡

问题&#xff1a; 1) 14443协议&#xff0c;RFID标签的默认通信速率是 106kbps&#xff0c;也可以通过协商&#xff0c;调整为 &#xff08;fc/6413.56M/64&#xff09;212、424、 848kbps。 2) 14443-3 A类卡&#xff0c;上电后&#xff0c;读写器发送REQA命令&#xff0c;标签…

激光雷达中实现F-P标准具高热稳定性的帕尔贴精密温控解决方案

摘要&#xff1a;法布里-珀罗标准具作为一种具有高温度敏感性的精密干涉分光器件&#xff0c;在具体应用中对热稳定性具有很高的要求&#xff0c;如温度波动不能超过0.01℃&#xff0c;为此本文提出了相应的高精度恒温控制解决方案。解决方案具体针对温度控制精度和温度均匀性控…

利用LVM制作swap交换分区

首先把一个磁盘进行分区制作成物理卷&#xff0c;也可以直接将一整块磁盘做成物理卷,我这里使用的是磁盘分区&#xff1a;pvcreate /dev/sdb1 然后将这个物理卷制作成卷组&#xff1a;vgcreate vg1 /dev/sdb1; 将这个卷组制作成逻辑卷&#xff1a;lvcreate -L 900M -n lv1 vg…

计算机竞赛 题目: 基于深度学习的疲劳驾驶检测 深度学习

文章目录 0 前言1 课题背景2 实现目标3 当前市面上疲劳驾驶检测的方法4 相关数据集5 基于头部姿态的驾驶疲劳检测5.1 如何确定疲劳状态5.2 算法步骤5.3 打瞌睡判断 6 基于CNN与SVM的疲劳检测方法6.1 网络结构6.2 疲劳图像分类训练6.3 训练结果 7 最后 0 前言 &#x1f525; 优…

angularjs开发环境搭建

Angularjs是一个前端页面应用开发框架&#xff0c;其使用TypeScript作为开发语言&#xff0c;Angularjs的特性包括&#xff0c;使用组件、模板以及依赖注入的开发框架构建可扩展的web应用&#xff0c;使用易于集成的类库支持页面路由、页面表单、前后端接口交互等各种不同特性&…

JVM:经典垃圾收集器

经典垃圾收集器 如果说收集算法是内存回收的方法论&#xff0c;那垃圾收集器就是内存回收的实践者 《Java虚拟机规范》中对垃圾收集器应该如何实现并没有做出任何规定&#xff0c;因此不同的厂商、不同版本的虚拟机所包含的垃圾收集器都可能会有很大差别&#xff0c;不同的虚拟…

【Java】微服务——Nacos注册中心

目录 1.Nacos快速入门1.1.服务注册到nacos1&#xff09;引入依赖2&#xff09;配置nacos地址3&#xff09;重启 2.服务分级存储模型2.1.给user-service配置集群2.2.同集群优先的负载均衡 3.权重配置4.环境隔离4.1.创建namespace4.2.给微服务配置namespace 5.Nacos与Eureka的区别…

Day 04 python学习笔记

Python数据容器 元组 元组的声明 变量名称&#xff08;元素1&#xff0c;元素2&#xff0c;元素3&#xff0c;元素4…….&#xff09; &#xff08;元素类型可以不同&#xff09; eg: tuple_01 ("hello", 1, 2,-20,[11,22,33]) print(type(tuple_01))结果&#x…

安装python中tensorflow和keras==2.2.0的路程

1.python中安装Keras2.3.0 你可以使用pip来安装特定版本的Keras。在命令行中运行以下命令&#xff1a; pip install keras2.3.0这将会下载并安装Keras的2.3.0版本及其相应的依赖项。请确保你的Python环境已经配置好&#xff0c;并且有足够的权限来安装软件包。2.python 中安装…

python中类的内置函数有哪些

在 Python 中&#xff0c;类的内置函数&#xff08;也称为魔术方法或特殊方法&#xff09;以双下划线开头和结尾&#xff0c;用于自定义类的行为。以下是一些常见的内置函数及其作用&#xff1a; __init__(self, ...): 构造函数&#xff0c;用于初始化对象。创建一个类的实例时…

javascript二维数组(3):指定数组元素的特定属性进行搜索

js中对数组&#xff0c; var data [{“name”: “《西游记》”, “author”: “吴承恩”, “cat”: “A级书刊”, “num”: 3},{“name”: “《三国演义》”, “author”: “罗贯中”, “cat”: “A级书刊”, “num”: 8},{“name”: “《红楼梦》”, “author”: “曹雪芹”,…

uniapp实现微信小程序隐私协议组件封装

uniapp实现微信小程序隐私协议组件封装。 <template><view class"diygw-modal basic" v-if"showPrivacy" :class"showPrivacy?show:" style"z-index: 1000000"><view class"diygw-dialog diygw-dialog-modal bas…

求各区域热门商品Top3 - HiveSQL

背景&#xff1a;这是尚硅谷SparkSQL练习题&#xff0c;本文用HiveSQL进行了实现。 数据集&#xff1a;用户点击表&#xff0c;商品表&#xff0c;城市表 题目: ① 求每个地区点击量前三的商品&#xff1b; ② 在①的基础上&#xff0c;求出每个地区点击量前三的商品后&a…

MySQL-MVCC(Multi-Version Concurrency Control)

MySQL-MVCC&#xff08;Multi-Version Concurrency Control&#xff09; MVCC&#xff08;多版本并发控制&#xff09;&#xff1a;为了解决数据库并发读写和数据一致性的问题&#xff0c;是一种思想&#xff0c;可以有多种实现方式。 核心思想&#xff1a;写入时创建行的新版…

Windows安装Docker并创建Ubuntu环境及运行神经网络模型

目录 前言在Windows上安装Docker在Docker上创建Ubuntu镜像并运行容器创建Ubuntu镜像配置容器&#xff0c;使其可以在宿主机上显示GUI 创建容器并运行神经网络模型创建容器随便找一个神经网络模型试试 总结 前言 学生党一般用个人电脑玩神经网络&#xff0c;估计很少有自己的服…

大数据开发面试笔记Day1

面试优先级 眼前一亮的人&#xff1a;所有项目都需要能快速入手开发的年轻人&#xff0c;而这种能力一定程度上来自于对开源项目的贡献&#xff1b;另外&#xff0c;找到该公司该部门的研发重点&#xff0c;以及与周围部门的协同研发项目&#xff0c;如果某一个项目碰巧非常适合…

TouchGFX之后端通信

在大多数应用中&#xff0c;UI需以某种方式连接到系统的其余部分&#xff0c;并发送和接收数据。 它可能会与硬件外设&#xff08;传感器数据、模数转换和串行通信等&#xff09;或其他软件模块进行交互通讯。 Model类​ 所有TouchGFX应用都有Model类&#xff0c;Model类除了存…