番石榴：记忆供应商线程安全

Question

番石榴供应商类包含备忘录供应商：

static class MemoizingSupplier<T> implements Supplier<T>, Serializable {
    final Supplier<T> delegate;
    transient volatile boolean initialized;
    // "value" does not need to be volatile; visibility piggy-backs
    // on volatile read of "initialized".
    transient T value;

    MemoizingSupplier(Supplier<T> delegate) {
      this.delegate = delegate;
    }

    @Override public T get() {
      // A 2-field variant of Double Checked Locking.
      if (!initialized) {
        synchronized (this) {
          if (!initialized) {
            T t = delegate.get();
            value = t;
            initialized = true;
            return t;
          }
        }
      }
      return value;
    }

    @Override public String toString() {
      return "Suppliers.memoize(" + delegate + ")";
    }

    private static final long serialVersionUID = 0;
  }

有人能解释一下这句话是什么意思吗？

“价值”不需要是易变的；可见性依赖于对“已初始化”的易失性读取。

“初始化”字段上的挥发性如何影响“值”字段？根据这篇文章，我们可以得到“初始化”和“值”字段的不一致组合（例如。真空值）。我说错了吗？

Answer 1

这句话的基本意思是

如果该值未初始化，程序将执行这两条语句：

value = t;          //normal write
initialized = true; //volatile write

如果值被初始化，程序将执行这两条语句：

if(!initialized) { ... } //volatile read
return value;            //normal read

由于volatile语义，您在volatile write和volatile read之间有一个before关系，正常读入返回值保证在value=t处看到写入。这是因为正常写入在易失性写入之前，而正常读取在易失性读取之后。

例如，如果程序是这样编写的：

initialized = true;
value = t;

返回值可能返回空值，因为此处的写入不会发生在作为内存屏障的易失性写入之前，因此它不再受益于易失性语义。