【Java多线程】双重校验锁单例模式并不一定线程安全

双重校验锁单例模式

概念

用来检查类实例是否被创建的代码是同步的，也就是说此代码块在同一时刻，只会有一个线程来执行。但是同步锁只有在类实例没有被创建的情况下才会起作用，如果类实例已经被创建了，那么任何线程都能以同步的方式获取当前实例。

代码示例

public class SingletonDemo02 {

    private SingletonDemo02() {
        System.out.println("SingletonDemo02 private Constructor");
    }

    private static SingletonDemo02 instance = null;

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

    public static void main(String[] args) {
        for (int i = 0; i < 1000; i++) {
            new Thread(() -> {
                SingletonDemo02.getInstance();
            }).start();
        }

    }
}

存在的问题

双重校验锁机制在多线程环境中，不一定线程安全，原因是有指令重排的存在。

原因分析

instance = new SingletonDemo()可以分为以下三步来执行：

memory = allocate(); //1.分配对象内存空间
instance(memory); //2.初始化对象
instance = memory; //3.设置instance指向刚分配的内存空间，此时instance != null

步骤2和步骤3不存在数据依赖关系，而且无论是重排前还是重排后，程序的执行结果在单线程环境中没有改变，因此这种重排优化是允许的。

memory = allocate(); //1.分配对象内存空间
instance = memory; //3.设置instance指向刚分配的内存空间，此时instance != null、
但是对象还没有初始化完成。
instance(memory); //2.初始化对象

解决方式

指令重排只会保证串行语义的执行一致性（单线程），并不会关系多线程间的语义一致性。所以当一条线程访问instance != null时，由于instance实例未必已经初始化完成，所以造成了线程安全性问题。可以使用volatile关键字来避免此问题。

private static volatile SingletonDemo02 instance = null;