关键字volatile：在Double Check单例中的作用

首先给出Double Check写法的单例代码

public class Singleton{
    private static volatile Singleton instance = null;
    
    private Singleton(){}

    public Singleton getInstance(){
        if(null == instance){
            synchronized(Singleton.class){
                if(null == instance){
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

没有volatile关键字可能出现的问题

首先我们分析一下去掉volatile关键字的情况下，可能存在的问题。instance = new Singleton();的执行并非原子性的，主要分为以下3步：

1. 分配一块内存M
2. 将M的地址赋值给instance变量
3. 最后再内存M上初始化Sigleton对象

我们假设线程A先执行getInstance()方法，当执行完指令2时恰好发生了线程切换，切换到了线程B上；如果此时线程B也执行getInstance()方法，那么线程B会发现instance != null，所以直接返回instance，而此时instance还没有初始化过的，这个时候访问instance的成员变量将可能触发空指针异常。详见下图：

volatile关键字的作用

那加上volatile关键字，为什么可以解决上述的问题，首先我们需要理解volatile的功能，主要包括两方面：

1. 保持内存的可见性。因为JVM内存模型分为工作内存和主内存，主内存通常是我们的物理内存，而工作内存通常是CPU缓存，在多核CPU情况下，线程的工作内存往往可能处于不同的CPU上，所以存在内存不可见的问题。volatile修饰的变量，在读取时，要求JVM强制从主内存读取，在写入时，要求JVM强制同步到主内存中，也就保证了在不同的线程上读取到的变量都是实时的。
2. 防止指令重排。在JVM对于指令优化需要遵循happen-before原则，其中有一条volatile原则：对一个变量的写操作先行发生于后面对这个变量的读操作。

那volatile是为了保证内存可见性吗？显然不是，因为instance被声明为static，所以变量会保存在方法区，这对于所有的线程都是共享的，不存在可见性问题。
加上volatile的作用主要是防止指令重排，主要是说，无论什么情况，对于volatile变量的写操作必须在完成后才能读取，所以不会出现未完成构造就读取的情况。