DCL单例引发对于volatile关键字的思考

问题引入

观察下面代码，思考INSTANCE属性为什么要加volatile关键字

public class Single {
    private static volatile Single INSTANCE;

    private Single() {

    }

    public static Single getInstance() {
        if (INSTANCE == null) {
            synchronized (Single.class){
                if (INSTANCE == null){
                    INSTANCE = new Single();
                }
            }
        }
        return INSTANCE;
    }
}

我们可以知道通过双重判断和synchronized代码块，保证了只会创建一个Single对象，那么既然只创建了一个对象，就可以保证单例了呀，为什么还要在INSTANCE属性上加volatile关键字呢？

问题原因

这是因为CPU指令重排序问题导致。
关于指令重排序可参考：https://editor.csdn.net/md/?articleId=114151781
思考上面Single对象创建的过程，在字节码层面表现为：

new             // 在堆中开辟一块内存空间存放Single初始对象
dup             // 将Single初始对象压入操作数栈
invokespecial   // 执行Single对象的<init>方法
putstatic       // 将对象赋值给静态变量

由于上面的invokespecial指令和putstatic指令没有先后关系，所以可能发生指令重排序。当发生指令重排序时，putstatic可能先于invokespecial执行，这就导致INSTANCE对象不为空但是INSTANCE对象还没有执行<init>方法,此时的对象如果被其他线程使用，就引发了并发问题。

问题解决

通过volatile禁止指令重排序
底层实现是通过内存屏障：屏障两边的指令不可以重排！保障有序！
内存屏障有以下四种类型

而volatile正是通过增加读内存屏障和写内存屏障禁止了指令重排序，保障线程安全性。