double check为什么要加volatile，sync内代码块难道不是全部执行完才释放锁的吗？

Question

大部分帖子说的原因是在instance初始化中的3个步骤中由于指令重新排序导致线程2拿到不完整的instance，可是既然有synchronize包裹，应该是全部执行完才会释放锁的把？不应该会出现-在初始化的3步骤中，线程2突然获取到锁了啊

volatile保证了修饰的变量不能被重新排序，也就是说变量初始化的顺序固定为1、分配内存空间2、初始化一个SingletonClass对象3、将变量引用指向内存空间

这样在多线程判断时，如果对象不为null，那么指向的那个实体必定已经初始化完毕了

那么既然如此，是不是可以用atomicreference来代替volatile呢？

Answer 1

public class SingletonClass { 

  private static SingletonClass instance = null; 

  public static SingletonClass getInstance() { 
    if (instance == null) { 
      synchronized (SingletonClass.class) { 
        if (instance == null) { 
          instance = new SingletonClass(); 
        } 
      } 
    } 
    return instance; 
  } 

  private SingletonClass() { 

  } 

}

主要是看清检测的时机，比如当你线程A在执行 instance = new SingletonCl ass(); ** 时，它先分配了内存，然后再进行构造初始化，这里有好几步，假如刚好在分配了内存以后，还未初始化的时候，线程B来调用函数，这个时候，if (instance == null) ** 这个判断条件就为真，这样B线程就之间拿到instance 返回，然后后续使用，这个时候，就会有问题了

而volatile加入了happens-before的语义规范，被volatile修饰的写变量不能和之前的读写代码调整，读变量不能和之后的读写代码调整！因此，只要我们简单的把instance加上volatile关键字就可以了。