记一次你不知道到单例模式之重排序

其实工作中单例模式也是很常见的，也有很多种写法，今天在这里也只说一种方式，也是面试中遇到的，请先看一下两种双重检查锁的写法有什么不同(以下内容引自《java并发编程的艺术》一书)。

（1）

public class DoubleCheckedLocking {
    private static DoubleCheckedLocking doubleCheckedLocking ;
    
    public static DoubleCheckedLocking getInstance(){
        if(doubleCheckedLocking == null){                                //1：第一次检查
            synchronized (DoubleCheckedLocking.class){                  //2：加锁
                if(doubleCheckedLocking == null){                      //3:第二次检查
                    doubleCheckedLocking = new DoubleCheckedLocking() ; //4:生成对象
                }
            }
        }
        return doubleCheckedLocking ;
    }
}

分析一下上面的代码，看是否存在问题：

      如果第一次检查doubleCheckedLocking不为null,那么久不需要执行下面加锁和初始化操作。因此，可以大幅度降低synchronized带来的性能开销。上面代码表面上看起来似乎量两全其美。

       1.多个线程试图在同一时间创建对象时，会通过加锁来保证只有一个线程能创建对象

       2.在对象创建好之后，执行getInstance()方法将不需要获取锁，直接返回已创建好的对象。

        双重检查锁定看起来似乎很完美，但这是一个错误的优化，在线程执行到第一次检查，代码读取doubleCheckedLocking不为null时，instance引用的对象有可能还没有完成初始化。

那问题会在哪里呢？

      前面的双重检查锁定示例代码的第4步（ doubleCheckedLocking = new DoubleCheckedLocking()）创建了一个对象。这行代

码可以分解为如下3行伪代码。

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

ctoryInstance(memory);//2：初始化对象

instance = memory ; //3：设置instance执行刚分配的内存地址。

上面的3个步骤是否是原子性的呢？

答案是否定的，上面3行伪代码中的2和3之间，可能会被重排序（在一些JIT编译器上，这种重排序是真是发生的）2和3重排序之后执行时序如下。

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

instance = memory ; //3：设置instance执行刚分配的内存地址。（注意：此时对象还没有被初始化）

ctoryInstance(memory);//2：初始化对象

从上面我们可以看出，如果对象在未完成初始化的时候，做第一步检查时对象不为空，这是直接返回对象，进行调用时有可能里面的属性还都没有值。

怎么解决呢？

基于volatile的解决方案

对于前面的基于双重检查锁定来实现延迟初始化的方案。只需要做一点修改就可以实现线程安全的延迟初始化，请看下面的示例

（2）

public class DoubleCheckedLocking {
    private volatitle static DoubleCheckedLocking doubleCheckedLocking ;

    public static DoubleCheckedLocking getInstance(){
        if(doubleCheckedLocking == null){                                //1：第一次检查
            synchronized (DoubleCheckedLocking.class){                  //2：加锁
                if(doubleCheckedLocking == null){                      //3:第二次检查
                    doubleCheckedLocking = new DoubleCheckedLocking() ; //4:生成对象
                }
            }
        }
        return doubleCheckedLocking ;
    }
}

当使用对象的应用为volatitle后，前面说的2和3直接的重排序，在多线程环境中将会被禁止。

单例模式在面试中被问的几率还是很大的，当我们给他写出基于volvatitle的方式的单例模式的时候，顺便再给他说一下重排序的问，是不是可以装一下逼呢 哈哈哈

个人公众号欢迎共同成长和交流