Java_逃逸分析技术

迷南。 2022-05-21 10:11 333阅读 0赞

什么是逃逸分析(Escape Analysis)?

在编程语言的编译优化原理中，分析指针动态范围的方法称之为逃逸分析。它跟静态代码分析技术中的指针分析和外形分析类似。

通俗一点讲，当一个对象的指针被多个方法或线程引用时，我们称这个指针发生了逃逸。

而用来分析这种逃逸现象的方法，就称之为逃逸分析。

举个例子：

Java代码    ![收藏代码][icon_star.png]

1.  **class** A \{  
2.  **public** **static** B b;  
3.     
4.  **public** **void** globalVariablePointerEscape() \{ // 给全局变量赋值，发生逃逸  
5.  b = **new** B();  
6.  \}  
7.     
8.  **public** B methodPointerEscape() \{ // 方法返回值，发生逃逸  
9.  **return** **new** B();  
10. \}  
11.    
12. **public** **void** instancePassPointerEscape() \{  
13. methodPointerEscape().printClassName(**this**); // 实例引用传递，发生逃逸  
14. \}  
15. \}  
16.    
17. **class** B \{  
18. **public** **void** printClassName(A a) \{  
19. System.out.println(a.**class**.getName());  
20. \}  
21. \}

在这个例子中，一共举了3种常见的指针逃逸场景。分别是 全局变量赋值，方法返回值，实例引用传递。

## 逃逸分析优化JVM原理 ##

我们知道java对象是在堆里分配的，在调用栈中，只保存了对象的指针。

当对象不再使用后，需要依靠GC来遍历引用树并回收内存，如果对象数量较多，将给GC带来较大压力，也间接影响了应用的性能。减少临时对象在堆内分配的数量，无疑是最有效的优化方法。

怎么减少临时对象在堆内的分配数量呢？不可能不实例化对象吧！

**场景介绍**

其实，在java应用里普遍存在一种场景。一般是在方法体内，声明了一个局部变量，且该变量在方法执行生命周期内未发生逃逸（在方法体内，未将引用暴露给外面）。

按照JVM内存分配机制，首先会在堆里创建变量类的实例，然后将返回的对象指针压入调用栈，继续执行。

这是优化前，JVM的处理方式。

**逃逸分析优化**** - ****栈上分配**

优化原理：分析找到未逃逸的变量，将变量类的实例化内存直接在栈里分配(无需进入堆)，分配完成后，继续在调用栈内执行，最后线程结束，栈空间被回收，局部变量对象也被回收。

这是优化后的处理方式，对比可以看出，主要区别在栈空间直接作为临时对象的存储介质。从而减少了临时对象在堆内的分配数量。