当前位置: 首页 > news >正文

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.lryc.cn/news/345170.html

相关文章:

  • 栈结构(c语言)
  • 【C++】C/C++中新const用法:const成员
  • 武汉凯迪正大—钢管焊缝裂纹探伤仪
  • 为什么 IP 地址通常以 192.168 开头?
  • elementUi中的el-table合计行添加点击事件
  • Zookeeper集群搭建的一些问题
  • 【线性代数】俗说矩阵听课笔记
  • 物联网技术在数字化工厂中的应用,你知道多少?——青创智通
  • nacos开启登录开关启动报错“Unable to start embedded Tomcat”
  • Linux|了解如何使用 awk 内置变量
  • 代码随想录-算法训练营day29【回溯算法05:递增子序列、全排列】
  • 704. 二分查找
  • php回车变br、php显示br
  • 找最大数字-第12届蓝桥杯国赛Python真题解析
  • 蓝桥杯 算法提高 ADV-1170 阶乘测试 python AC
  • 阿里巴巴杭州全球总部正式启用,创新“减碳大脑”科技减碳 | 最新快讯
  • 蓝桥杯国赛练习题真题Java(矩阵计数)
  • 概念解析 | ROC曲线:评估分类模型
  • 数据可视化训练第二天(对比Python与numpy中的ndarray的效率并且可视化表示)
  • 【Java EE】数据库连接池详解
  • 正点原子[第二期]Linux之ARM(MX6U)裸机篇学习笔记-15.4讲 GPIO中断实验-IRQ中断服务函数详解
  • 如何平衡RPA机器人的安全性与业务敏捷性,同时不牺牲用户体验?
  • 地球行星UE5和UE4
  • 7.k8s中的名称空间namespace
  • 上海企业源代码防泄密解决方案,企业源代码防泄密如何应对?
  • 将要上市的自动驾驶新书《自动驾驶系统开发》中摘录各章片段 4
  • OpenSearch 与 Elasticsearch:7 个主要差异及如何选择
  • [Docker]容器的网络类型以及云计算
  • VMP 简单源码分析(.net)
  • 数据结构与算法学习笔记-二叉树的顺序存储表示法和实现(C语言)