DCL模式的单例模式,(Double, Check,Lock双端检索机制),以及volatile,防止指令重排;

public class DCLSingleTon {
    private DCLSingleTon(){
        System.out.println(Thread.currentThread().getName() +" 构造方法执行了");
    }

    private static DCLSingleTon singleTon = null;

    public static DCLSingleTon getInstance(){
        //加锁前后都做一次判断
        if (singleTon == null){
            synchronized (DCLSingleTon.class){
                if (singleTon ==null){
                    singleTon = new DCLSingleTon();
                }
            }
        }
        return singleTon;
    }

    public static void main(String[] args) {
        //多线程环境下,执行多次,构造方法只执行一次;说明只有一个对象
        for(int i = 1;i<100;i++){
            new Thread(new Runnable() {
                @Override
                public void run() {
                    DCLSingleTon.getInstance();
                }
            }).start();
        }
    }
}

上面的代码,其实还是不够安全,虽然执行几百上千遍,结果都正确,但是有指令重排的机制,加入volatile可以禁止指令重排;

singleTon = new DCLSingleTon(); 可以分为以下3步完成;(伪代码)

memory = allocate();//1,分配对象内存空间;

singleTon (memory);//2初始化对象

singleTon = memory;//设置 实例指向刚分配的内存地址,此时singleTon !=null;

步骤2和3都依赖于步骤1,所以步骤1肯定不会重排,但是,步骤2和步骤3不存在数据依赖关系,而且无论重排前还是重排后,在单线程中不会影响结果,所以这种重排优化是允许的;

memory = allocate();//1,分配对象内存空间;

singleTon = memory;//设置 实例指向刚分配的内存地址,此时singleTon !=null;但是对象没有完成初始化,

singleTon (memory);//2初始化对象

但是,指令重排只会保证串行语义的执行的一致性(单线程);单并不会关心多线程间的语义一致性;

所以当一条线程访问实例不为null时,由于实例未必已经完成初始化,也就造成了线程安全问题;

 

但是这种概率极低,

在解释一下,有时候可能只是给实例分配了地址,但并没有实例化完成,你去取值就会有问题