- 先验条件（Precondition）：某些方法包含基于状态的先验条件。例如，不能从空队列中移除一个元素，在删除元素前队列必须处于非空状态。基于状态的先验条件的操作成为依赖状态操作。
- 在单线程中，如果某操作无法满足先验条件，就只能失败，但在并发程序中先验条件可能会由于其他线程执行的操作而变成真。
- java中等待某个条件为真的各种内置机制（包括等待和通知机制）都与内置加锁紧密关联。
- 所有权和封装性总是相关联的：对象封装它拥有的所有权，对象对它的封装的状态拥有所有权。
- 发布了某个可变对象的引用，那就不再拥有独占的控制权。
- 容器类通常表现出一种“所有权分离”的形式。
4.1设计线程安全的类
在设计线程安全类的过程中，需要包含以下三个基本要素：
- 找出构成对象状态的所有变量
- 找出约束状态变量的不可变性条件
- 建立对象状态的并发访问管理策略
java并发编程实践学习（2）--对象的组合
原文：http://www.cnblogs.com/woshimrf/p/5242029.html
