java虚拟机的逃逸分析

Posted 2020-12-24 甜菜波波

逃逸分析作为其他优化手段提供依据的分析技术，其基本行为就是分析对象动态作用域：当一个对象在方法中被定义后，它可能被外部方法所引用，例如作为调用参数传递到其他方法中，称为方法逃逸。甚至还有可能被外部线程访问到，比如赋值给类变量或可以在其他线程中访问的实例变量，称为线程逃逸。
如果能证明一个对象不会逃逸到方法或线程之外，也就是别的方法或者线程无法通过任何途径访问到这个对象，则可能为这个变量进行一些高校的优化。
1）栈上分配，如果确定一个对象不会逃逸出方法之外，那么把这个对象在栈上分配内存，对象所占用的内存空间就可以随栈帧出栈而销毁。在一般应用中，不会逃逸的局部对象所占的比例很大，如果能够使用栈上分配，那么对象就会随着方法的结束而自动销毁，垃圾收集系统的压力将会小很多。
2）同步消除，线程同步本身就是一个相对耗时的过程，如果逃逸分析能够确定一个变量不会逃逸出线程，无法被其他线程访问，那这个变量的读写肯定就不会有竞争，对这个变量实施的同步操作也就可以消除掉。
3）标量替换：如果逃逸分析证明一个对象不会被外部访问。并且这个对象可以被拆散的话，那程序真正执行的时候可能不创建这个对象，而改为直接创建它的若干个被这个方法使用到的成员变量来替换。