逃逸分析-JIT优化

什么是逃逸呢？ 

简单来讲，当变量（或者对象）在方法中分配后，其指针有可能被返回或者被全局引用，这样就会被其余过程或者线程所引用，

static V global_v;
public void a_method(){
   V v=b_method();
   c_method();
}
public V b_method(){
   V v=new V();
   return v;
}
public void c_method(){
   global_v=new V();
}

其中b_method方法内部生成的V对象的引用被返回给a_method方法内的变量v，c_method方法内生成的V对象被赋给了全局变量global_v。这两种场景都发生了指针（引用）逃逸。

 首先，咱们知道通常状况下，对象是在堆中分配的，而堆是共享的，在堆上分配锁的开销是很是大的，再加上一些小对象碎片地分配在内存中也会致使频繁的minorGC，所以java针对一些朝生夕死像碎片同样分布的小对象提供了两种（我知道的暂时就两种，不知道有没有其余的）新的在栈上分配的方案，他们分别是：TLAB和逃逸分析。TLAB是在栈上为每一个线程在独立建一个区来存放对象，今天就不讲它先了。

逃逸分析： -XX:-DoEscapeAnalysis ： 表示关闭逃逸分析 从jdk 1.7开始已经默认开始逃逸分析，如需关闭，须要指定-XX:-DoEscapeAnalysis

 在咱们开启逃逸分析后， 在JIT(即时编译：将热点代码翻译成机器代码)阶段，会肯定对象是在栈上分配（当对象没有发生逃逸）仍是在堆上分配（对象逃逸）。

不过，目前java的逃逸分析技术还不成熟，咱们开启逃逸分析以后，判断一个对象是否逃逸耗时长，若是分析完发现没有几个不逃逸的对象，那时间就白白浪费了。

顺便附上Java对象分配的过程：

1.编译器经过逃逸分析，肯定对象是在栈上分配仍是在堆上分配。若是是在堆上分配，则进入选项2

2.若是tlab_top + size <= tlab_end，则在在TLAB上直接分配对象并增长tlab_top 的值，若是现有的TLAB不足以存放当前对象则3

3.从新申请一个TLAB，并再次尝试存放当前对象。若是放不下，则4.

4.在Eden区加锁（这个区是多线程共享的），若是eden_top + size <= eden_end则将对象存放在Eden区，增长eden_top 的值，若是Eden区不足以存放，则5.

5.执行一次Young GC（minor collection）。

6.通过Young GC以后，若是Eden区任然不足以存放当前对象，则直接分配到老年代。

对象不在堆上分配主要的缘由仍是堆是共享的，在堆上分配有锁的开销。不管是TLAB仍是栈都是线程私有的，私有即避免了竞争（固然也可能产生额外的问题例如可见性问题），这是典型的用空间换效率的作法。