12.轻量级锁原理及其实战

文章目录

  • 轻量级锁原理及其实战
    • 1.轻量级锁的核心原理
    • 2.轻量级锁的演示
      • 2.1.轻量级锁的演示代码
      • 2.2.结果分析
    • 3.轻量级锁的分类
      • 3.1.普通自旋锁
      • 3.2.自适应自旋锁
    • 4.轻量级锁的膨胀

轻量级锁原理及其实战

引入轻量级锁的主要目的是在多线程环境竞争不激烈的情况下, 通过CAS机制竞争锁减少重量级锁的产生的性能损耗,重量级锁使用了操作系统底层的互斥锁,会导致线程在用户态和核心态之间频繁切换,从而带来较大的性能损耗

1.轻量级锁的核心原理

轻量级锁存在目的就是尽可能的不去动用操作系统层面的互斥锁,因为性能较差。其实很多对象的锁的状态只会持续很短的一段时间,例如整数的自增运算,CPU很快就执行完毕了,在短时间内阻塞和唤醒线程这样显得值得,为此JDK引入的轻量级锁

轻量级锁其实就是一种自旋锁,因为JVM本身就是一种应用,所以希望在应用层面上通过自旋来解决这一类问题。

轻量级锁的执行过程,首先在 抢占锁线程进入临界区之前,如果内置锁没有被锁定,JVM首先在抢占锁线程中建立一个锁记录(Lock Record),用于存储对象目前的Mark Work拷贝

在这里插入图片描述

抢占锁线程首先处理好栈帧中的轻量级锁记录,然后通过CAS自旋,尝试将内置锁对象头的Mark Word 的 ptr_to_lock_record(锁记录指针),更新为抢占锁线程栈帧中锁记录的地址,如果这个更新执行成功了,这个线程就拥有了这个对象

然后JVM将Mark Word中lock的标志位改为 00(轻量级锁标志)

Mark Word的值被CAS更新后,包含锁对象信息的旧值就会被返回,这个时候需要抢占锁的线程找一个地方将旧 的Mark Word暂存起来。

在这里插入图片描述

锁记录是线程私有的,每个线程都有自己的一份锁记录,在创建完锁记录后,会将内置对象的MarkWord拷贝到锁记录的Displaced Mark Word字段,为什么这么做呢?

因为内置锁对象的Mark Word的结构会有所变化,Mark Word将会出现一个指向锁记录的指针,而不再存在无锁状态下的锁的哈希码等信息,所以必须将这些信息暂存起来,供后面锁释放的时候使用。

2.轻量级锁的演示

2.1.轻量级锁的演示代码

