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