你真的了解逃逸分析(Escape Analysis）么？

- 日理万妓 2022-12-02 13:48 396阅读 0赞

# 什么是逃逸？ #

逃逸是指在某个方法之内创建的对象，除了在方法体之内被引用之外，还在方法体之外被其它变量引用到；这样带来的后果是在该方法执行完毕之后，该方法中创建的对象将无法被GC回收，由于其被其它变量引用。正常的方法调用中，方法体中创建的对象将在执行完毕之后，将回收其中创建的对象；故由于无法回收，即成为逃逸。

# 作用 #

java Hotspot 编译器能够分析出一个新的对象的引用的使用范围，从而觉得是否需要将这个对象分配到堆上。

# 例子 #

/**
         * 无逃逸
         */
        void test01() {
            String test1 = "test1";
        }

String test2;
    
        /**
         * 逃逸
         */
        void test02() {
            test2 = "test2";
        }

在方法内的变量不会逃逸，在方法外声明的对象会发生逃逸，脱离了方法的控制，方法结束时变量没有结束

# 分类 #

方法逃逸：

*  定义  
    一个对象在方法中被定义，但却被方法以外的其他代码使用。
 *  场景  
    如传参到其他方法中等可能导致此情况发生。

线程逃逸：

*  定义  
    一个对象由某个线程在方法中被定义，但却被其他线程访问。
 *  场景  
    如类变量、公用的或有get、set方法的实例变量等

# 三种状态 #

全局逃逸：

一个对象的引用掏出了方法或者线程。例如：一个对象的引用赋值给一个类变量，或者这个对象的用引用作为方法的返回这返回给了调用方法。

参数级逃逸：

方法调用过程中，传递对象给另一个方法

没有逃逸：

一个可以进行标量替换的对象，可以将这个对象不分配在传统的堆上

# 参数设置 #

-XX:+DoEscapeAnalysis	//使用 （JDK8中，逃逸分析默认开启。）
    -XX:-DoEscapeAnalysis	//不用
    -XX:+PrintEscapeAnalysis //结果展示

# 逃逸分析能不能在编译期间进行呢？ #

首先需要弄清楚两个概念，静态编译和动态编译

静态编译指的是javac之类的编译，动态编译指的是JIT等即时编译。

因为Sun公司不在对javac这方面的进行优化。所以优化基本上都是在JVM中，

通过查询资料得到

Excelsior JET 这个东西要比我们主流的HOTSPOT更早实现了逃逸分析和相关优化，

但是不知道Java在运行期间不知道会 加载上什么代码。Java有很多的小方法，虚方法的调用，难以进行静态分析。

同时逃逸分析需要 在比较大的代码快中工作才会比较有效。因为编译器需要了解更多的代码。用于更加准确的判断对象有没有逃逸，

只在小块代码上分析的话，很多的时候都得到错误的判断，就没有效果了。

**结论：**

逃逸分析可以在编译期运行，但是由于技术上面的一些原因，所以是在运行期间进行的比较多。

# 怎么判断一个对象是不是会逃逸？（过程） #

对数据流敏感的一系列的分析，从而确定能够程序各个分支执行对这个对象的影响,耗时较长

# 那么逃逸分析有什么优化技术呢？ #

**栈上分配：**

普通对象在堆中分配，各线程共享。但有GC消耗。

当确定对象不会发生方法逃逸时，可在线程栈上分配对象。此时对象生命周期和方法相同，随栈帧出栈时即可销毁，不需要GC了。

**同步消除：**

线程同步降低了并发性和程序性能。

锁消除：当确定对象不会发生线程逃逸时，可消除该对象不必要的同步操作（永不会竞争）。具体来说，JVM在编译器运行时会扫描代码，当检查到那些不可能存在共享区竞争，但却有互斥同步的代码，直接将这样的多此一举的同步消除

锁粗化：JVM针对那些反复在一段代码中对同一对象加锁的情况，将同步锁放在最外层包住这里面的多次同步锁，同时取消内部的同步锁

**标量替换：**

标量是指一个数据无法分解成更小的数据，基础类型的数据都算是标量，对象可以被分解成其他的成员变量，所以说变量不是

标量，那么标量替换是指在运行期间，不必要创建对象，而是改成创建对象的成员变量，不仅可以让对象成员在栈上分配和读写之外，还

可以为后一步的优化技术创造了条件。

## 现存问题 ##

无法保证逃逸分析的收益大于进行此操作带来的性能消耗。所以JVM目前采用不准确、时间较短算法进行逃逸分析，以权衡收益和开销。

**如果大家对java架构相关感兴趣，可以关注下面公众号，会持续更新java基础面试题, netty, spring boot,spring cloud等系列文章，一系列干货随时送达, 超神之路从此展开, BTAJ不再是梦想!**

![架构殿堂][20200415234301759.jpg]

[20200415234301759.jpg]: /images/20221123/ad31425e910e4aadb71a128bfb454817.png

你真的了解逃逸分析(Escape Analysis）么？

发表评论取消回复

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

相关阅读

相关你真的了解自动化测试框架么？Python+Requests+Pytest+Jenkins

相关 Python趣味入门01:你真的了解Python么？

相关 Go语言之变量逃逸（Escape Analysis）分析

相关你真的了解逃逸分析(Escape Analysis）么？

相关你真的了解反射机制么？

相关你真的了解 ES6 中的函数特性么？

相关 JVM的栈上分配与逃逸分析(Escape Analysis）

相关【Vuejs】1094- 你真的了解vue模版编译么？

相关逃逸分析（Escape Analysis）

相关 JVM-逃逸分析-31 Escape Analysis