Java中的双重检查锁定问题[重复]

Question

其中一篇文章提到了"Double Check Locking" 的问题。请看下面的例子

public class MyBrokenFactory {
  private static MyBrokenFactory instance;
  private int field1, field2 ...

  public static MyBrokenFactory getFactory() {
    // This is incorrect: don't do it!
    if (instance == null) {
      synchronized (MyBrokenFactory.class) {
        if (instance == null)
          instance = new MyBrokenFactory();
      }
    }
    return instance;
  }

  private MyBrokenFactory() {
    field1 = ...
    field2 = ...
  }
}

原因：-（请注意编号的执行顺序）

线程 1：“首先进入”并开始创建实例。 1. 实例是否为空？是的。 2.同步上课。 3. 例如分配内存。 4. 指向保存到实例中的内存的指针。 [[线程 2]] 7. field1 和 field2 的值被写入 分配给对象的内存。 ..................... 线程 2：在线程 1 写入对象引用时进入 到内存，但在它写完所有字段之前。 5. 实例是否为空？不。 6.instance不为null，但是field1和field2还没有设置！ 此线程看到 field1 和 field2 的无效值！

问题：
由于新实例的创建（new MyBrokenFactory()）是从同步块中完成的，在整个初始化完成之前会不会释放锁（私有的MyBrokenFactory()完全执行）？

参考 - https://www.javamex.com/tutorials/double_checked_locking.shtml

请解释一下。

Answer 1

问题出在这里：

线程 2：在线程 1 将对象引用写入内存时进入，但在它写入所有字段之前。

实例是否为空？没有。

如果没有同步，线程 2 可能看到 instance 为 null，即使线程 1 已经编写了它。请注意，instance 的第一次检查位于 synchronized 块之外：

if (instance == null) {
  synchronized (MyBrokenFactory.class) {

由于第一次检查是在块外完成的，因此无法保证线程 2 会看到正确的 instance 值。

我不知道你想用 field1 和 field2 做什么，你甚至从来没有写过它们。

回复。您的编辑：

由于新实例（new MyBrokenFactory()）的创建是从同步块完成的

我认为您要问的是，field1 和 field2 这两个实例字段是否保证可见。答案是否定的，问题与instance 相同。因为您没有从同步块中读取instance，所以无法保证这些实例字段将被正确读取。如果instance 不为空，则永远不会进入synchronized 块，因此不会发生同步。

Answer 2

请找到我的问题的答案。我通过查看another similar question here得到了答案。

同步保证，只有一个线程可以进入一段代码。但它不能保证在同步部分中完成的变量修改对其他线程是可见的。只有进入同步块的线程才能保证看到更改。这就是双重检查锁定被破坏的原因 - 它在读者方面不同步。读取线程可能会看到，单例不为空，但单例数据可能未完全初始化（可见）。

订购由volatile 提供。 volatile 保证排序，例如写入易失性单例静态字段保证写入单例对象将在写入易失性静态字段之前完成。它不会阻止创建两个对象的单例，这是由 synchronize 提供的。

类最终静态字段不需要是易失的。在 Java 中，JVM 处理了这个问题。