对象的组合

最新推荐文章于 2024-10-27 20:28:39 发布

原创最新推荐文章于 2024-10-27 20:28:39 发布 · 685 阅读

1 ·

本内容遵循CC 4.0 BY-SA版权协议

收录于

并发编程实战

本文讨论了如何设计线程安全的类，包括确定对象状态变量、维护不变性条件和同步策略。介绍了实例封闭的概念，强调了封闭对象的作用域限制以保持线程安全。同时，探讨了线程安全性的委托原则，指出委托的条件以及何时需要自行加锁。最后，提到了在现有线程安全类中添加功能的两种方法：客户端加锁和组合。

我们并不希望对每一次内存访问都要进行分析来确保程序是线程安全的，而是希望将一些现有的线程安全组件组合为更大规模的组件或者程序。

一、设计线程安全的类

1.在设计线程安全类的过程中，需要包含三个基本元素：（1）找出构建对象状态的所有变量（2）找出约束状态变量的不变性条件（3）建立对象状态的并发访问管理策略

2.要分析对象的状态，首先从对象的域开始。如果对象中的所有的域都是基本变量，则这些域构成对象的全部的状态；如果对象的域中引用了其他对象，那么该对象的状态将包含被引用对象的域。

3.同步策略：定义了如何在不违背对象不变性条件或后验条件的情况下对其状态的访问操作进行协同。同步策略规定了如何将不可变形、线程封闭和加锁机制结合起来维护线程安全性，还规定了哪些变量由哪些锁来保护。

4.要确保类的线程安全性，就需要确保它的不变性条件不会在并发访问的情况下被破坏。对象和变量都有一个状态空间，状态空间越小越容易判断线程的状态。许多类中都定义了一些不可变条件，比如变量必须大于0，同样在操作中还包含一些后验条件来判断状态的变换是否有效，比如value++，value当前值是12，则下一个状态一定就是13，当下一个状态依赖于当中前状态时，则这个操作一定是复合操作。（并非所有的操作都会在状态转换中添加限制）。设计多个变量的不变性条件，这些相关变量必须在单个原子中操作。

5.由于不变性条件以及后验条件在状态转换上添加的约束，因此就需要额外的同步和封装。如果某些状态是无效的，则必须对底层状态变量进行封装，否则程序会使对象处于无效状态，如果在某个操作中存在无效的状态变换，则该操作必须是原子的。如果在一个不变性条件中包含多个变量，则在执行任何访问相关变量的操作时，必须持有保护这些变量的锁。

6.类的不变性条件和后验条件约束了在对象上哪些状态及状态转换是有效的，同样在某些对象的方法中还包含一些状态的先验条件，比如，不能在空队列中删除一个元素，在删除之前需要先判断队列是否为非空。如果某个操作中包含基于状态的先验条件，则这个操作就称为是依赖状态的操作。在单线程中如果不满足先验条件，则只能失败，但是并发程序中，先验条件可能由其他线程的执行变为真，并发程序中一定要等到先验条件变为真以后再执行代码。

☆收集同步需求（4,5） ☆依赖状态操作（6） ☆状态的所有权（对象被那些线程拥有，那些线程可以操作对象）

二、实例封闭

将数据封装在对象内部，可以将数据的访问限制在对象的方法上，从而更容易确保线程在访问数据上时总能持有正确的锁。（封闭机制更容易构造线程安全类，因为当封闭类的状态时，在分析线程安全性能时无需检查整个程序，只检查当前类就可以啦）

被封闭的对象一定不能超过它们既定的作用域。如果一个本该被封闭的对象发布出去，那么也能破坏封闭性。Java提供包装器（Collections.synchroniizedList)等方法对HashMap等容器对象提供线程保护。

1.Java监视器模式

遵循监视器模式的对象会把对象的所有可变状态封装起来，并且由自己的内置锁来保护。

使用私有锁对象而不用内置锁的优点：私有锁对象可以把锁封装起来，客户代码无法拿到锁，但是客户代码可以通过公有方法来访问锁。

2.监视器模式下的车辆追踪：p52页

虽然MutablePoint不是线程安全的，但是这个车辆追踪是线程安全的，它所包含的状态都没有发布。可以说这种方式是通过返回客户代码之前复制原来的可变数据来维持线程安全的。

三、线程安全性的委托

通过多个线程安全类组合的线程不一定是线程安全的。

委托：通过委托类的线程安全性判断被委托类的线程安全性。

1委托给单个线程安全状态变量可以保证线程安全性。（AtomicLong、AtomicInteger,ConcurrentHashMap...)

2.委托给多个线程的相互独立的线程安全状态变量可以保证线程安全性。(即变量之间没有不变性约束）

3当线程安全的状态变量之间有约束时，即包含复合操作，那么仅靠委托是不能保证线程安全的，必须自己加锁以保证复合操作都是原子操作。

NumberRange.java

import java.util.concurrent.atomic.AtomicInteger;
public class NumberRange {
private final AtomicInteger lower=new AtomicInteger(0);
private final AtomicInteger  higher=new AtomicInteger(10);
public void setLower(int i){
	if(i>higher.get()){
		System.out.println("错误：大于higher了 ！");
	}
	lower.set(i);
}
public void setHigher(int i){
	if(i<lower.get()){
		System.out.println("错误：小于lower了！");
	}
	higher.set(i);
}
public void get(){
	System.out.println("lower:"+lower.get()+" ,higher:"+higher.get());
}
}

虽然AtomicInteger是线程安全的，但经过组合得到的类型不是线程安全的，状态变量higher和lower不是彼此独立的，因此NumbeRange不能把线程安全性委托给它的线程安全状态变量。下面的结果就是委托失效的结果。