<>读书笔记之委托线程安全

public class NumberRange {

	private AtomicInteger lower = new AtomicInteger(0);
	private AtomicInteger upper = new AtomicInteger(0);

	public void setLower(int i) {
		if (i > upper.get()) {
			throw new IllegalArgumentException();
		}
		lower.set(i);
	}

	public void setUpper(int i) {
		if (i < lower.get()) {
			throw new IllegalArgumentException();
		}
		upper.set(i);
	}

	public boolean isInRange(int i) {
		return (i <= upper.get() && i >= lower.get());
	}
}

这段代码的意图就是维护一个数值的范围,共享实例变量的线程安全维护委托给AtomicInteger去完成,其实已经这里显然已经力不从心。
只能保证线程间的可见性，但不能保证原子性。如果仅仅只是set当然是没有问题的，但是这里涉及的是符合操作。先判断后set.
假设有一个场景：
lower=2,upper=8
当线程A调用setLower为7的时候,执行set(7),此时有一个线程B调用setUpper(5),由于线程的活跃度不可控,假设A的set动作还刚刚完成，而线程B已经执行到set(5)，此时我们维护的数据就已经被破坏。
从上述我们可以看出，这种委托显然是不合理的,因为lower和upper他们是耦合的而不是独立的,这样的对象不能发布，避免用户破坏其不变约束。
于是书中给出了一个总结：
如果一个类由多个彼此独立的线程安全的状态变量组成，而且类的操作不包含任何无效状态的转换，可以讲线程安全委托给这些状态变量。
这里既是类NumberRange包含2个线程安全的成员，也不能保证NumberRange就是线程安全的。
这条规则就是适合诸如：Atomic***,AtomicReference,volatile