java的单例模式,为什么需要volatile

目前看了java并发的书,记录一下。对于java的单例模式,正确的代码应该为:

public class TestInstance {

    private volatile static TestInstance instance;

    public static TestInstance getInstance() { //1
        if (instance == null) {                  //2
            synchronized (TestInstance.class) {//3
                if (instance == null) { //4
                    instance = new TestInstance();//5
                }
            }
        }
        return instance;//6
    }
}

volatile的意义是防止局部代码重新排序
以前不了解为什么需要 volatile关 键字,后来发现在并发情况下,如果没有 volatile 关键字,在第5行会出现问题
对于第5行

instance = new TestInstance();

可以分解为3行伪代码

1 memory=allocate();// 分配内存 相当于c的malloc

2 ctorInstanc(memory) //初始化对象

3 instance=memory //设置instance指向刚分配的地址

上面的代码在编译器运行时,可能会出现重排序 从1-2-3 排序为1-3-2

如此在多线程下就会出现问题

例如现在有2个线程A,B

线程A在执行第5行代码时,B线程进来,而此时A执行了 1和3,没有执行2,此时B线程判断instance不为null 直接返回一个未初始化的对象,就会出现问题

而用了volatile,上面的重排序就会在多线程环境中禁止,不会出现上述问题。

©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页