有效不可变对象

Question

我想确保我正确理解根据Java内存模型的‘有效不可变对象’行为。

假设我们有一个可变类，我们希望将它发布为一个有效不可变的类：

class Outworld {
  // This MAY be accessed by multiple threads
  public static volatile MutableLong published;
}

// This class is mutable
class MutableLong {
  private long value;

  public MutableLong(long value) {
    this.value = value;
  }

  public void increment() {
    value++;
  }

  public long get() {
    return value;
  }
}

我们执行以下操作：

// Create a mutable object and modify it
MutableLong val = new MutableLong(1);
val.increment();
val.increment();
// No more modifications
// UPDATED: Let's say for this example we are completely sure
//          that no one will ever call increment() since now

// Publish it safely and consider Effectively Immutable
Outworld.published = val;

问题是：Java内存模型是否保证所有线程必须具有outworld.published.get()==3？

根据Java并发实践，这应该是正确的，但如果我错了，请纠正我。

3.5.3.安全发布习语

要安全地发布对象，必须同时使对对象的引用和对象的状态对其他线程可见。通过以下方法可以安全地发布正确构造的对象:
-从静态初始化器初始化对象引用；
-将对它的引用存储到volatile字段或atomicreference中；
-将对它的引用存储到正确构造的对象的final字段中；或者
-将对它的引用存储到由锁正确保护的字段中。

3.5.4.有效不可变的对象

安全发布的有效不可变对象可以被任何线程安全地使用，而不需要额外的同步。

Answer 1

是的。对mutablelong的写操作在读之前，后面紧跟一个happens-before关系（在volatile上）。

（有可能一个线程读取outworld.publish并不安全地将其传递给另一个线程。理论上，这可能会看到更早的状态。但实际上，我并不认为会发生这种情况。）