JMM学习之有序性示例-双重检测延迟加载单例模式最终版

本文链接：https://blog.csdn.net/xshsjl/article/details/117856481

本文探讨了Java中的懒汉式单例模式在并发环境下的问题，即对象创建过程中可能出现的指令重排导致的安全隐患。通过分析对象创建的三个步骤，解释了为何在多线程环境下，未使用volatile修饰的单例实例可能在未完全构造时被返回。解决方案是使用volatile关键字防止指令重排，确保线程安全。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、一般情况下的双重检测单例

public class SingletonLazy {
    private SingletonLazy(){
        System.out.println("延迟加载单例模式被创建");
    }
    private static SingletonLazy instance = null;

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

这段代码看起来完全没有问题，第一次层循环减少同步块性能问题，同步块中的判断是否有没有创建，保证只创建一次。但是如果了解指令重排，就会发现，在创建对象可能会发生指令重排的情况，因此在并发会出现在对象还没有真正创建成功时就返回实例。

对象创建的简单过程和重排问题

1、在堆内存中分配出对象需要的内存空间
2、初始化对象
3、将堆区的内存配置给实例
三步都执行完成后对象才创建完成instance！=null
由于第二步和第三步没有依赖关系，并且指令重排后在本线程的最终结果是一致的，所以第二步和第三部可能会发生指令重排。在并发情况下，可能会出现线程正好取到了instance!=null，但是对象还没创建完成的情况，这样就出现了问题。

解决指令重排问题（最终代码）

volatile可以禁止指令重排，因此我们使用volatile声明变量

public class SingletonLazy {
    private SingletonLazy(){
        System.out.println("延迟加载单例模式被创建");
    }
    private static volatile SingletonLazy instance = null;

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