package com.hrfan.java_se_base.base.thread.jol;import com.hrfan.java_se_base.common.utils.SleepUtil;
import org.junit.jupiter.api.DisplayName;
import org.junit.jupiter.api.Test;
import org.openjdk.jol.info.ClassLayout;
import org.openjdk.jol.vm.VM;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;import java.util.concurrent.CountDownLatch;/*** 轻量级锁演示*/
public class InnerLockTest {private static final Logger log = LoggerFactory.getLogger(InnerLockTest.class);@Test@DisplayName("测试轻量级锁的案例")public void test() {// 打印JVM信息log.error("JVM参数信息:{}", VM.current().details());SleepUtil.sleepMillis(5000);LightweightObjectLock lock = new LightweightObjectLock();// 打印抢占锁前 锁状态log.error("抢占锁前,lock状态");lock.printLockStatus();SleepUtil.sleepMillis(5000);CountDownLatch latch = new CountDownLatch(2);Runnable runnable = () -> {for (int i = 0; i < 1000; i++) {synchronized (lock){lock.increase();if (i == 1){log.error("第一个线程占有锁,lock状态!");lock.printLockStatus();}}}// 第一个线程执行完毕latch.countDown();// 线程虽然释放锁,但是一致存在死循环while (true){// 每次循环等待1msSleepUtil.sleepMillis(1);}};new Thread(runnable).start();// 等待1sSleepUtil.sleepMillis(1000);Runnable lightweightRunnable = () -> {for (int i = 0; i < 1000; i++) {synchronized (lock){lock.increase();if (i == 500){log.error("第二个线程占有锁,lock状态!");lock.printLockStatus();}// 每次循环等待1msSleepUtil.sleepMillis(1);}}// 循环执行完毕latch.countDown();};new Thread(lightweightRunnable).start();// 等待全部线程执行完毕try {latch.await();} catch (InterruptedException e) {throw new RuntimeException(e);}SleepUtil.sleepMillis(2000);log.error("释放锁后,lock状态!");lock.printLockStatus();}
}
class LightweightObjectLock{private static final Logger log = LoggerFactory.getLogger(MyObjectLock.class);private int count = 0;/*** 打印当前对象的一个状态*/public void printLockStatus(){log.error(ClassLayout.parseInstance(this).toPrintable());}/*** 将当前共享变量自增*/public void increase(){this.count++;}
}

2.2.结果分析

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

3.轻量级锁的分类

轻量级锁主要有两种,普通自旋锁 和 自适应自旋锁

3.1.普通自旋锁

普通自旋锁,就是指当有线程来竞争时,抢占锁线程就会在原地循环等待,而不是阻塞,直到那个占有线程释放锁之后,这个抢占线程才可以获得锁。

默认情况下 自旋的次数为10次,可以通过 -XX:PreBlockSpin选项来进行修改

自旋锁的主要优势在于避免了线程的上下文切换和阻塞唤醒的开销,这对于一些锁竞争非常激烈但持有锁的时间很短的情况下,可以提升性能。然而,在锁竞争激烈且持有锁时间较长的情况下,自旋锁可能会导致资源的浪费和性能下降。

自旋锁的实现机制可以简单描述如下:

  1. 当线程尝试获取锁时,如果发现锁已被其他线程占用,则进入自旋等待状态,不断地检查锁是否被释放。
  2. 自旋等待通常是通过使用一个循环来实现的,循环中会不断地检查锁的状态。这里需要注意的是,自旋等待时需要使用一种合适的方式来避免过度消耗CPU资源,例如可以在循环中添加一些延迟操作或者进行自适应自旋等待。
  3. 当持有锁的线程释放锁时,其他线程中的一个线程会成功获取到锁,并继续执行下去。

需要注意的是,在使用自旋锁时需要考虑一些问题:

  • 自旋等待时间的设定:自旋等待时间过长会导致CPU资源的浪费,自旋等待时间过短则可能增加锁竞争的概率。合理设定自旋等待时间可以根据具体应用场景和硬件环境进行调整。
  • 自适应自旋等待:一些现代的锁实现中采用了自适应自旋等待的策略,根据锁竞争的情况动态调整自旋等待时间,以提高性能。
  • 超过自旋次数后的处理:如果一个线程在自旋等待一定次数后仍然无法获取到锁,可以选择进入阻塞状态,避免资源的浪费。这种策略被称为自旋锁的退化机制。

3.2.自适应自旋锁

自适应自旋锁,就是等待空循环的自旋次数并非是固定的,而是动态的根据实际情况来改变自旋的次数,自旋的次数由前一次在同一个锁上的自旋的时间以及锁的拥有着状态来决定,主要分为两种情况

  • 如果抢占线程在同一个锁对象上之前成功获得过锁,那么JVM就会认为i这次自旋也很有可能再次成功,因此允许自旋等待持续相对较长
  • 如果对于某个锁,抢占线程很少成功获得过,那么JVM将可能减少自旋等待时间甚至忽略自旋等待过程,以避免浪费处理器资源
    • JDK1.7后,轻量级锁使用的就是自适应自旋锁,JVM自动开启,且自旋时间由JVM自动控制
    • 轻量级锁也被称为 非阻塞同步、乐观锁,因为过程并没有吧线程阻塞挂起,而是线程空循环等待!

自适应自旋锁是一种改进的自旋锁实现方式,其根据前一次在同一个锁上的自旋时间以及锁的拥有者状态来动态调整自旋等待的次数。它的目标是在不同的锁竞争情况下,优化自旋等待的效果,减少资源的浪费。

具体实现自适应自旋锁的方式可能会因不同的JVM实现而有所差异,但其大致原理可以描述如下:

