4. 组合对象线程安全
4.1 设计线程安全的类
使用公共静态域,一个类的所有状态组成了线程安全的整体域。
4.1.1 收集同步需求
设计同步前,需要明确同步需求,是否需要加一些不变约束和后验条件,通过这些不变约束和合法性验证,同时引入一些封装和同步,来控制类的状态处于合法状态下。
4.1.2 状态依赖的操作
加入前验条件,使得状态在非法的情况下,不进行操作。
入加入一些信号量,当到某状态下才进行某些操作。
4.1.3 状态所有权
一个对象的所有权是包括了对象本身的及对象包含的所有的对象。 通常所有权和封装同时出现,拥有所有状态的对象控制锁。
4.2 实例限制
当一个对象被另一个对象封装了,则被封装的对象完全被该对象可知了。 可以通过封装的方式,来简化安全工作,及时这个被封装对象不是线程安全的。
必须把这个被封装对象限制在可使用的范围内。
举例:
java监视器模式,.
4.1 设计线程安全的类
使用公共静态域,一个类的所有状态组成了线程安全的整体域。
4.1.1 收集同步需求
设计同步前,需要明确同步需求,是否需要加一些不变约束和后验条件,通过这些不变约束和合法性验证,同时引入一些封装和同步,来控制类的状态处于合法状态下。
4.1.2 状态依赖的操作
加入前验条件,使得状态在非法的情况下,不进行操作。
入加入一些信号量,当到某状态下才进行某些操作。
4.1.3 状态所有权
一个对象的所有权是包括了对象本身的及对象包含的所有的对象。 通常所有权和封装同时出现,拥有所有状态的对象控制锁。
4.2 实例限制
当一个对象被另一个对象封装了,则被封装的对象完全被该对象可知了。 可以通过封装的方式,来简化安全工作,及时这个被封装对象不是线程安全的。
必须把这个被封装对象限制在可使用的范围内。
举例:
java监视器模式,.