Java - Synchronized的锁升级之路

Synchronized锁

Synchronized在Java JVM里的实现是基于进入和退出Monitor对象来实现方法同步和代码块同步的

monitor enter指令是在编译后插入到同步代码块的开始位置

而monitor exit是插入到方法结束处和异常处

JVM要保证每个monitor enter必须有对应的monitor exit与之配对。

任何对象都有一个monitor与之关联,当且一个monitor被持有后,它将处于锁定状态。线程执行到monitor enter指令时,将会尝试获取对象所对应的monitor的所有权,即尝试获得对象的锁。

synchronized用的锁是存在Java对象头里的。如果对象是数组类型,则虚拟机用3个字宽(Word)存储对象头,如果对象是非数组类型,则用2字宽存储对象头。在32位虚拟机中,1字宽等于4字节,即32bit。数组类多一个字节用于存储数组长度,也就是说程序获取数组长度的时间复杂度为O(1)。

java对象头的存储结构

锁状态25bit4bit1bit是否是偏向锁2bit 锁标志位
无锁状态对象的hashCode对象分代年龄001

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

Mark Word的状态变化

锁状态25bit4bit1bit2bit
23bit2bit是否是偏向锁锁标志位
轻量级锁指向栈中锁记录的指针00
重量级锁指向互斥量(重量级锁)的指针10
GC标记11
偏向锁线程IDEpoch对象分代年龄101


锁的升级

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

锁一共有4种状态,级别从低到高依次是:无锁状态偏向锁状态轻量级锁状态重量级锁状态,这几个状态会随着竞争情况逐渐升级。锁可以升级但不能降级,意味着偏向锁升级成轻量级锁后不能降级成偏向锁。这种锁升级却不能降级的策略,目的是为了提高获得锁和释放锁的效率。


偏向锁

在锁不存在多线程竞争情况下,为了减小线程获取锁的代价而引入了偏向锁。当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程再进入同步块时只需简单判断下对象头的Mark Word里是否存储着指向当前线程的偏向锁。

  1. 如果本身是无锁状态(初始状态),只需CAS设置偏向锁指向自己即可;
  2. 判断当前对象是否是偏向锁,判断拥有该偏向锁的线程是否还存在(拥有偏向锁的线程使用完毕后不会主动释放),不存在时直接CAS设置偏向锁指向自己线程;
  3. 如果拥有该偏向锁的线程还存在,则会暂停拥有偏向锁的线程,这一步操作是在全局安全点进行的。设置锁标志位为00,偏向锁标志位为0,从拥有偏向锁线程A的空闲monitor record中读取一条,放至线程A的当前monitor record中,然后更新mark word,将mark word指向线程A中monitor record的指针,这样就完成了偏向锁升级轻量级锁。之后持有锁的线程会继续执行,竞争该轻量级锁的线程自旋获取该对象。
注意:轻量级锁的获取释放需要多次CAS操作,而偏向锁只是在置换ThreadID时进行一次CAS操作。
偏向锁获取后线程不会主动释放,偏向锁只有在其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁(被动释放,此时会发生锁升级)。
偏向锁在JDK 6及以后的JVM里是默认启用的。可以通过JVM参数关闭偏向锁: -XX:-UseBiasedLocking=false,关闭之后程序默认会进入轻量级锁状态。
偏向锁的撤销需要在全局安全点上进行,它会暂停所有持有偏向锁的线程,判断锁对象是否处于锁定状态。

可以发现偏向锁适用于从始至终都只有一个线程在运行的情况,省略掉了自旋获取锁,以及重量级锁互斥的开销,这种锁的开销最低,性能最好接近于无锁状态,但是如果线程之间存在竞争的话,就需要频繁的去暂停拥有偏向锁的线程然后检查状态,决定是否重新偏向还是升级为轻量级别锁,性能就会大打折扣了,如果事先能够知道可能会存在竞争那么可以选择关掉偏向锁。


轻量级锁

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

轻量级锁在加锁失败进行CAS达到一定次数后(自旋锁默认的次数为 10 次可以通过 -XX:PreBlockSpin 来更改),就会升级为重量级锁;在解锁失败,锁也会升级为重量级锁。
一旦锁升级成重量级锁(就不会再恢复到轻量级锁状态),当锁处于这个状态下,其他线程试图获取锁时,都会被阻塞住,当持有锁的线程释放锁之后会唤醒这些线程,被唤醒的线程就会进行新一轮的夺锁之争。