  1. 初始自旋次数:当一个线程第一次尝试获取锁时,JVM会给予一个初始的自旋次数。
  2. 自旋等待与锁竞争:线程在自旋等待期间持续尝试获取锁。如果线程在自旋等待期间成功获得了锁,那么JVM会根据前一次的自旋等待时间以及锁的拥有者状态来判断是否增加自旋次数。
  3. 自旋次数调整:根据前一次的自旋等待时间和锁的拥有者状态,JVM可能会逐渐增加或减少自旋等待的次数。如果前一次的自旋等待时间较长,表明自旋等待有效,JVM可能会增加自旋次数。如果前一次的自旋等待时间较短,表明自旋等待效果不佳,JVM可能会减少自旋次数或者直接放弃自旋等待。
  4. 自旋等待的退化:如果经过一定次数的自旋等待后仍然无法获得锁,JVM可能会将自旋等待退化为阻塞等待,避免资源的浪费。

自适应自旋锁的优势在于根据实际情况动态调整自旋等待的次数,可以在不同的锁竞争情况下提供更好的性能。通过根据前一次自旋等待时间和锁的拥有者状态进行自适应调整,可以更有效地利用处理器资源。然而,自适应自旋锁的具体实现可能会因JVM的不同版本和配置而有所差异,因此在具体应用中仍需考虑实际情况和性能需求来选择合适的锁实现方式。

4.轻量级锁的膨胀

轻量级锁膨胀是指在使用轻量级锁的过程中,如果锁竞争激烈或者存在其他特定情况,JVM会将轻量级锁膨胀为重量级锁。这种膨胀操作的目的是为了更好地处理锁竞争情况,确保多线程的安全性。

下面是轻量级锁膨胀的一般过程:

