通常面试官都会问:new出来的对象是不是一定都被分配在堆上?
在Java SE 6u23版本之前,对象在堆空上间创建。Java SE 6u23 及更高版本默认支持并启用逃逸分析,使得对象可能存在栈上。
接下来让我们一看看了解逃逸分析
什么是逃逸分析
逃逸分析(Escape Analysis)是一种技术,Java HotSpot 服务器编译器可以通过该技术分析新对象的使用范围并决定是否在 Java 堆上分配该对象。它与类型继承关系分析一 样,并不是直接优化代码的手段,而是为其他优化措施提供依据的分析技术。
在Java的编译体系中,一个Java的源代码文件变成计算机可执行的机器指令的过程中,需要经过两段编译:
第一段是通过javac命令把.java文件转换成.class文件。
第二段编译是把.class转换成机器指令的过程。
在第二编译阶段,传统的JVM的解释器(Interpreter)解释字节码将其翻译成对应的机器指令,逐条读入,逐条解释翻译。很显然,经过解释执行,其执行速度必然会比可执行的二进制字节码程序慢很多。为了解决效率问题,引入了 JIT(即时编译) 技术。
引入了 JIT 技术后,Java程序仍然通过解释器进行解释执行,当JVM发现某个方法或代码块运行特别频繁的时候,就会认为这是“热点代码”(Hot Spot Code)。然后JIT会把部分“热点代码”翻译成本地机器相关的机器码,并进行优化,然后再把翻译后的机器码缓存起来,以备下次使用。
逃逸分析就是属于JIT优化中一项内容。
基本原理与逃逸状态
分析对象动态作用域,当一个对象在方法里面被定义后,它可能被外部 方法所引用,例如作为调用参数传递到其他方法中,这种称为方法逃逸;甚至还有可能被外部线程访 问到,譬如赋值给可以在其他线程中访问的实例变量,这种称为线程逃逸;从不逃逸、方法逃逸到线 程逃逸,称为对象由低到高的不同逃逸程度。
全局逃逸(GlobalEscape):对象逃逸出当前方法和线程。例如: 存储在静态字段中的对象、存储在转义对象的字段中或作为当前方法的结果返回的对象。
参数逃逸( ArgEscape):对象作为参数传递或由参数引用,但在调用期间不会全局逃逸。这个状态是通过分析被调用方法的字节码来确定的。
没有逃逸(NoEscape): 对象只在方法内部使用,没有发生逃逸。该对象是一个标量可替换对象,这意味着它的分配可以从生成的代码中删除。
逃逸分析优化方式
如果能证明一个对象不会逃逸到方法或线程之外(换句话说是别的方法或线程无法通过任何途径 访问到这个对象),或者逃逸程度比较低(只逃逸出方法而不会逃逸出线程),则可能为这个对象实例采取不同程度的优化。
栈上分配(Stack Allocations)
在Java虚拟机中,Java堆上分配创建对象的内存空间几乎是 Java程序员都知道的常识,Java堆中的对象对于各个线程都是共享和可见的,只要持有这个对象的引用,就可以访问到堆中存储的对象数据。
在一般应用中,完全不会逃逸的局部对象和不会逃逸出线程的对象所 占的比例是很大的,如果能使用栈上分配,那大量的对象就会随着方法的结束而自动销毁了,垃圾收集子系统的压力将会下降很多。
栈上分配可以支持方法逃逸,但不能支持线程逃逸。
标量替换(Scalar Replacement)
若一个数据已经无法再分解成更小的数据来表示了,Java虚拟机中的原始数据类型(int、long等数值类型及reference类型等)都不能再进一步分解了,那么这些数据 就可以被称为标量。
如果一个数据可以继续分解,那它就被称为聚合量(Aggregate),Java 中的对象就是典型的聚合量。
根据程序访问的情况,发现一个对象不会被外部访问的话,JIT优化就会把一个Java对象拆散,将其用到的成员变量恢复为原始类型来访问,这个过程就称为标量替换。
public static void main(String[] args) {
alloc();
}
private static void alloc() {
User user = new User(18);
System.out.println("age:" + user.age);
}
public class User {
private int age;
public User(int age) {
this.age = age;
}
}
以上代码中,user对象并没有逃逸出alloc方法,并且user对象是可以拆解成标量的。JIT就不会直接创建User对象,而是直接使用标量int age替代User对象。
以上代码,经过标量替换后,就会变成:
private static void alloc() {
int age = 18;
System.out.println("age:" + age);
}
以上例子将对象拆分后,除了可以让对象的成员变量在栈上 (栈上存储的数据,很大机会被虚拟机分配至物理机器的高速寄存器中存储)分配和读写之外,还可 以为后续进一步的优化手段创建条件。
标量替换可以视作栈上分配的一种特例,实现更简单(不用考 虑整个对象完整结构的分配),但对逃逸程度的要求更高,它不允许对象逃逸出方法范围内。
同步消除(Synchronization Elimination)
线程同步本身是一个相对耗时的过程,如果逃逸分析能够确定一个变量不会逃逸出线程,无法被其他线程访问,那么这个变量的读写肯定就不会有竞争, 对这个变量实施的同步措施也就可以安全地消除掉,这一过程就叫同步消除,也称为锁消除。
同步消除举例:
public void eiminate() {
User user = new User();
synchronized (user) {
System.out.println("执行同步代码块");
}
}
在eiminate() 方法,任何线程中,user都是不同的锁对象,对象user永远不会被其它方法或者线程访问到,因此user是不会逃逸对象,这就导致synchronized(user) 没有任何意义。
所以在JIT编译阶段就会被优化掉。优化成:
public void eiminate() {
User user = new User();
System.out.println("执行同步代码块");
}
逃逸扩展及开启关闭
关于逃逸分析的研究论文早在1999年就已经发表,但直到JDK 6,HotSpot才开始支持初步的逃逸 分析,而且到现在这项优化技术尚未足够成熟,仍有很大的改进余地。不成熟的原因主要是逃逸分析 的计算成本非常高,甚至不能保证逃逸分析带来的性能收益会高于它的消耗。
C和C++语言里面原生就支持了栈上分配(不使用new操作符即可),而C#也支持值类型,可以很 自然地做到标量替换(但并不会对引用类型做这种优化)。在灵活运用栈内存方面,确实是Java的一 个弱项。
-XX:+DoEscapeAnalysis : 表示开启逃逸分析
-XX:+PrintEscapeAnalysis来查看分析结果。
有了逃逸分析支持之后,用户可 以使用参数
-XX:+EliminateAllocations 开启标量替换,
+XX:+EliminateLocks 开启同步消 除,
-XX:+PrintEliminateAllocations 查看标量的替换情况。
关闭逃逸分析
-XX:-DoEscapeAnalysis : 表示关闭逃逸分析 从jdk 1.7开始已经默认开始逃逸分析。
松下问童子,言师采药去。