为什么Java中双重检查锁定被破坏？

Question

此问题与旧Java版本的行为以及双重检查锁定算法的旧实现有关

较新的实现使用volatile并依赖于略有更改的volatile语义，因此它们 不会 损坏。

声明字段分配始终是原子的，除了long或double字段。

但是，当我阅读解释为什么双重检查锁定被破坏时，据说问题出在赋值操作中：

// Broken multithreaded version
// "Double-Checked Locking" idiom
class Foo {
    private Helper helper = null;
    public Helper getHelper() {
        if (helper == null) {
            synchronized(this) {
                if (helper == null) {
                    helper = new Helper();
                }
            }
        }
        return helper;
    }

    // other functions and members...
}

1. 线程A注意到该值未初始化，因此它获得了锁并开始初始化该值。
2. 由于某些编程语言的语义，允许编译器生成的代码在A完成执行初始化之前将共享变量更新为指向部分构造的对象。
   3.
   线程B注意到共享变量已初始化（或出现），并返回其值。因为线程B认为该值已被初始化，所以它不获取锁。如果B在A看到由A完成的所有初始化之前就使用了该对象（要么是因为A尚未完成对其的初始化，要么是因为该对象中的某些初始化值尚未渗透到B使用的内存中（缓存一致性））
   ，程序可能会崩溃。
   （来自http://en.wikipedia.org/wiki/Double-
   checked_locking）。
   
   
   

什么时候有可能？在64位JVM上分配操作是否可能不是原子的？如果否，那么“双重检查锁定”是否真的无效？

Answer 1

问题不是原子性，而是排序。JVM是允许对指令重新排序，以提高性能，只要之前发生不受侵犯。因此，运行时理论上可以在执行helper来自类构造函数的所有指令之前安排要更新的指令Helper。