双重校验单例模式的经典实现为什么要加volatile

双重校验单例模式的经典实现为什么要加volatile

这里加volatile关键字的用途是为了防止指令重排

class Singleton{
    private volatile static Singleton singleton;   
    public static Singleton getInstance(){       

        if(singleton == null){                      // 语句1
            synchronized(Singleton.class){          // 语句2
                if(singleton == null){              // 语句3
                    singleton = new Singleton();    // 语句4
                }
            }
        } 
        
        return singleton;           
    }
}

new 一个对象实际是4个步骤：
a. 看class对象是否加载，如果没有就先加载class对象，
b. 分配内存空间，初始化实例。
c. 调用构造函数。
d. 返回地址给引用。

不加volatile会出现什么问题

• 两个线程A,B B执行到了语句4，A执行到了语句1
• B因为指令重排，c，d被颠倒了，恰好d执行完了,c还没执行的时候B被挂起了。
• 此时A运行到了语句1， 发现singleton不等于null,于是将还没构造完成的singleton对象返回给了上层调用。