深入理解JVM后端优化技术-锁粗化(Lock Coarsening)

锁粗化(Lock Coarsening/Lock Merging)是JIT编绎器对内部锁的具体实现所做的一种优化。

相关系列

深入理解jvm执行引擎-CSDN博客

深入理解JVM后端优化技术-方法内联-CSDN博客

深入理解JVM后端优化技术-逃逸分析(Escape Analysis)-CSDN博客

深入理解JVM后端优化技术-锁消除(Lock Elision)-CSDN博客

相关JVM设置

锁粗化默认是开启的。如果要关闭这个特性,我们可以在Java程序的启动命令行中添加虚拟机参数"-XX:-EliminateLocks"(开启则可以使用虚拟机参数"-XX:+EliminateLocks")。

定义

看上图,对于相邻的几个同步块如果使用同一个锁实例,那么JIT编绎器会将这些同步块合并成一个大的同步块,从而避免一个线程反复申请、释放锁所导致的开销。

注意事项

但是,锁粗化很有可能会导致一个线程持有锁的时间变长,从而使得同步在该锁之上的其它线程在申请锁时的等待时间变长。看上图,第一个同步块和第二个同步块开始之间时间间隙中,其它线程本来是机会获取获得monitorX的,但是经过锁粗化之后由于临界区的长度变长,这些线程在申请monitorX时所需的等待时间也变长了。所以,锁粗化不会应用到循环体内的相邻的同步块。

案例分析

java 复制代码
package com.dzend.mall.order;

import java.util.Random;

public class LockCoarseningTest {

    private final Random random = new Random();

    public void genIQ(){        
        int iq1 =randomIQ();
        int iq2=randomIQ();
        int iq3=randomIQ();
        act(iq1,iq2,iq3);
    }

    private void act(int iq1,int iq2,int iq3){
        System.out.printf("iq1="+iq1 +";iq2="+iq2+";iq3="+iq3);
    }

    public int randomIQ(){
        return (int)Math.round(random.nextGaussian()*15+100);
    }
}

执行流程分析

genIQ方法连续调用randomIQ方法来生成3个符合正态分布的随机智商。在genIQ方法被执行次数达到JVM设置的阈值时,就会触发JIT编绎器对其进行一系列的优化。

1、JIT编绎器会把randomIQ方法内联(Inline)到genIQ中,把randomIQ中的代码指令复制到genIQ方法体中。

2、Random.nextGaussian是一个同步方法,由于Random实例random可能被多个线程共享,JIT编绎器无法对Random.nextGaussian方法本身执行锁消除优化,导致被内联到genIQ方法中的Rand.nextGaussian方法相当一个random引导的同步块。

3、经过以上流程优化过后,就会执行锁粗化。

相关推荐
用户094248568033 小时前
第23章:OpenJDK逃逸分析、标量替换与锁优化
java·jvm
wuminyu3 小时前
LockStack在虚拟线程Mount和Unmount拷贝过程剖析
java·linux·c语言·jvm·c++
2601_962071578 小时前
类变量和全局变量的隔离性有什么区别?
java·开发语言·jvm
估值探索者10 小时前
【Python量化系统工程实战 #01】数据存储选型 CSVSQLiteMySQL 对比与 SQLite 实战建库
开发语言·jvm·python·sqlite·api接口·数据api接口·股票数据api接口
打工仔折腾 AI1 天前
从 Demo 到生产级 Agent:8 个关键设计机制与 Python 实现拆解
java·jvm·人工智能·后端·python·langchain·ai agent 实战
用户094248568031 天前
第22章:JIT编译分层——Interpreter、C1、C2与热点探测
java·jvm
乌暮1 天前
JVM 原理与实践:从运行时数据区到线上故障排查
java·开发语言·jvm·后端·学习·面试
长河2 天前
Java的GC(垃圾回收)中,标记无用对象的核心方法是可达性分析算法
java·jvm·算法
可乐ea2 天前
GitHub Security Lab 开源 Fuzzing Taskflow:让 LLM 智能体自己跑完 C/C++ 模糊测试
jvm·c++·github·模糊测试·mcp·代码agent·智能体自动化
一条破秋裤2 天前
Linux 线程同步:读写锁
java·linux·jvm