标签：
1.在设计线程安全类的过程中，需要包括以下三个基本要素：
1）找出构成对象状态的所有变量
2）找出约束状态变量的不变性条件
3）建立对象状态的并发访问管理策略
2.收集同步需求
要确保类的线程安全性，就需要确保它的不变性条件不会再并发访问的情况下被破坏，这就需要对其状态进行推断。
对象与变量都有一个状态空间，即所有可能的取值，状态空间越小，就越容易判断线程的状态。
如果不了解对象的不变性条件和后验条件，那么久不能确保线程安全性。要满足在状态量的有效值或状态转换上的各种条件，就需要借助于原子性与封装性。
3.依赖状态的操作
如果在某个操作中包含基于状态的先验条件，那么这个操作就称为依赖状态的操作。
1.封装简化了线程安全类的实现过程，它提供了一种实例封闭机制，通常也简称为“封闭”。
2.将数据封装在对象内部，可以将数据的访问限制在对象的方法上，从而更容易确保线程在访问数据是总能持有正确的锁。
3.封闭机制更易于构造线程安全类，因为当封闭类的状态变化时，在分析类的线程安全性时就无须检查整个程序。
4.Java监视器模式
从线程封闭原则及其逻辑推论可以得出Java监视器模式。遵循Java监视器模式的对象会把对象的所有可变状态都封装起来，并且由对象自己的内置锁来保护。
如果一个状态变量时线程安全的，并且没有任何不变性条件来约束它的值，在变量的操作上也不存在任何允许的状态转换，那么久可以安全的发布这个变量。
标签：
原文地址：http://www.cnblogs.com/lrh-xl/p/5393661.html
