不可变对象可以在没有额外同步的情况下，安全地用于任意线程；甚至发布它们时亦不需要同步。
安全发布的模式：
如果一个对象是可变的，它就必须被安全地发布，通常发布线程与消费线程都必须同步化。如何确保消费线程能够看到处于发布当时的对象状态，我们要解决对象发布后对其修改的可见性问题。
为了安全地发布对象，对象的引用以及对象的状态必须同时对其他线程可见。一个正确创建的对象可以通过下列条件安全地发布：
- 通过静态初始化器初始化对象的引用；
- 将它的引用存储到 volatile域或 AtomicReference；
- 将它的引用存储到正确创建的对象的final域中；
- 或者将它的引用存储到由锁正确保护的域中。
线程安全库中的容器提供了如下的线程安全保证：
- 置入Hashtable、synchronizedMap、ConcurrentMap 中的主键以及健值，会安全地发布到可以从Map获得它们的任意线程中，无论是直接获得还是通过迭代器（iterator）获得：
- 置入vector、CopyOnWriteArrayList、CopyOnWriteArraySet、synchronizedList或者synchronizedSet中的元素，会安全地发布到可以从容器中获得它的任意线程中。
- 置入BlockingQueue 或者 ConcurrentLinkedQueue 的元素，会安全地发布到可以从队列中获得它的任意线程中。
//静态初始化器示例：
public static Holder holder = new Holder(42);
发布对象的必要条件依赖于对象的可变性：
- 不可变对象可以通过任意机制发布；
- 高效不可变对象必须要安全发布；
- 可变对象必须要安全发布，同时必须要线程安全或者被锁保护。
安全地共享对象
在并发程序中，使用共享对象的一些最有效的策略如下：
- 线程限制：一个线程限制的对象，通过限制在现场中，而被线程独占，且只能被占有它的线程修改。
- 共享只读（share read-only）：一个共享的只读对象，在没有额外同步的情况下，可以被多个线程并发地访问，但是任何线程都不能修改它。共享只读对象包括可变对象与高效不可变对象。
- 共享线程安全（shared thread-safe）：一个线程安全的对象在内部进行同步，所以其他线程无须额外同步，就可以通过公共接口随意地访问它。
- 被守护的（Guarded）：一个被守护的对象只能通过特定的锁来访问。被守护的对象包括那些被线程安全对象封装的对象，和已知被特定的锁保护起来的已发布对象。
将数据封装在对象内部，把对数据的访问限制在对象的方法上，更易确保线程在访问数据时总能获得正确的 锁。
网友评论