1_基础知识_chapter03_对象的共享_5_安全发布

(1) Java内存模型为不可变对象的共享提供了特殊的初始化安全性保证, 即使在发布这些对象时没有同步

(2) 在没有额外同步的情况下, 也可以保证安全访问final类型的域(但是如果final类型的域所指向的是可变对象, 还是需要同步)

一个正确构造的对象, 可以通过以下方式安全发布

(1) 静态初始化函数中初始化一个对象引用

JVM内部存在的同步机制保证

(2) 将对象的引用保存到volatile类型的域或者AtomicReference对象中

(3) 将对象的引用保存到某个正确构造对象的final类型域中

(4) 将对象的引用保存到一个由锁保护的域中

(将对象放入到某个带锁的容器例如Vector, synchronizedList再发布也属于这种情形)

所有的安全发布机制都能确保, 当对象的引用对所有访问该对象的线程可见时, 对象发布时的状态对于所有线程也将是可见的。如果对象状态不再改变, 那么足以确保任何访问都是安全的

事实不可变对象

(1) 如果对象从技术上看可变, 但是其状态从发布后不会再改变, 则这种对象称为事实不可变对象(例如java.util.Date类)

(2) 在没有额外的同步的情况下, 任何线程都可以安全的使用被安全发布的事实不可变对象

可变对象

不仅在发布时需要使用同步, 每次对象访问时也要使用同步来确保后续修改操作的可见性

示例

  public class Holder {

      private int n;

      public Holder(int n) {

          this.n = n;
      }

      public void assertSanity() {

          if (n != n) {
              throw new AssertionError("This statement is false.");
          }
      }
  }

在多线程环境下, Holder很可能没有被正确发布, 造成某个线程中未必看到其他线程构造好的n的值, 从而造成AssertionError; 如果将n用final修饰, 则可以避免这个问题

对象的发布需求

不可变对象: 任意机制发布

事实不可变对象: 安全发布方式(4种)

可变对象: 由某个锁保护发布