有效的不可变对象

我想确保我根据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. 安全出版习语

若要安全地发布对象，必须同时使对该对象的引用和该对象的状态对其他线程可见。正确构造的对象可以通过以下方式安全发布：
- 从静态初始值设定项初始化对象引用;
- 将对它的引用存储到易失性字段或原子引用中;
- 将对它的引用存储到正确构造的对象的最终字段中;or
- 将对它的引用存储到由锁正确保护的字段中。

3.5.4. 有效不可变的对象

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