轻量级锁什么时候会解锁失败呢?在发生锁竞争时并且占用锁的线程未释放,这时(自旋默认了10次还是未获取到锁)竞争锁的线程就会 将Mark Word 修改为重量级锁,并且将自己阻塞在该锁的monitor对象上。之后占用锁的线程将栈帧中的 Mark Word进行CAS替换回对象头的 Mark Word 的时候,发现有其它线程竞争该锁(已经由竞争锁的线程更改了锁状态),然后它释放锁并且唤醒在等待的线程,后续的线程操作就全部都是重量级锁了。


重量级锁

重量级锁也就是普通的悲观锁了,也就是竞争锁失败会阻塞等待唤醒再次竞争那种,关于这几种锁的对比如下:

优 点缺 点适用场景
偏向锁加锁和解锁不需要额外的消耗,和执
行非同步方法相比仅存在纳秒级的差距
如果线程间存在锁竞争,
会带来额外的锁撤销的消耗
适用于只有一个线程访
问同步块场景
轻量级锁竞争的线程不会阻塞,提高了程序的
响应速度
如果始终得不到锁竞争的
线程,使用自旋会消耗CPU
追求响应时间
同步块执行速度非常快
重量级锁线程竞争不使用自旋,不会消耗CPU线程阻塞,响应时间缓慢

追求吞吐量

同步块执行速度较长

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

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

相关文章

解决服务端渲染程序SSR运行时报错: ReferenceError: document is not defined

现象: 原因: 该错误表明在服务端渲染 (SSR) 过程中,有一些代码尝试在没有浏览器环境的情况下执行与浏览器相关的操作。这在服务端渲染期间是一个常见的问题,因为在服务端渲染期间是没有浏览器 API。 解决办法: 1. 修…

bat脚本之while

在批处理(BAT)脚本中,while循环是一种常用的控制流结构,用于在满足特定条件的情况下重复执行一段代码。 while循环的基本语法如下: while [ condition ] do command1 command2 ... commandN done这里的 cond…

【2023传智杯-新增场次】第六届传智杯程序设计挑战赛AB组-DEF题复盘解题分析详解【JavaPythonC++解题笔记】

本文仅为【2023传智杯-第二场】第六届传智杯程序设计挑战赛-题目解题分析详解的解题个人笔记,个人解题分析记录。 本文包含:第六届传智杯程序设计挑战赛题目、解题思路分析、解题代码、解题代码详解 文章目录 一.前言二.赛题题目D题题目-E题题目-F题题目-二.赛题题解D题题解-…

深入理解Sentinel系列-1.初识Sentinel

👏作者简介:大家好,我是爱吃芝士的土豆倪,24届校招生Java选手,很高兴认识大家📕系列专栏:Spring源码、JUC源码、Kafka原理、分布式技术原理🔥如果感觉博主的文章还不错的话&#xff…

待做-待补充-每个节点做事,时间,以及与角度的关系

文章目录 待定内容红黑树应用场景限制什么是二叉树遍历递归遍历1.前序遍历 进入节点时2.中序遍历 遍历完左子树回到节点。此操作需要等到所有左树节点做完后才会做3.后序遍历 遍历完左右子树回到节点。左右子树的所有节点都做完操作后,回到当前节点才会做此操作 …

如何搭建自己的直播电商系统?

当下,传统的图文电商模式已经走向没落,视频电商备受追捧。抖音、快手、小红书、京东、淘宝、拼多多都在发力直播电商业务,尤其是以抖音为首的直播电商备受用户欢迎,它具有实时直播和强互动的特点,是传统电商所不具备的…

<HarmonyOS第一课>保存应用数据【课后考核】

