volatile与单例模式

参考文献：volatile关键字的作用、原理

1 作用

1. 保持内存可见性：所有线程都能看到共享数据的最新值。
2. 防止指令重排序。

2 实现

2.1 怎么实现内存可见性

（1）读取前先从内存刷新最新的值。
（2）写入后立即同步回内存中。

2.2 怎么防止指令重排

什么是指令重排：基于偏序关系的Happens-Before内存模型中，指令重排技术大大提高了程序执行效率。
在指令序列中 插入内存屏障来禁止重排序。

例如：
下面是基于保守策略的JMM内存屏障插入策略：
在每个volatile写操作的前面插入一个StoreStore屏障。
在每个volatile写操作的后面插入一个StoreLoad屏障。
在每个volatile读操作的后面插入一个LoadLoad屏障。
在每个volatile读操作的后面插入一个LoadStore屏障。

3 单例模式

<1> 为了实现单例模式，需要再取对象实例前用if(null)判断是否存在。

class Singleton {
    private static Singleton instance;
    private Singleton(){}
    public static Singleton getInstance() {
        if ( instance == null ) { //这里存在竞态条件
            instance = new Singleton();
        }
        return instance;
    }
}

<2> 这样，多线程时也会出现多个实例。所以加同步代码块。

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

<3> 加了同步代码块，串行化了，效率太低了。所以使用双重检查锁。

class Singleton {
    private static Singleton instance;
    private Singleton(){}
    public static Singleton getInstance() {
        if ( instance == null ) { //当instance不为null时，仍可能指向一个“被部分初始化的对象”
            synchronized (Singleton.class) {
                if ( instance == null ) {
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

<4> 指令重排序
instance = new Singleton();
它并不是一个原子操作。事实上，它可以”抽象“为下面几条JVM指令：

memory = allocate();    //1：分配对象的内存空间
initInstance(memory);   //2：初始化对象
instance = memory;      //3：设置instance指向刚分配的内存地址

上面操作2依赖于操作1，但是操作3并不依赖于操作2，所以JVM可以以“优化”为目的对它们进行重排序，经过重排序后如下：

memory = allocate();    //1：分配对象的内存空间
instance = memory;      //3：设置instance指向刚分配的内存地址（此时对象还未初始化）
ctorInstance(memory);   //2：初始化对象

可以看到指令重排之后，操作 3 排在了操作 2 之前，即引用instance指向内存memory时，这段崭新的内存还没有初始化——即，引用instance指向了一个"被部分初始化的对象"。此时，如果另一个线程调用getInstance方法，由于instance已经指向了一块内存空间，从而if条件判为false，方法返回instance引用，用户得到了没有完成初始化的“半个”单例。