逃逸分析-栈上分配

使用逃逸分析-进行代码优化

　　使用逃逸分析，编译器可以对代码做如下优化:
　　一、栈上分配。将堆分配转化为栈分配。如果一个对象在子程序中被分配，要使指向该对象的指针永远不会逃逸，对象可能是栈分配的候选，而不是堆分配。

　　　　JIT编译器在编译期间根据逃逸分析的结果，发现如果一个对象并没有逃逸出方法的话，就可能被优化成栈上分配。分配完成后，继续在调用栈内执行，r最后线程结束，栈空间被回收，局部变量对象也被回收。这样就无须进行垃圾回收了。

　　　　常见的栈上分配的场景:在逃逸分析中，已经说明了。分别是给成员变量赋值、方法返回值、实例引用传递。

public class EscapeAnalysis {

    public EscapeAnalysis obj;

    /*
    方法返回EscapeAnalysis对象，发生逃逸
     */
    public EscapeAnalysis getInstance(){
        return obj == null? new EscapeAnalysis() : obj;
    }
    /*
    为成员属性赋值，发生逃逸
     */
    public void setObj(){
        this.obj = new EscapeAnalysis();
    }
    //思考：如果当前的obj引用声明为static的？仍然会发生逃逸。

    /*
    对象的作用域仅在当前方法中有效，没有发生逃逸
     */
    public void useEscapeAnalysis(){
        EscapeAnalysis e = new EscapeAnalysis();
    }
    /*
    引用成员变量的值，发生逃逸
     */
    public void useEscapeAnalysis1(){
        EscapeAnalysis e = getInstance();
        //getInstance().xxx()同样会发生逃逸
    }
}

　　二、同步省略(锁消除)。如果一个对象被发现只能从一个线程被访问到，那么对于这个对象的操作可以不考虑同步。

　　　　线程同步的代价是相当高的，同步的后果是降低并发性和性能。在动态编译同步块的时候，JIT编译器可以借助逃逸分析来判断同步块所使用的锁对象是否只能够被一个线程访问而没有被发布到其他线程。如果没有，那么JIT编译器在编译这个同步块的时候就会取消对这部分代码的同步。这样就能大大提高并发性和性能。这个取消同步的过程就叫同步省略，也叫锁消除。

public class SynchronizedTest {
    public void f() {
        Object hollis = new Object();
        synchronized(hollis) {
            System.out.println(hollis);
        }
    }
}

　　上述代码在执行的时候如果开启了逃逸分析,JIT编译器在编译这个同步块的时候就会取消对这部分代码的同步

　　三、分离对象或标量替换。有的对象可能不需要作为一个连续的内存结构存在也可以被访问到，那么对象的部分（或全部）可以不存储在内存，而是存储在cPu寄存器中。

　　　　标量（Scalar）是指一个无法再分解成更小的数据的数据。Java中的原始数据类型就是标量。
　　　　相对的，那些还可以分解的数据叫做聚合量(Aggregate),Java中的对象就是聚合量，因为他可以分解成其他聚合量和标量。
　　　　在JIT阶段，如果经过逃逸分析，发现一个对象不会被外界访问的话，那么经过JITr优化，就会把这个对象拆解成若干个其中包含的若干个成员变量来代替。这个过程就是标量替换。

　　　　标量替换参数设置:参数-XX:+EliminateAllocations:开启了标量替换（默认打开)，允许将对象打散分配在栈上。

public class ScalarReplace {
    public static class User {
        public int id;
        public String name;
    }

    public static void alloc() {
        User u = new User();//未发生逃逸 标量替换等价于User u = new User()-> int id, String name;
        u.id = 5;
        u.name = "www.atguigu.com";
    }

    public static void main(String[] args) {
        long start = System.currentTimeMillis();
        for (int i = 0; i < 10000000; i++) {
            alloc();
        }
        long end = System.currentTimeMillis();
        System.out.println("花费的时间为： " + (end - start) + " ms");
    }
}

下面是逃逸分析-栈上分配的调试结果:

　　jvm开启逃逸分析的参数: -XX:-DoEscapeAnalysis 不开启,-XX:+DoEscapeAnalysis 开启(默认开启)

　　调试类:　

/**
 * 栈上分配测试
 * -Xmx1G -Xms1G -XX:-DoEscapeAnalysis -XX:+PrintGCDetails
 * @author shkstart  shkstart@126.com
 * @create 2020  10:31
 */
public class StackAllocation {
    public static void main(String[] args) {
        long start = System.currentTimeMillis();

        for (int i = 0; i < 10000000; i++) {
            alloc();
        }
        // 查看执行时间
        long end = System.currentTimeMillis();
        System.out.println("花费的时间为： " + (end - start) + " ms");
        // 为了方便查看堆内存中对象个数，线程sleep
        try {
            Thread.sleep(1000000);
        } catch (InterruptedException e1) {
            e1.printStackTrace();
        }
    }

    private static void alloc() {
        User user = new User();//未发生逃逸
    }

    static class User {

    }
}

不开启的情况:

开启的情况:

当内存下调到256m时,不开启逃逸分析,将会发生GC,而开启了逃逸分析之后没有发生GC并且比不开启时执行速度要快;