线程安全类(包含一个状态)

什么是线程安全类？ 简单理解为：一个类如果是线程安全的，那么当多个线程同时访问时，它仍然能够持续进行正确的行为。

下面的类不是线程安全的。
@NotThreadSafe
public class UnsafeCountingFactorizer implements Servlet {
private long count = 0;

public long getCount() { return count; }

public void service(ServletRequest req, ServletResponse resp) {
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
++count;
encodeIntoResponse(resp, factors);
}

}

我们注意到这个类里面只有一个count标识这个类的状态，它将会被多个线程共享。那些局部变量如 factors 会存储在本地变量中，这些本地变量存储在线程的栈中，只有执行线程才能访问，所以并没有并发访问的问题。
问题就处在这个count成员变量上面，我们看到++count这个操作其实是 先取得count这个值，然后再加1，最后在写入count（read-modify-write operation）。因此会出现“丢失修改”的问题。

另外一种情况是 检查再运行（check-then-act），如下面的LzayInitRace类也不是线程安全的，getInstance方法首先检查ExpensiveObject是否已经被初始化，如果是，返回它的实例，否则就创建一个新实例，然后保留它的引用，最后将它返回。

@NotThreadSafe
public class LzayInitRace{
private ExpensiveObject instance = null;

public ExpensiveObject getInstance() {
if(instance == null)
instance = new ExpensiveObject();
return instance;
}
}

如果A和B同时执行getInstance，可能会得到不同的结果。（A和B都检查发现instance为null，于是都new了一个instance）。

从上面的两个例子可以看出，这两个类都包含一系列操作，相对于在同一状态下的其他操作而言，必须是原子性或不可分割的。如果UnsafeCountingFactorizer中的自增操作是原子操作，就不会出现“丢失修改”的情况。于是我们采用已有的线程安全类来修复这个问题。

@ThreadSafe
public class UnsafeCountingFactorizer implements Servlet {
[b]private final AtomicLong count = new AtomicLong(0);[/b]
public long getCount() { return count; }

public void service(ServletRequest req, ServletResponse resp) {
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
[b]count.incrementAndGet();[/b] encodeIntoResponse(resp, factors);
}

}

java.util.concurrent.atomic包中包括了原子变量类，这些类用来实现数字和对象引用的原子状态转换。

但是当状态的数量从1增加到多个的时候，问题就会复杂地多了。