Java并发编程实战学习笔记 第四章 对象的组合

一、设计线程安全的类

在设计线程安全的类的过程中，需要包含三个基本要素：

（1）找出构成对象状态的所有变量

（2）找出约束状态变量的不变性条件

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

1、收集同步需求

要确保类的线程安全性，就需要确保他的不变性条件不会在并发访问的情况下被破坏，这就需要对其状态进行推断。

如果不了解对象的不变性条件与后验条件，那么就不能确保线程安全性。要满足在状态变量的有效值或状态转换上的各种约束条件，就需要借助于原子性与封装性。

1.依赖状态的操作

类的不变性条件与后验条件约束了在对象上有那些状态转换是有效的。

2.状态的所有权

所有权与封装性总是相关联的：对象封装他拥有的状态，反之也成立，即对他封装的状态拥有所有权。

二、实例封闭

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

实例封闭式构建线程安全的一个最简单的方式，它还使得在锁策略的选择上拥有了更多的灵活性。

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

1.java监视器模式

从线程封闭原则及其逻辑推论可以得出java监视器模式，遵循java监视器模式的对象会把对象的所有可变状态都封装起来，并由对象自己的内置锁来保护。

三、现场安全性的委托

1.独立的状态变量

将线程的安全性委托给多个状态变量，只要这些变量时彼此独立的，即组合而成的类并不会在其包含的多个状态变量上增加任何不变性条件。

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

2.发布底层的状态变量

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

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

java类库中包含许多有用的基础模块类，应该优先选择重用现有的类，而不是创建新的类，重用能够降低开发的工作量、开发风险以及维护成本。

1.客户端加锁机制

客户端加锁，是指对于使用某个对象的X的客户端代码，使用X本身用于保护器状态的锁来保护这段客户端代码，要使用客户端加锁，就必须知道对象X使用的是那一个锁。

客户端加锁机制与扩展类机制有许多共同点，二者都是将派生类的行为与基类的行为耦合在一起。

2.组合

当为现有类添加一个原子性操作时，有一种更好的方法：组合。使用java监视器模式来封装现有的类，并且值要在雷中拥有指向底层的类的唯一外部引用，就能确保线程安全性。

五、将同步策略文档化

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

synchronized、volatile或者任何一个线程安全类都对应某种同步策略，用于在并发访问时确保数据的完整性，这种策略是程序设计的要素之一，因此将其文档化。