逃逸分析的基本行为就是分析对象动态作用域:
→ 当一个对象在方法中被定义后,对象只在方法内部使用,则认为没有发生逃逸。
→ 当一个对象在方法中被定义后,它被外部方法所引用,则认为发生逃逸。例如:作为调用参数传递到其他地方去。简单来说:就是不能 return或者一形参的形式传入。
堆是分配对象存储的唯一选择吗?
如果经过逃逸分析后发现,一个对象并没有逃逸出方法的话,那么就可能被优化成栈上分配。这样就无需在堆上分配内存,也无需进行垃圾回收了,这也是最常见的堆外存储技术。
逃逸分析:代码优化
一.栈上分配:将堆分配转化为栈分配。
二.同步省略:如果一个对象被发现只能从一个线程被访问到,那么对于这个对象的操作可以不考虑同步。
三.分离对象或标量替换:有的对象可能不需要 作为一个连续的内存结构存在也可以被访问到,那么对象的部分(或全部)可以不存储在内存,而是存储在cpu寄存器中。