JAVA的单例模式双重锁检查机制

单例模式双重锁检查 (Double Check Locking ,DCL)

双重锁检查机制，对象的引用必须用volatile修饰，目的是为了禁止指令重排序，防止错误发生；
原因为 它不是一个原子操作，这个简单的赋值可以分为3步：

• 给对象分配内存；
• 调用对象的构造方法；
• 把引用指向分配的内存；
  这是正常逻辑的3个步骤，也只有按1 2 3执行后，这个引用才不是null。
  但是Java内存模型允许这个进行指令重排序，也就是这3步可能是123也可能是132，所以这里就有问题了。
  假如线程A和线程B，线程A已经跑到分析3处的代码，这时这条指令执行是132，刚把步骤3执行完，这时线程B跑到了分析1处的代码，会发现引用不为null了，这时线程B就直接返回了，从而导致错误。
  二、第一个非空判断是为了效率，如果判断是非空，那么直接返回就行了，没必要再进入同步代码块
  三、第二个非空判断放在了同步代码块里面，是因为要避免多个线程同时创建对象的情况发生

//代码示例
public class SingleInstance {
    //必须有volatile修饰（防止指令重排序）
    private volatile static SingleInstance instance;
    //构造函数必须私有（防止外部通过构造方法创建对象）
    private SingleInstance() {
    }
  
    public static SingleInstance getInstance() {
        //第一个判空（如果是空，就不必再进入同步代码块了，提升效率）
        if (instance == null) {
        	//这里加锁，是为了防止多线程的情况下出现实例化多个对象的情况
            synchronized (SingleInstance.class) {
                //第二个判空（如果是空，就实例化对象）
                if (instance == null) {
                    //新建实例
                    instance = new SingleInstance();
                }
            }
        }
        return instance;
    }
}