jvm编译优化技术

        编译优化技术

        逃逸分析：它与类型继承关系分析一样，并不是直接优化代码的手段，而是为其他优化措施提供依据的分析技术。

        逃逸分析原理：分析对象动态作用域，对象在方法里面被定义后，被外部方法所引用，作为调用参数传递到其他方法中，这种称为方法逃逸；甚至还有可能被外部线程访问到，譬如赋值给可以在其他线程中访问的实例变量，这种称为线程逃逸。

        从不逃逸、方法逃逸到线程逃逸，称为对象由低到高的不同逃逸程度。

        栈上分配：在Java虚拟机中，Java堆上分配创建对象的内存空间，Java堆中的对象对于各个线程都是共享和可见的，只要持有这个对象的引用，就可以访问到堆中存储的对象数据。虚拟机的垃圾收集子系统会回收堆中不再使用的对象，回收和整理内存，都需要耗费大量资源。如果确定一个对象不会逃逸出线程之外，那让这个对象在栈上分配内存将会是一个很不错的主意，对象所占用的内存空间就可以随栈帧出栈而销毁。

        ·标量替换：一个数据已经无法再分解成更小的数据，如Java虚拟机中的原始数据类型（int、long等数值类型及reference类型等）都不能分解，这些数据就称为标量。数据可分解会被称为聚合量，Java中的对象就是典型的聚合量。把一个Java对象拆散，将其用到的成员变量恢复为原始类型来访问，这个过程就称为标量替换。

        假如逃逸分析能够证明一个对象不会被方法外部访问，并且这个对象可以被拆散，直接创建被这个方法使用的成员变量来代替。将对象拆分后，除了可以让对象的成员变量在栈上分配和读写之外，还可以为后续进一步的优化手段创建条件。标量替换可以视作栈上分配的一种特例，实现更简单，但对逃逸程度的要求更高，它不允许对象逃逸出方法范围内。

·        同步消除：线程同步本身是一个相对耗时的过程，如果逃逸分析能够确定一个变量不会逃逸出线程，无法被其他线程访问，那么这个变量的读写肯定就不会有竞争，对这个变量实施的同步措施也就可以安全地消除掉。