线程：对象的组合

本文参考《java并发编程实战》，java并发必读书籍

目的：现有的线程安全组合为更大规模的组件或程序

一、设计线程安全的类

三个基本要素：

• 找出构成对象状态的所有变量
• 找出约束状态变量的不变性条件
• 建立对象状态的并发访问管理策略

 1.收集同步需求

不可变条件：判断状态是有效还是无效的

先验条件：依赖状态的操作

后验条件：判断状态迁移是否是有效的

2.状态的所有权

所有权意味着控制权

 

二、实例封闭

将对象封装在对象的内部，可以将数据的范文限制在对象的方法上，从而 更容易确保线程在访问数据时总持有正确的锁

包装器工厂方法

装饰器模式

封闭机制更易于构造线程安全的类，因为当封闭类的状态时，在分析类的线程安全性时无须检查整个程序

典型例子：java监视器模式

 

三、线程安全性的委托

1.独立的状态变量

安全性委托给多个独立的状态变量

如果一个类是由多个独立且线程安全的状态变量组成，并且在所有的操作中都不包含无效状态转换，那么可以将线程安全性委托给底层的状态变量

2.当委托失效时

意味着状态变量之间存在着某些不变性条件（不独立）

3.发布底层的状态变量

如果一个状态变量是线程安全的，并且没有任何不变性条件来约束它的值，在变量的操作上也不存在任何不允许的状态转换，那么就可以安全地发布这个变量

 

四、在现有的线程安全类中添加功能

目的是为了：重用

重用的好处：降低开发工作量、开发风险、维护成本

客户端加锁不可取

组合可取

 

五、同步策略文档化

在文档中说明客户代码需要了解的线程安全保证，以及代码维护人员需要了解的同步策略