逃逸分析技术

逃逸分析技术

是一种 跨函数全局数据流分析算法， 分析对象动态作用域。

对象在方法中定义，且只在方法内部使用（不被其他方法调用）–>没有发生逃逸，就可以将对象分配到栈上。

对象逃逸状态

1. 全局逃逸：对象作用范围逃出当前方法或当前线程。 对象可能是静态变量、当前方法返回值等。
2. 参数逃逸：对象作为方法参数传递，且在调用过程不发生全局逃逸。
3. 没有逃逸

在对象没有逃逸时，虚拟机会做出几个优化：

• 锁清除：因为当前对象只在当前线程使用，不会出现抢占资源的情况，所以移除对象同步锁
• 标量替换：在栈上或寄存器上创建用到的对象的成员标量

标量：基础类型、对象的引用

聚合量：对象（包含多种成员变量）就是一种聚合量，可以进一步分解为标量

• 栈上分配：通过标量替换，把对象分解为成员标量，分配在栈内存中–>减少GC压力