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