74.md

74、JIT编译器对创建对象的指令重排以及double check单例实践

JIT动态编译的时候，有可能会造成一个非常经典的指令重排

public class MyObject {
    private Resource resource;
    public MyObject() {
        // 从配置文件里加载数据构造Resource对象
        this.resource = loadResource(); 
    
    }

    public void execute() {
        this.resource.execute();
    }
}

// 线程1:
MyObject myObj = new MyObject(); => 这个是我们自己写的一行代码



// 线程2：
myObj.execute();


// 步骤1：以MyObject类作为原型，
// 给他的对象实例分配一块内存空间，

//objRef就是指向了分配好的内存空间的地址的引用，指针

objRef = allocate(MyObject.class);

// 步骤2：就是针对分配好内存空间的一个对象实例，执行他的构造函数，对这个对象实例进行初始化的操作，执行我们自己写的构造函数里的一些代码，对各个实例变量赋值，初始化的逻辑
invokeConstructor(objRef);

// 步骤3：上两个步骤搞定之后，一个对象实例就搞定了，此时就是把objRef指针指向的内存地址，赋值给我们自己的引用类型的变量，myObj就可以作为一个类似指针的概念指向了MyObject对象实例的内存地址

myObj = objRef;

有可能JIT动态编译为了加速程序的执行速度，因为步骤2是在初始化一个对象实例，这个步骤是有可能很耗时的，比如说你可能会在里面执行一些网络的通信，磁盘文件的读写，都有可能

JIT动态编译，指令重排，为了加速程序的执行性能和效率，可能会重排为，步骤1 -> 步骤3 -> 步骤2

线程1，刚刚执行完了步骤1和步骤3，步骤2还没执行，此时myObj已经不是null了，但是MyObject对象实例内部的resource是null

线程2，直接调用myObj.execute()方法， 此时内部会调用resource.execute()方法，但是此时resource是null，直接导致空指针

double check单例模式里面，就是可能会出现这样的JIT指令重排，如果你不加volatile关键字，会导致一些问题的发生，volatile是避免说步骤1、步骤3、步骤2，必须全部执行完毕了，此时才能试用myObj对象实例