在Java中的双重检查锁定中易失性[重复]

Question

据我所知，这是Java中双重检查锁定模式的正确实现（自Java5）：

class Foo {
    private volatile Bar _barInstance;
    public Bar getBar() {
        if (_barInstance == null) {
            synchronized(this) { // or synchronized(someLock)
                if (_barInstance == null) {
                    Bar newInstance = new Bar();
                    // possible additional initialization
                    _barInstance = newInstance;
                }
            }
        }
        return _barInstance;
    }
}

我想知道缺少volatile是一个严重的错误，还是一个可能存在性能缺陷的轻微缺陷，假设\u barInstance只能通过getBar访问。

我的想法是这样的：同步引入了事前发生关系。初始化_barInstance的线程将其值写入离开同步块的主存储器。因此，即使不是易失性的，也不会有_barInstance的双重初始化：其他线程的_barInstance本地副本中有null（在第一次检查中得到true），但是必须在进入同步块后的第二次检查中从主存储器中读取新值（getfalse并且不进行重新初始化）。因此，唯一的问题是每个线程获取过多的锁。

据我所知，它在CLR中是正确的，我相信它在JVM中也是正确的。我说得对吗？

非常感谢。

Answer 1

在以下情况下，不使用volatile可能会导致错误：

• 线程1输入getBar（）并发现_barInstance为null
• 线程1尝试创建一个Bar对象并更新对_barInstance的引用。由于某些编译器优化，这些操作可能会无序完成。
• 同时，线程2输入getBar（）并看到一个非空的_barInstance，但可能会在_barInstance对象的成员字段中看到默认值。它基本上看到一个部分构造的对象，但引用不是null。

易失性修饰符将禁止写入或读取变量_barInstance相对于任何先前的读取或写入。因此，它将确保线程2不会看到部分构造的对象。

更多详情：http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html