JAVA并发编程（一） 并发基础

4. 组合对象线程安全
4.1 设计线程安全的类
  使用公共静态域，一个类的所有状态组成了线程安全的整体域。
  

4.1.1 收集同步需求
  设计同步前，需要明确同步需求，是否需要加一些不变约束和后验条件，通过这些不变约束和合法性验证，同时引入一些封装和同步，来控制类的状态处于合法状态下。

4.1.2 状态依赖的操作
   加入前验条件，使得状态在非法的情况下，不进行操作。
   入加入一些信号量，当到某状态下才进行某些操作。

4.1.3 状态所有权
   一个对象的所有权是包括了对象本身的及对象包含的所有的对象。 通常所有权和封装同时出现，拥有所有状态的对象控制锁。

4.2 实例限制
    当一个对象被另一个对象封装了，则被封装的对象完全被该对象可知了。 可以通过封装的方式，来简化安全工作，及时这个被封装对象不是线程安全的。
    必须把这个被封装对象限制在可使用的范围内。
    举例：
         java监视器模式,.