锁消除和锁粗化

文章介绍了JavaJIT编译器的两种优化策略:锁消除和锁粗化。锁消除是针对无竞争的锁进行优化,例如每次方法调用创建的新对象,导致每个线程拥有不同的锁。而锁粗化则是将连续的、对同一对象进行同步的代码块合并,减少锁的申请和释放次数,提高效率。

一、锁消除

        JIT(及时编译器)对锁的优化

        因为正常都是多个线程去竞争同一把锁,但是当前代码中每调用一次m1方法就会创建一个新的对象,也可以理解为每个线程对应了一把新的锁,没有竞争的情况,毫无意义,所以叫锁消除。 

/**
 * 锁消除
 */
public class SynchronizedUpDemo2 {
    static Object object = new Object();
 
    public static void m1(){
        //锁消除问题 JIT即时编译器会无视它
        Object o = new Object();
        synchronized(o){
            System.out.println(o.hashCode()+"\t"+object.hashCode());
        }
    }
    public static void main(String[] args) {
        for (int i = 0; i < 10; i++) {
            new Thread(()->{
                SynchronizedUpDemo2.m1();
            },String.valueOf(i)).start();
        }
    }
}

二、锁粗化

        JIT 会将首尾相接,前后相邻且都是锁同一个对象的代码块,JIT即时编译器就会把这几个synchronized块合并为一个大块。

 
/**
 * 锁粗化
 */
public class SynchronizedUpDemo3 {
    static Object object = new Object();
    public static void main(String[] args) {
        //JIT 会将首尾相接,前后相邻且都是锁同一个对象的代码块,JIT即时编译器就会把这几个synchronized块合并为一个大块,
        // 如下。,申请一次锁即可,避免次次申请和释放。
//        synchronized (object){
//            System.out.println("aaaaa");
//            System.out.println("bbbbb");
//            System.out.println("ccccc");
//            System.out.println("ddddd");
//        }
        new Thread(()->{
            synchronized (object){
                System.out.println("aaaaa");
            }
            synchronized (object){
                System.out.println("bbbbb");
            }
            synchronized (object){
                System.out.println("ccccc");
            }
            synchronized (object){
                System.out.println("ddddd");
            }
        }).start();
    }
}

 

 

<think>好的,我现在需要解释Java中的消除的概念、原理以及应用场景。首先,我得回忆一下这两个术语的定义。可能是指将多个细粒度的合并成一个更大的,减少操作的开销。而消除可能是在编译器优时去掉不必要的,比如当检测到某段代码不存在线程竞争时,自动移除。 接下来,我需要参考提供的引用内容。比如引用[4]提到是减少不必要的紧连在一起的unlocklock操作,将多个连续的扩展成更大范围的。引用[2]提到消除的例子,比如StringBuffer虽然是线程安全的,但在单线程环境下使用时,JVM会消除。这些引用能帮助我具体说明这两个优技术。 然后,我需要详细说明它们的实现原理。可能是在编译或运行时检测到连续的区域,合并它们。消除可能通过逃逸分析,判断对象是否仅被当前线程访问,从而决定是否移除。 应用场景方面,适用于循环体内重复加的情况,而消除适合单线程下不必要的同步代码,比如局部StringBuffer的使用。 另外,要注意引用相关的文献,比如在解释消除时提到StringBuffer的例子,引用[2],在时引用[4]。同时,引用[5]可能涉及synchronized的优,包括消除的实现机制。 最后,我需要生成相关问题,确保覆盖原理、实现应用,比如优原理、实际案例、与性能的关系等。确保回答结构清晰,分点阐述,符合用户的要求。</think>### Java消除的原理及应用场景 #### 一、 (Lock Coarsening) 1. **概念** 是指将多个连续的、细粒度的加/解操作合并为单个更大范围的操作,从而减少的开销[^4]。例如,在循环体内重复加时,JVM可能会将的范围扩展到整个循环外部。 2. **实现原理** - **检测连续操作**:JVM在编译或运行时检测到同一线程对同一对象的多次加/解操作紧密相邻。 - **优范围**:将多个操作合并为一个更大的作用域,避免频繁切换状态。 例如以下代码片段: ```java for (int i = 0; i < 100; i++) { synchronized (obj) { // 每次循环都加 // 操作... } } ``` JVM可能将其优为: ```java synchronized (obj) { // 到循环外部 for (int i = 0; i < 100; i++) { // 操作... } } ``` 3. **应用场景** - 循环体内频繁加时。 - 多个相邻同步块无竞争且操作逻辑连续时[^4]。 --- #### 二、消除 (Lock Elimination) 1. **概念** 消除是JVM通过**逃逸分析**(Escape Analysis)检测到某些同步操作不可能存在线程竞争时,自动移除这些的优技术[^2]。 2. **实现原理** - **逃逸分析**:判断对象是否“逃逸”出当前线程(即是否可能被其他线程访问)。 - **消除**:若对象未逃逸(仅当前线程使用),则同步操作无意义,JVM会直接移除。 例如,`StringBuffer`的`append`方法虽然是同步的,但在以下代码中: ```java public String test() { StringBuffer sb = new StringBuffer(); // sb未逃逸出当前方法 sb.append("a"); sb.append("b"); return sb.toString(); } ``` JVM会消除`append`方法的[^2]。 3. **应用场景** - 局部变量或私有对象仅在单线程内使用。 - 使用线程安全类(如`Vector`、`StringBuffer`)但实际无竞争时。 --- #### 三、两种优的意义 | 优技术 | 目标 | 触发条件 | 性能影响 | |----------|--------------------------|------------------------------------|----------------------| | | 减少操作频率 | 连续加且无竞争 | 降低上下文切换开销 | | 消除 | 消除不必要的同步 | 对象未逃逸 | 完全避免开销 | --- #### 四、实际案例对比 - **示例**: 若在循环中频繁操作线程安全的集合,JVM可能将范围扩展到循环外[^4]。 - **消除示例**: 在单线程中使用`StringBuffer`而非`StringBuilder`时,JVM会自动消除同步。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

莱恩大数据

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值