【单例模式】DCL的问题和解决方法

说起单例模式大家基本上已经很熟了。最为经典的例子double-check-locking （DCL）想想大家都写了很多次了。然而随着越来越透传的对JMM的理解，我们渐渐发现传统的DCL在理论上或许存在问题。

引用：

Initialization-on-demand_holder_idiom

单例模式、双检测锁定DCL、volatile（转）

1.传统的例子

非常经典的例子，基本上对java有了解的同学都可以写出来，我们的例子，可能存在一个BUG，这个BUG的原因是，JMM出于对效率的考虑，是在happens-before原则内（out-of-order）乱序执行。

public class LazySingleton {
    private int id;
    private static LazySingleton instance;
    private LazySingleton() {
        this.id= new Random().nextInt(200)+1;                 // (1)
    }
    public static LazySingleton getInstance() {
        if (instance == null) {                               // (2)
            synchronized(LazySingleton.class) {               // (3)
                if (instance == null) {                       // (4)
                    instance = new LazySingleton();           // (5)
                }
            }
        }
        return instance;                                      // (6)
    }
    public int getId() {
        return id;                                            // (7)
    }
}

2. 简单的原理性介绍。

我们初始化一个类，会产生多条汇编指令，然而总结下来，是执行下面三个事情：

1.给LazySingleton 的实例分配内存。
2.初始化LazySingleton 的构造器
3.将instance对象指向分配的内存空间（注意到这步instance就非null了）

Java编译器允许处理器乱序执行（out-of-order），我们有可能是1->2->3也有可能是1->3->2。即我们有可能在先返回instance实例，然后执行构造方法。

即：double-check-locking可能存在线程拿到一个没有执行构造方法的对象。

3.一个简单可能出错的执行顺序。

线程A、B执行getInstance().getId()

在某一时刻，线程A执行到(5)，并且初始化顺序为：1->3->2，当执行完将instance对象指向分配空间时。此时线程B执行(1)，发现instance!=null，继续执行，最后调用getId()返回0。此时切换到线程B对构造方法初始化。

4. 解决方案

方案一：

利用类第一次使用才加载，加载时同步的特性。
优点是：官方推荐，可以可以保证实现懒汉模式。代码少。
缺点是：第一次加载比较慢，而且多了一个类多了一个文件，总觉得不爽。

public class SingletonKerriganF {     
      
    private static class SingletonHolder {     
        static final SingletonKerriganF INSTANCE = new SingletonKerriganF();     
    }     
      
    public static SingletonKerriganF getInstance() {     
        return SingletonHolder.INSTANCE;     
    }     
}

方案二：利用volatile关键字

volatile禁止了指令重排序，所以确保了初始化顺序一定是1->2->3，所以也就不存在拿到未初始化的对象引用的情况。
优点：保持了DCL，比较简单
确定：volatile这个关键字多少会带来一些性能影响吧。

public class Singleton(){  
    private volatile static Singleton singleton;  
    private Sington(){};  
    public static Singleton getInstance(){  
        if(singleton == null){  
            synchronized (Singleton.class){  
                if(singleton == null){  
                     singleton = new Singleton();    
                }  
            }
        }           
        return singleton;  
    }  
}

方案三：初始化完后赋值。

通过一个temp，来确定初始化结束后其他线程才能获得引用。
同时注意，JIT可能对这一部分优化，我们必须阻止JTL这部分的"优化"。

缺点是有点难理解，优点是：可以不用volatile关键字，又可以用DLC，岂不妙哉。

public class Singleton {    
    
    private static Singleton singleton; // 这类没有volatile关键字    
    
    private Singleton() {    
    }    
    
    public static Singleton getInstance() {    
        // 双重检查加锁    
        if (singleton == null) {    
            synchronized (Singleton.class) {    
                // 延迟实例化,需要时才创建    
                if (singleton == null) {    
                        
                    Singleton temp = null;  
                    try {  
                        temp = new Singleton();    
                    } catch (Exception e) {  
                    }  
                    if (temp != null)    //为什么要做这个看似无用的操作，因为这一步是为了让虚拟机执行到这一步的时会才对singleton赋值，虚拟机执行到这里的时候，必然已经完成类实例的初始化。所以这种写法的DCL是安全的。由于try的存在，虚拟机无法优化temp是否为null  
                        singleton = temp; 
                }    
            }    
        }    
        return singleton;    
    }  
}

最后编辑于：2019.06.05 16:11:18