Java基础教程：多线程杂谈——双重检查锁与Volatile
双重检查锁
有时候可能需要推迟一些高开销的对象初始化操作，并且只有在使用这些对象时才进行初始化。此时程序员可能会采用延迟初始化。但要正确实现线程安全的延迟初始化需要一些技巧，否则很容易出现问题。比如，下面是非线程安全的延迟初始化对象的示例代码：
public class A{
private Instance instance;
public Instance getInstance(){
if(instance==null){
instance = new Instance();
}
}
return instance;
}
}
因为在多线程执行下，instance可能被多次初始化。我们可以对 getInstance() 做同步处理来实现线程安全的延迟初始化。示例代码如下：
public class A{
private Instance instance;
public Instance getInstance(){
if(instance==null){
synchronized(A.class){
if(instance==null)
instance = new Instance();
}
}
return instance;
}
}
可见，我们用了两次is null 判断，如上则是通过双重检查锁定来降低同步的开销。
问题
前面的双重检查锁定示例代码（instance = new Singleton();）创建一个对象。这一行代码可以分解为如下的三行伪代码：
memory = allocate(); //1：分配对象的内存空间
ctorInstance(memory); //2：初始化对象
instance = memory; //3：设置 instance 指向刚分配的内存地址
上面三行伪代码中的 2 和 3 之间，可能会被重排序（在一些 JIT 编译器上，这种重排序是真实发生的，详情见参考文献 1 的“Out-of-order writes”部分）。2 和 3 之间重排序之后的执行时序如下：
memory = allocate(); //1：分配对象的内存空间
instance = memory; //3：设置 instance 指向刚分配的内存地址
// 注意，此时对象还没有被初始化！
ctorInstance(memory); //2：初始化对象
所以说可能出现一种情况就是，锁内线程创建对象时仅仅分配了内存地址还未完成初始化，锁外的线程就会判断is null 为false，从而返回一个半成品实例。问题的关键所在就是创建对象并非原子操作，从而被编译器进行指令重排序，导致发生意想不到为问题。
解决办法
为了防止这个过程的重排序，我们需要将变量设置为volatile类型的变量，volatile的禁止重排序保证了操作的有序性。