【习题】保存应用数据 判断题 首选项是关系型数据库。 错误(False) 应用中涉及到Student信息,如包含姓名,性别,年龄,身高等信息可以用首选项来存储。 错误(False) 同一应用或进程中每个文件仅存在一个Preferences实例。 正确(T…

最长子串问题(LCS)--动态规划解法

题目描述: 如果Z既是X的子串,又是Y的子串,则称Z为X和Y的公共子串。 如果给定X、Y,求出最长Z及其长度。 注意:这里求的不是子序列,两者的意思并不相同。子串要求连续,子序列并不需要。 如果想…

simulinkveristandlabview联合仿真环境搭建

目录 开篇废话 软件版本 明确需求 软件安装 matlab2020a veristand2020 R4 VS2017 VS2010 软件安装验证 软件资源分享 开篇废话 推免之后接到的第一个让人难绷的活,网上开源的软件资料和成功的案例很少,查来查去就那么几篇,而且版本…

SpringData

1.为什么要学习SpringData? 是因为对数据存储的框架太多了,全部都要学习成本比较高,SpringData对这些数据存储层做了一个统一,学习成本大大降低。

SQL命令---修改字段的数据类型

介绍 使用sql语句修改字段的数据类型。 命令 alter table 表明 modify 字段名 数据类型;例子 有一张a表,表里有一个id字段,长度为11。使用命令将长度修改为12 下面使用命令进行修改: alter table a modify id int(12) NOT NULL;下面使修…

stm32使用多串口不输出无反应的问题(usart1、usart2)

在使用stm32c8t6单片机时,由于需要使用两个串口usart1 、usart2。usart1用作程序烧录、调试作用,串口2用于与其它模块进行通信。 使用串口1时,正常工作,使用串口2时,无反应。查阅了相关资料串口2在PA2\PA3 引脚上。RX…

[仅供学习,禁止用于违法]编写一个程序来手动设置Windows的全局代理开或关,实现对所有网络请求拦截和数据包捕获(抓包或VPN的应用)

文章目录 介绍一、实现原理二、通过注册表设置代理2.1 开启代理2.2 关闭代理2.3 添加代理地址2.4 删除代理设置信息 三、代码实战3.1 程序控制代理操作控制3.1.1 开启全局代理3.1.2 添加代理地址3.1.3 关闭代理开关3.1.4 删除代理信息 3.2 拦截所有请求 介绍 有一天突发奇想&am…

在git使用SSH密钥进行github身份认证学习笔记

1.生成ssh密钥对 官网文档:Https://docs.github.com/zh/authentication(本节内容对应的官方文档,不清晰的地方可参考此内容) 首先,启动我们的git bush(在桌面右键,点击 Git Bush Here &#xf…

iOS_制作 cocopods库

文章目录 1.创建项目2.配置项目3.发布 1.创建项目 在 github 上创建仓库&#xff0c;克隆到本地&#xff1a; git clone https://github.com/mxh-mo/MOOXXX.git在项目目录下执行&#xff1a; pod lib create <库名称>进行一些配置的选择&#xff1a; # 希望在那个平台…

随机分词与tokenizer(BPE->BBPE->Wordpiece->Unigram->sentencepiece->bytepiece)

0 tokenizer综述 根据不同的切分粒度可以把tokenizer分为: 基于词的切分&#xff0c;基于字的切分和基于subword的切分。 基于subword的切分是目前的主流切分方式。subword的切分包括: BPE(/BBPE), WordPiece 和 Unigram三种分词模型。其中WordPiece可以认为是一种特殊的BPE。完…

实时最优控制(Real-Time Optimal Control)工具

系列文章目录 前言 许多现代控制方法&#xff0c;如模型预测控制&#xff08;model-predictive control&#xff09;&#xff0c;在很大程度上依赖于实时解决优化问题。特别是&#xff0c;高效解决优化控制问题的能力使复杂机器人系统在实现高动态行为&#xff08;highly dyna…

求Sn=m+mm+mmm+...+mm..mmm(有n个m)的值

题目&#xff1a;求 的值 一、做这个题我们其实可以直接一个for求解&#xff1a; a,aa,aaa...我们很容易知道它们后一项与前一项的关系就是&#xff1b; public static void Sum(int m,int n){long sum 0L;long curAn 0;for (int i 0; i < n; i){curAn m 10* curAn;/…

Qexo博客后台管理部署

Qexo博客后台管理部署 个人主页 个人博客 参考文档 https://www.oplog.cn/qexo/本地部署 采用本地Docker部署管理本地Hexo 下载代码包 若无法下载使用科学工具下载到本地在上传到服务器 wget https://github.com/Qexo/Qexo/archive/refs/tags/3.0.1.zip# 解压 unzip Qexo…

C++中的前缀和

C中的前缀和&#xff08;Prefix Sum&#xff09;是一种优化算法&#xff0c;用于计算原数组中每个元素前缀和&#xff08;前面所有元素的累加和&#xff09;&#xff0c;可以在O(n)时间内实现。 #include<iostream> using namespace std;const int MAXN 100010;int Pre…