Java并发02Java内存模型04-单例模式双重检查的补充

一.原始方案及存在的问题

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

问题：
看似没有任何问题了，其实不然，主要问题在于instance = new SingleInstance()这行代码并不是原子性的，也就是说，这行代码需要处理器分为多步才能完成，如下图所示。

上面3行伪代码中的2和3可能会被重排序。

这样就会造成：当A线程执行instance = new SingleInstance()时，因为重排序导致instance已经不空，但还没初始化（即执行了伪代码的1和3,但是2还没来得及执行）。此时B线程执行到第一个if判断，判断instance不为空，直接返回instance，那么该instance其实还没初始化！

二.解决方案

有两种方式解决：

1. 不允许上面伪代码的2和3重排序。（基于volatile的解决方案）
2. 允许那两条伪代码重排序，但这个重排序不对其他线程可见。（基于类初始化的解决方案）

1. 基于volatile的解决方案

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

就是把instance声明成volatile类型，这时，伪代码中2和3的重排序在多线程环境 下被禁止。

2.基于类初始化的解决方案

class SingleInstance{

    private static class SingletonClassInstance{
        private static final SingleInstanceinstance=new SingletonDemo();
    }

    private SingleInstance(){}

    public static SingleInstance getInstance(){
        return SingletonClassInstance.instance;
    }

}

静态内部类的优点是：外部类加载时并不需要立即加载内部类，内部类不被加载则不去初始化instance，故而不占内存。即当SingleInstance第一次被加载时，并不需要去加载SingletonClassInstance，只有当getInstance()方法第一次被调用时，才会去初始化instance,第一次调用getInstance()方法会导致虚拟机加载SingletonClassInstance类，这种方法不仅能确保线程安全，也能保证单例的唯一性，同时也延迟了单例的实例化。

解析：

1. 这几种情况导致类被初始化
   
   首次执行getInstance()会使得SingletonClassInstance被初始化（符合情况4）。
2. Java语言规定，对于每一个类或接口，都有唯一的初始化锁与之对应。所以如果存在多个线程在同一时间尝试去初始化同一个类或接口，JVM保证只会有一个线程去执行这个类的初始化，其他线程都需要阻塞等待，直到活动线程执行初始化完毕。需要注意的是，其他线程虽然会被阻塞，但如果执行初始化后，其他线程唤醒之后不会再次初始化。同一个加载器下，一个类型只会初始化一次。