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关键字,在第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,上面的重排序就会在多线程环境中禁止,不会出现上述问题。