一.什么是逃逸分析
逃逸分析是一种算法,可以减少Java对象在堆内存中的分配,Hotsport虚拟机的编译能够分析处一个新对象的引用范围,然后决定是否将这个对象分配到堆上。
当一个对象在方法中被定义后,对象只在方法内部使用,则认为没有发生逃逸。
当一个对象在方法中被定义后,对象被外部引用,则认为发生逃逸。
一个对象并没有逃 逸出方法的话,那么就可能被优化成栈上分配。这样就无需在堆上分配内存,也无须进行垃圾回收了。这也是最常见的堆外存储技术。
1.1逃逸对象
如下代码返回的是StringBuffer sb对象,外部有可能将其调用,发生逃逸,不会分配在栈上
public StringBuffer append(String s1, String s2) {
StringBuffer sb = new StringBuffer();
sb.append(s1);
sb.append(s2);
return sb;
}
调整为如下写法,则不会发生逃逸,返回的是sb.tostring,而sb则不会被外部调用
public String append(String s1, String s2) {
StringBuffer sb = new StringBuffer();
sb.append(s1);
sb.append(s2);
return sb.toString();
}
1.2非逃逸对象
当一个对象在方法内创建,又没有被外界引用,此对象为非逃逸对象。例如对象赋值为null
public void create(int x,int y) {
Point p1= new Point(x,y);
//…
p1=null;
}
1.4代码优化
- 栈上分配:将堆分配转化为栈分配。如果一个对象在方法内创建,要使指向该对象的引用不会发生逃逸,对象可能是栈上分配的候选。
在idea中设置
栈上分配
(
-XX:+DoEscapeAnalysis
)
-Xmx128m -Xms128m -XX:+DoEscapeAnalysis -XX:+PrintGC
开启和关闭逃逸分析,控制台日志的输出以及花费时间上的不同。
-
同步省略:又称之为同步锁消除,如果一个对象被发现只有一个线程被访问到,那么对于这个对象的操作可以不考虑同步。
JVM
的
JIT
编译器通过逃逸分析,发现可以被线程访问,则取消锁
-
分离对象或标量替换:有的对象可能不需要作为一个连续的内存结构存在也可以被访问到,那么对象的部分(或全部)可以不存储在内存,而是存储在 CPU 寄存器中。标量( scalar)一般指的是一个无法再分解成更小数据的数据(例如原始数据类型),还可以分解的数据叫做聚合量( Aggregate)经过 JIT 优化(例如对象),就会把这个对象分解成若干个变量来代替。这个过程就是标量替换。
在idea中设置
标量替换 (
-XX:+EliminateAllocations
)
-Xmx128m -Xms128m -XX:+DoEscapeAnalysis
-XX:+PrintGC -XX:-EliminateAllocations
可以讲对象替换成表量,则不需要创建对象,可以大大减少堆内存的占用。因为一旦不需要创建对象了,那么就不再需要分配堆内存了。标量替换为栈上分配提供了很好的基础。