JVM的逃逸分析

　　我们都知道java中的对象默认都是分配到堆上，在调用栈中，只保存了对象的指针。当对象不再使用后，需要依靠gc来遍历引用树并回收内存。如果堆中对象数量太多，回收对象还有整理内存，都会会带来时间上的消耗，gc表示压力很大，然后影响性能。所以，在我们日常开发中，内存，时间都是相当的宝贵，该如何优化堆栈开销，是一个比较重要的问题。

　　在这里，我以逃逸分析角度聊聊jvm优化的那些事儿。

 

为什么“逃逸”

　　在计算机语言编译器优化原理中，逃逸分析是指分析指针动态范围的方法，它同编译器优化原理的指针分析和外形分析相关联。当变量（或者对象）在方法中分配后，其指针有可能被返回或者被全局引用，这样就会被其他方法或者线程所引用，这种现象称作指针（或者引用）的逃逸(escape)。通俗点讲，如果一个对象的指针被多个方法或者线程引用时，那么我们就称这个对象的指针（或对象）的逃逸（escape）。

　　网上有位博友这么形容逃逸，用了一段简单直接的代码，我觉得挺直截了当的，可以供参考：

public stringbuilder escapedemo1(string a, string b) {
    stringbuilder stringbuilder = new stringbuilder();
    stringbuilder.append(a);
    stringbuilder.append(b);
    return stringbuilder;
}

　　stringbuilder是在方法的内部变量，而此时它被直接返回，这样stringbuilder就有可能被其他地方的方法或参数所改变，这样它的作用域就不只是demo1了，虽然它是一个局部变量，但其发生了“逃逸”。

　　那么，我可以改一下代码：

public string escapedemo2(string a, string b) {
    stringbuilder stringbuilder = new stringbuilder();
    stringbuilder.append(a);
    stringbuilder.append(b);
    return stringbuilder.tostring();
}

　　如此，就没有返回stringbuilder，而是tostring()，那么stringbuilder没有从方法中直接脱离，就没有发生逃逸。

 

什么是逃逸分析

　　逃逸分析，是一种可以有效减少java 程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法。通过逃逸分析，java hotspot编译器能够分析出一个新的对象的引用的使用范围从而决定是否要将这个对象分配到堆上。 逃逸分析（escape analysis）算是目前java虚拟机中比较前沿的优化技术了。

 

逃逸分析的原理

　　java本身的限制（对象只能分配到堆中），我可以这么理解了，为了减少临时对象在堆内分配的数量，我会在一个方法体内定义一个局部变量，并且该变量在方法执行过程中未发生逃逸，按照jvm调优机制，首先会在堆内存创建类的实例，然后将此对象的引用压入调用栈，继续执行，这是jvm优化前的方式。然后，我采用逃逸分析对jvm进行优化。即针对栈的重新分配方式，首先找出未逃逸的变量，将该变量直接存到栈里，无需进入堆，分配完成后，继续调用栈内执行，最后线程执行结束，栈空间被回收，局部变量也被回收了。如此操作，是优化前在堆中，优化后在栈中，从而减少了堆中对象的分配和销毁，从而优化性能。

 

逃逸的方式

　　方法逃逸：在一个方法体内，定义一个局部变量，而它可能被外部方法引用，比如作为调用参数传递给方法，或作为对象直接返回。或者，可以理解成对象跳出了方法。

　　线程逃逸：这个对象被其他线程访问到，比如赋值给了实例变量，并被其他线程访问到了。对象逃出了当前线程。

 

逃逸分析的好处

　　如果一个对象不会在方法体内，或线程内发生逃逸（或者说是通过逃逸分析后，使其未能发生逃逸）

　　1. 栈上分配

　　　　一般情况下，不会逃逸的对象所占空间比较大，如果能使用栈上的空间，那么大量的对象将随方法的结束而销毁，减轻了gc压力

　　2. 同步消除

　　　　如果你定义的类的方法上有同步锁，但在运行时，却只有一个线程在访问，此时逃逸分析后的机器码，会去掉同步锁运行。

　　3. 标量替换

　　　　java虚拟机中的原始数据类型（int，long等数值类型以及reference类型等）都不能再进一步分解，它们可以称为标量。相对的，如果一个数据可以继续分解，那它称为聚合量，java中最典型的聚合量是对象。如果逃逸分析证明一个对象不会被外部访问，并且这个对象是可分解的，那程序真正执行的时候将可能不创建这个对象，而改为直接创建它的若干个被这个方法使用到的成员变量来代替。拆散后的变量便可以被单独分析与优化，可以各自分别在栈帧或寄存器上分配空间，原本的对象就无需整体分配空间了。

 

开启设置

　　在jdk 6u23以上是默认开启，这里将设置重新明确一下：
　　强制开启：　　　 

　-server -xx:+doescapeanalysis -xx:+printgcdetail -xmx10m -xms10m

　　关闭逃逸分析：　　　　

-server -xx:-doescapeanalysis -xx:+printgcdetail -xmx10m -xms10m

　

写在结尾

    　　栈上的空间一般而言是非常小的，只能存放若干变化和小的数据结构，无法存储大容量数据。目前的实现都是采用不那么准确但是时间压力相对较小的算法来完成逃逸分析，这就可能导致效果不稳定。所以，逃逸分析的效果只能在特定场景下，满足高频和高数量的小容量的变量分配结构，才是合适的。

 

 

参考文章：