单例模式中的双重锁详解

双重检查

public class SingletonExample {
    private volatile static SingletonExample singletonExample;
    public SingletonExample getInstance(){
        if (singletonExample==null){
            synchronized (SingletonExample.class){
                if (singletonExample==null){
                    singletonExample=new SingletonExample();
                }
            }
        }
        return singletonExample;
    }
}

上面是双重检查的正确代码，这样写是为了解决以下问题：

1. 保证对象是单例的。

2. 保证synchronized只在第一次调用，节省开销。

3. 防止了重排序带来的隐患。

下面我们将来逐步分析。

不考虑多线程时：

public class SingletonExample {
    private static SingletonExample singletonExample;
    public SingletonExample getInstance(){
        if (singletonExample==null){
            singletonExample=new SingletonExample();
        }
        return singletonExample;
    }
}

在多线程情况下，这样写会导致多个实例：

Time	Thread A	Thread B
T1	检查到uniqueSingleton为空
T2		检查到uniqueSingleton为空
T3		初始化对象A
T4		返回对象A
T5	初始化对象B
T6	返回对象B

解决多实例方法：加锁

public class SingletonExample {
    private static SingletonExample singletonExample;
    public SingletonExample getInstance(){
        synchronized (SingletonExample.class){
            if (singletonExample==null){
                singletonExample=new SingletonExample();
            }
        }
        return singletonExample;
    }
}

加锁之后，多个实例的问题就被解决了，但是会产生一个新问题，synchronized会被多次使用，但实际上只需要在第一次实例化时使用。

双重检查锁

public class SingletonExample {
    private static SingletonExample singletonExample;
    public SingletonExample getInstance(){
        if (singletonExample==null){
            synchronized (SingletonExample.class){
                if (singletonExample==null){
                    singletonExample=new SingletonExample();
                }
            }
        }
        return singletonExample;
    }
}

如果这样写，运行顺序就成了：

1. 检查变量是否被初始化(不去获得锁)，如果已被初始化则立即返回。

2. 否则获取锁。

3. 再次检查变量是否已经被初始化，如果还没被初始化就初始化一个对象。

执行双重检查是因为，如果多个线程同时了通过了第一次检查，并且其中一个线程首先通过了第二次检查并实例化了对象，那么剩余通过了第一次检查的线程就不会再去实例化对象。

这样，除了初始化的时候会出现加锁的情况，后续的所有调用都会避免加锁而直接返回，解决了性能消耗的问题。

隐患

重排序造成的隐患

上述写法看似解决了问题，但是有个很大的隐患。实例化对象的那行代码（标记为error的那行），实际上可以分解成以下三个步骤：

1. 分配内存空间

2. 初始化对象

3. 将对象指向刚分配的内存空间

但是有些编译器为了性能的原因，可能会将第二步和第三步进行重排序，顺序就成了：

1. 分配内存空间

2. 将对象指向刚分配的内存空间

3. 初始化对象

现在考虑重排序后，两个线程发生了以下调用：

Time	Thread A	Thread B
T1	检查到SingletomExample为空
T2	获取锁
T3	再次检查到SingletomExample为空
T4	为SingletomExample分配内存空间
T5	将SingletomExample指向内存空间
T6		检查到SingletomExample不为空(此时虽然地址不为空，但却未初始化)
T7		访问SingletomExample（此时对象还未完成初始化）
T8	初始化SingletomExample

在这种情况下，T7时刻线程B对uniqueSingleton的访问，访问的是一个初始化未完成的对象。

正确的双重检查锁

public class SingletonExample {
    private volatile static SingletonExample singletonExample;
    public SingletonExample getInstance(){
        if (singletonExample==null){
            synchronized (SingletonExample.class){
                if (singletonExample==null){
                    singletonExample=new SingletonExample();
                }
            }
        }
        return singletonExample;
    }
}

为了解决上述问题，需要在uniqueSingleton前加入关键字volatile。使用了volatile关键字后，重排序被禁止，所有的写（write）操作都将发生在读（read）操作之前。

至此，双重检查锁就可以完美工作了。