单例模式中指令重排序及需要使用volatile的理解

创建单例模型的方法有多种,我们常用的是双重校验法,代码如下:

public class SingleTon {
    private static SingleTon instance = null;
    private SingleTon(){}

    public static SingleTon getInstance(){
        if(instance == null) {//第一次判断是否为null
            synchronized (SingleTon.class){//使用synchronized对class加锁
                if(instance == null) {//再次判断是否为空
                    instance = new SingleTon();
                }
            }
        }
        return instance;
    }
}  

上述代码,在执行10万、20万次可能没有问题,但是总有可能会出现一种报null的异常;分析如下:

instance = new SingleTon();

上面的代码,在底层其实是分成了3步:

1.分配地址空间
2.初始化SingleTon对象
3.将SingleTon对象的地址赋值给instance,此时instance不为null

我们都知道,jvm为了提高性能,编译器和处理器都会对指令进行重排序,上述的3步,中2和3是没有数据依赖,可以重排序,所以可能的执行顺序是1/3/2,所以当第一个线程在按照1/3/2创建单例时,正好执行到了3步骤,只是将地址空间赋值给instance,而没有初始化SingleTon对象,第二个线程过来以判断instance不为null,直接就调用单例内部其他方法的话可能就会报null

总结,所以在使用双重校验创建单例时,instance需要使用volatile来修饰

  

posted @ 2020-12-19 12:24  发奋推墙  阅读(358)  评论(0编辑  收藏  举报