双重校验锁单例为什么这样写

单例双重校验锁实现

代码：

public class Singleton {  
    // 注释1
    private volatile static Singleton singleton; 
    // 注释2
    private Singleton (){} 
    
    public static Singleton getSingleton() {
        // 注释3
    	if (singleton == null) { 
            // 注释4
        	synchronized (Singleton.class) {
                // 注释5
            	if (singleton == null) {  
                	singleton = new Singleton();  
            	}  
        	}  
    	}
        
    	return singleton;  
    }  
}

注释1

singleton = new Singleton();并不是原子指令，可能会指令重排。

创建对象分为三步

1. 分配对象内存（给singleton分配内存）
2. 调用构造器方法，执行初始化（调用Singleton 的构造函数来初始化成员变量）
3. 将对象的引用赋值给变量，执行完这一步Singleton就不是null了

在JVM即时编译器中存在指令重排，2和3的顺序可能被重排，执行顺序可能是123或者132

在132这种情况下
上面多线程执行的流程中，如果线程A获取到锁进入创建对象实例，这个时候发生了指令重排序。当线程A 执行到 t3 时刻(singleton已经非null了，但是却没有初始化)，此时线程 B 抢占了，由于此时singleton已经不为 Null，会直接返回 singleton对象，然后使用singleton对象，然而该对象还未初始化，就会报错。我们只需将 singleton 变量声明成 volatile 就可以禁止指令重排，避免这种现象发生。

注释2

单例的构造器函数必须设置成private，防止外部new创建对象。

注释3

第一次if判断减少性能开销，如果已经创建了对象直接返回。

注释4

同步singleton，防止多个线程进入，创建多个对象。

注释5

避免创建多个对象。

假如有两个线程A、B。当前singleton为空，A和B都通过了第一次判断：

• A获得了锁，B等待锁，A进入第二个Null判断，判断通过，A创建对象然后返回，释放锁
• B获得锁，B进入第二个Null判断，singleton不为空，判断不通过，B不会创建对象。如果没有第二层判断，B还会再创建一个对象。

参考：双重校验锁 --使用volatile和两次判空校验 - JustJavaIt - 博客园 (cnblogs.com)