DCL(双端检索)机制不一定线程安全

15 篇文章 2 订阅

DCL(双端检索)机制不一定线程安全,原因是有指令重排序的存在,加入volatile可以禁止指令重排。
原因在于某一个线程执行到第一次检测,读取到的instance不为null时,instance的引用对象可能没有完成初始化。
instance = new SingletonDemo();可以分为以下3步骤完成(伪代码)

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

步骤2和步骤3不存在数据依赖关系,而且无论重排前还是重排后程序的执行结果在单线程中没有改变,因此这种重排优化是允许的。
4. memory = allocate(); //分配对象内存空间
5. instance = memory; //设置instance指向刚分配的内存地址,此时instance != null,但是对象还没有初始化完成!
6. instance(memory); //初始化对象

但是指令重排只会保证穿行语义的执行的一致性(单线程),但并不会关心多线程间的语义一致性。所以当一条线程访问instance不为null时,由于instance实例未必已初始化完成,也就造成了线程安全问题。

代码示例如下:

public class VolatileDclDemo {
    //private static VolatileDclDemo instance;
    private static volatile VolatileDclDemo instance;

    public VolatileDclDemo() {
        System.out.println(Thread.currentThread().getName() + "\t VolatileDclDemo构造方法VolatileDclDemo()");
    }

    //DCL(Dooble Check Lock 双端检索机制)
    public VolatileDclDemo getInstance(){
        if (instance == null){
            synchronized (VolatileDclDemo.class){
                if (instance == null){
                    instance = new VolatileDclDemo();
                }
            }
        }
        return instance;
    }

}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值