组合线程安全类

 

本文是个人对如何使用线程安全的组件组合线程安全类的一些理解。

首先从设计线程安全类说起。怎么设计线程安全类，这跟我们平时解数学题一样，告诉我们变量的范围，根据给出的约束条件，选择合理的方案找出符合要求的答案。这里也是一样的，首先要明确对象的状态由那些变量构成，然后要确定限制状态变量的不变约束，最后制定出一个协调并发访问对象状态的策略。

其中对象的状态是由对象的域组成的，需要注意的是如果对象的域是引用类型的，那么对象的状态也包括了被引用对象的域。比如LinkedList的状态包含了存储于其中的对象的状态。所有可能的状态构成了对象的状态空间。而不变约束指明了状态的合法性。不同的状态还会存在转换关系，根据具体问题的不同状态转换可能会有相应的约束关系，我们称之为后验条件。后验条件约束了状态转换。

下面是一些组合线程安全类的方法。

1.实例限制

通过对对象进行封装（这个过程可以称为限制），并结合适当的锁策略，我们可以让不是线程安全的对象安全的用于多线程程序。而且由于封装过程是由我们自己设计的，这也方便了我们的分析。

eg：

 

public class PersonSet {
	@GuardedBy("this")
	private final Set<Person> mySet = new HashSet<Person>();
	public synchronized void addPerson(Person p) {
		mySet.add(p);
	}
	public synchronized boolean containsPerson(Person p) {
		return mySet.contains(p);
	}
}