java 单例模式中双重检查锁 volatile 的作用？

 

作用：保证有序性，禁止指令重排序。

 

原因: 在执行instance = new Singleton()语句时，一共是有三步操作的。

1.堆中分配内存

2.调用构造函数进行初始化

3.将instance引用指向内存地址。

在这三步有可能会产生指令重排序即有两种结果可能产生：123与132。只产生两种结果的原因是存在as-if-serial语义(不管怎么重排序，单线程程序的执行结果不会改变)，as-if-serial语义决定了12与13的依赖关系即23肯定在1之后执行，但是23之间可能会发生指令重排序。

如果A线程执行到instance = new Singleton()，此时2，3发生重排序，选执行3，则instance已经不为null，但是指向的对象还未初始化完成，如果此时B对象判断instance 不为null就会直接返回一个未初始化完成的对象。（外层的if是不在synchronized内的）