可变对象的安全发布

Question

public Holder {
    private int n;
    public Holder(int n) { this.n = n };
    public void assertSanity() {
        if(n != n)
             throw new AssertionError("This statement is false.");
    }
}

及其不安全的发布：

//unsafe publication
public Holder holder;
    public void initialize() {
        holder = new Holder(42);
    }

可以抛出AssertionError,我同意。作者写道，这是因为不安全的出版，但另一方面没有答案：什么才是正确的出版方式？它们表示了4个安全发布习惯用语，但我不明白，为什么它们会在上面的情况下起作用：

要安全地发布对象，必须同时使对对象的引用和对象的状态对其他线程可见。通过以下方法可以安全地发布构造正确的对象：

null

//safe publication
public volatile Holder holder;

//safe publication
public final Holder holder;

private final int n;

private volatile int n;

这里是我的第一个问题，谢谢你的帮助！

Answer 1

实际上，我认为volatile在这里是最简单的解释。当操作可以重新排序时，就会发生不安全的发布，而volatile可以防止这种情况。我可以解释得更可能，但它已经解释得比我要准确得多了。

基本上，下面将插入适当的内存屏障，以防止重新排序，如这里所解释的。从本质上讲，volatile所做的是，如果一个线程a读取了一个由ThreadB执行的volatile更新，那么它保证也会看到在volatile写入之前完成的所有更新。

final也使事情变得安全，它是专门在JLS中编写的。

但是这里有两种情况：将对它的引用存储到正确构造的对象的最后一个字段中。

因此，根据JLS，这是安全发布：

class Holder {
    private final int n; // making final here
}

有适当的内存障碍插入，以防止在发布引用本身时对构造函数中的存储进行重新排序。

static class Holder {

   private int n;

   public void setN(int n){
      this.n = n;
   }
}

 class Other {
    final Holder holder;
    Other(){
        holder = new Holder();
        holder.setN(12);
    }
 }