  1. 初始状态:当一个线程尝试获取轻量级锁时,JVM会先检查该对象是否被锁定。如果该对象未被锁定,JVM会将该对象的锁记录信息设置为指向当前线程的线程ID,并将对象头部的标记位设置为轻量级锁标记。
  2. 锁竞争:如果有另一个线程也尝试获取同一个对象的锁。在轻量级锁的设计中,如果锁竞争不激烈,JVM会使用自旋等待的方式,让竞争线程在自旋过程中等待锁的释放。
  3. 轻量级锁膨胀:如果锁竞争激烈或者其他特定情况发生,JVM会将轻量级锁膨胀为重量级锁。膨胀的过程包括以下步骤:
    • 锁记录的升级:JVM会将之前记录在对象头部的锁记录信息替换为指向重量级锁的指针。这个指针指向一个互斥量(如操作系统原生的互斥量)来实现线程的阻塞和唤醒。
    • 线程阻塞:竞争锁的线程会被阻塞,进入到等待队列中,等待锁的释放。
    • 线程唤醒:当持有锁的线程释放锁时,JVM会将等待队列中的一个线程唤醒,使其获取锁并继续执行。

膨胀为重量级锁的过程会引入较大的性能开销,因为需要进行线程的阻塞和唤醒操作。然而,当锁竞争激烈时,使用重量级锁可以更好地处理多线程并发访问的安全性问题。

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

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

相关文章

verilog中不重叠序列检测

编写一个序列检测模块&#xff0c;检测输入信号&#xff08;a&#xff09;是否满足011100序列&#xff0c; 要求以每六个输入为一组&#xff0c;不检测重复序列&#xff0c;例如第一位数据不符合&#xff0c;则不考虑后五位。一直到第七位数据即下一组信号的第一位开始检测。当…

C++下使用Matplotlib-cpp的一些配置

Aconda3安装使用 https://mirrors.tuna.tsinghua.edu.cn/help/anaconda/下载 切换清华源 conda config --add channels https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/free/ conda config --add channels https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/main/ con…

修改latex中block中公式与block标题间隔过大的问题

修改block中公式与block间隔过大的问题 如图的block中公式出现了空白:代码见下方 \begin{proof}[证明]\begin{align*}&Z\alpha \beta _XX\beta _YY\varepsilon \rightarrow XZ\alpha X\beta _XX^2\beta _YXY\varepsilon X&\\&E\left( Z \right) \alpha \beta _XE\…

STM32实现1.8寸液晶屏 LCD SPI串口显示屏模块 TFT彩屏(标准库和HAL库实现)

目录 一、所选模块 液晶模块选择&#xff08;淘宝上均有售卖&#xff09; 模块引脚 二、嵌入式单片机型号 三、接线表设计 四、开发环境版本说明 五、标准库实现 六、HAL库实现 七、完整工程&#xff08;内含标准库和HAL库源码&#xff09; 代码链接 一、所选模块 液…

pycharm如何对for循环中第n次循序执行断点

目录 在 PyCharm 中&#xff0c;您可以设置条件断点来实现这个功能&#xff0c;这样只有在满足特定条件时断点才会被触发。以下是设置仅在 for 循环的第 n 次迭代时触发断点的步骤&#xff1a; 设置断点&#xff1a; 首先&#xff0c;找到您想要在 for 循环中设置断点的行。点击…

《应用现代化技术能力成熟度评估模型》介绍

在中国软件行业协会、应用现代化产业联盟以及中国电子技术标准化研究院的指导下&#xff0c;产业多家企业共同支持和参与下&#xff0c;完成的《应用现代化技术能力成熟度评估模型》标准。该标准从应用敏捷、稳定可靠、安全可信、业务智能、成本优化五大维度及22个能力项来评估…

计算机网络学习记录 网络的大概认识 Day1

你好,我是Qiuner. 为记录自己编程学习过程和帮助别人少走弯路而写博客 这是我的 github gitee 如果本篇文章帮到了你 不妨点个赞吧~ 我会很高兴的 &#x1f604; (^ ~ ^) 想看更多 那就点个关注吧 我会尽力带来有趣的内容 计算机网络学习记录Day1 本文基于1.1 计算机网络在信息…

Highcharts 实现3D饼图 tooltip轮播

实现3D饼图&#xff0c;并且轮播显示tooltip 自定义toottip样式 import Highcharts from highcharts; import highcharts from highcharts; import highcharts3d from highcharts/highcharts-3d;highcharts3d(Highcharts); highcharts3d(highcharts); import { useEffect, use…

2024 VMware VCP一条龙通关-送题库

VMware VCP-DCV 2024&#xff08;2V0-21.23&#xff09;认证考试&#xff0c;2024年可高分通过。 1.5. An administrator has a host profile named Standard-Config. The administrator wants to change the other host profiles to use only the storage configuration setti…

自定义付费报名表单系统源码 带完整的安装代码包以及安装代码包搭建部署教程

在当今数字化时代&#xff0c;各种在线服务需求日益增长&#xff0c;其中&#xff0c;自定义付费报名表单系统成为了许多机构、组织和企业不可或缺的一部分。为了满足这一市场需求&#xff0c;小编给大家分享一款功能强大、易于部署的自定义付费报名表单系统源码。本文将为您详…

Python嵌套绘图并为条形图添加自定义标注

论文绘图时经常需要多图嵌套&#xff0c;正好最近绘图用到了&#xff0c;记录一下使用Python实现多图嵌套的过程。 首先&#xff0c;实现 Seaborn 分别绘制折线图和柱状图。 绘制折线图import seaborn as snsimport matplotlib.pyplot as pltimport warningswarnings.filterw…

STM32CubeMX学习笔记30---FreeRTOS内存管理

一、简介 1 基本概念 FreeRTOS 操作系统将内核与内存管理分开实现&#xff0c;操作系统内核仅规定了必要的内存管理函数原型&#xff0c;而不关心这些内存管理函数是如何实现的&#xff0c;所以在 FreeRTOS 中提供了多种内存分配算法&#xff08;分配策略&#xff09;&#xf…

《二十二》Qt 音频编程实战---做一个音频播放器

1.UI界面制作 作为一个音乐播放器&#xff0c;最基础的肯定就是播放、暂停、上一首以及下一首&#xff0c;为了使这个界面好看一点&#xff0c;还加入了音量控制、进度条、歌曲列表等内容&#xff0c;至于这种配色和效果好不好看&#xff0c;我也不知道&#xff0c;个人审美一如…

智启未来:富唯智能AI-ICDP引领的可重构柔性装配产线

在全球制造业竞争日益激烈的今天&#xff0c;如何快速响应市场变化、提高生产效率、降低生产成本&#xff0c;成为了企业面临的重要挑战。随着产品个性化时代的到来&#xff0c;装配产品频繁变换&#xff0c;多品种小批量的生产模式逐渐成为主流。在这一背景下&#xff0c;富唯…

python 前台页面和oracle数据库联动案例-用户注册

今天是python 入门day3&#xff0c;案例实现界面如图&#xff0c;比较简单&#xff0c; 一个简单的用户注册页面&#xff0c;并且可以与Oracle数据库进行交互。 界面如图&#xff1a; 实现这个简单demo的过程中&#xff0c;遇到很多错误&#xff0c; 1、提交过程中提示主键不…

照片文件夹惊变白板?揭秘背后的原因及恢复秘籍

我们生活在一个数字化时代&#xff0c;照片已经成为记录生活的重要方式。然而&#xff0c;当你兴冲冲地打开保存珍贵记忆的文件夹时&#xff0c;却发现里面的照片全都变成了白板&#xff0c;这种心情无异于晴天霹雳。那么&#xff0c;这究竟是怎么回事呢&#xff1f; 照片文件夹…

【记录】常见的前端设计系统(Design System)

解释一下设计系统的定义&#xff0c;以及在国内&#xff0c;都有那些优秀的设计系统可以学习&#xff0c;希望可以帮到大家。 什么是设计系统&#xff08;Design System)&#xff1f; 设计系统&#xff08;Design System&#xff09;是一套综合性的指导原则、组件和规则&…

Mysql8.0.30一次表锁问题的解决

起因 给material_config_field_data表的字段建立全文索引的时&#xff0c;发现该表卡死&#xff0c;然后无法对该表进行任何操作。 查找问题 执行sql #这个命令会显示InnoDB存储引擎的详细状态信息&#xff0c;包括锁等待和锁争用的信息 SHOW ENGINE INNODB STATUS结果 复制S…

语言基础 /CC++ 可变参函数设计与实践,变参函数的实现、使用、替代方法

文章目录 概述适用于做可变参数的数据类型格式化字符串输出用int做变长参数类型用结构体指针做变长参数类型用double做变长参数类型用结构体直接做变长参数类型 变参函数与宏定义符号 ... 不能透传符号 ... 不接受ap做参数_VA_ARGS_ 代表可变参数 回调可变参数函数取代变参函数…

Linux 第二十四章

&#x1f436;博主主页&#xff1a;ᰔᩚ. 一怀明月ꦿ ❤️‍&#x1f525;专栏系列&#xff1a;线性代数&#xff0c;C初学者入门训练&#xff0c;题解C&#xff0c;C的使用文章&#xff0c;「初学」C&#xff0c;linux &#x1f525;座右铭&#xff1a;“不要等到什么都没有了…