1_基础知识_chapter04_对象的组合_1_设计线程安全的

设计线程安全的类的三要素

(1) 找出构成对象状态的所有变量

(2) 找出约束状态变量的不可变条件

(3) 建立对象状态的并发访问管理策略

如果对象的域都是基本类型, 则它们组成了对象的全部状态; 如果出现了引用类型, 则要递归的包含它们引用对象的域

同步策略

规定了如何在不违背对象的不变条件和后验条件的情况下对其状态的访问操作进行协同, 规定了如何将不可变性、线程封闭、加锁机制等结合起来

同步策略已经写成文档