逃逸分析之同步省略

布满荆棘的人生 2021-07-24 18:37 448阅读 0赞

# 一 点睛 #

线程同步的代价是相当高的，同步的后果是降低并发性和性能。

在动态编译同步块的时候，JIT 编译器可以借助逃逸分析来判断同步块所使用的锁对象是否只能够被一个线程访问而没有被发布到其他线程。如果没有，那么 JIT 编译器在编译这个同步块的时候就会取消对这部分代码的同步。这样就能大大提高并发性和性能。这个取消同步的过程就叫同步省略，也叫锁消除。

# 二 实战 #

## 1 代码 ##

/**
    * 同步省略说明
    */
    public class SynchronizedTest {
        public void f() {
            Object hollis = new Object();
            synchronized (hollis) {
                System.out.println(hollis);
            }
        }
    }

## 2 分析 ##

代码中对 hellis 这个对象加锁，但是 hellis 对象的生命周期只在 f() 方法中，并不会被其他线程所访问到，所以在 JIT 编译阶段就会被优化掉，优化成如下代码。

public void f() {
        Object hellis = new Object();
        System.out.println(hellis);
    }

我们将其转换成字节码

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW5ncWl1bWluZw_size_16_color_FFFFFF_t_70][]

> 注意：同步优化是运行时优化掉的，不是在生成 class 文件时优化掉的。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW5ncWl1bWluZw_size_16_color_FFFFFF_t_70]: /images/20210724/b0a29c7e7cc54a629f8bf91a9db884ef.png

发表评论取消回复

表情：

评论列表（有 0 条评论，448人围观）

还没有评论，来说两句吧...

相关阅读

相关详解逃逸分析

Go是一门带有垃圾回收的现代语言，它抛弃了传统C/C++的开发者需要手动管理内存的方式，实现了内存的主动申请和释放的管理。Go的垃圾回收，让堆和栈的概念对程序员保持透明，它增加

Love The Way You Lie/ 2022年09月03日 09:27/ 0 赞/ 199 阅读

相关 Java之JVM逃逸分析

引言：逃逸分析（Escape Analysis)是众多JVM技术中的一个使用不多的技术点，本文将通过一个实例来分析其使用场景。概念逃逸分析，是一种可以有效减少Ja

谁践踏了优雅/ 2022年06月11日 01:14/ 0 赞/ 295 阅读

相关 JVM逃逸分析

摘要: 本文基于周志明著作的《深入了解Java虚拟机》主要介绍了逃逸分析的定义，以及逃逸分析的一些应用，方便复习 `逃逸分析`(Escape Analysis)是目前Jav

绝地灬酷狼/ 2022年05月28日 06:39/ 0 赞/ 249 阅读

相关 JVM——逃逸分析

首先，为解释这个问题，需要的基本知识如下（如果对以下概念不太熟悉，可以先Google下）： [1.JVM内存结构，传送门][1.JVM] [2.即时编译（JIT），传送

爱被打了一巴掌/ 2022年04月24日 08:30/ 0 赞/ 309 阅读

相关逃逸分析之标量替换

一点睛标量（scalar）是指一个无法再分解成更小的数据的数据。Java 中的原始数据类型就是标量。相对的，那些还可以分解的数据叫做聚合量（Aggregate），

╰+哭是因爲堅強的太久メ/ 2021年07月24日 22:19/ 0 赞/ 399 阅读

相关逃逸分析之同步省略

一点睛线程同步的代价是相当高的，同步的后果是降低并发性和性能。在动态编译同步块的时候，JIT 编译器可以借助逃逸分析来判断同步块所使用的锁对象是否只能够被一个线程

布满荆棘的人生/ 2021年07月24日 18:37/ 0 赞/ 449 阅读

相关逃逸分析之栈上分配

一点睛使用逃逸分析，编译器可以对代码做如下优化。栈上分配：将堆分配转化为栈分配。如果一个对象在子程序中被分配，要使指向该对象的指针永远不会发生逃逸，对象可能是栈上

ゝ一纸荒年。/ 2021年07月24日 13:00/ 0 赞/ 480 阅读

相关 JAVA逃逸分析、栈上分配、标量替换、同步消除

一、逃逸分析逃逸分析是编译语言中的一种优化分析，而不是一种优化的手段。通过对象的作用范围的分析，为其他优化手段提供分析数据从而进行优化。逃逸分析包括：全局变

迈不过友情╰/ 2021年06月24日 13:57/ 0 赞/ 428 阅读

相关 Go 逃逸分析

1 前言所谓逃逸分析（Escape analysis）是指由编译器决定内存分配的位置，不需要程序员指定。函数中申请一个新的对象如果分配在栈中，则函数执行结束可自...

红太狼/ 2021年04月17日 16:08/ 0 赞/ 583 阅读

相关 JAVA逃逸分析、栈上分配、标量替换、同步消除

一、逃逸分析逃逸分析是编译语言中的一种优化分析，而不是一种优化的手段。通过对象的作用范围的分析，为其他优化手段提供分析数据从而进行优化。逃逸分析包括： *...

朱雀/ 2020年10月23日 16:26/ 0 赞/ 658 阅读