在没有正确同步的情况下,如果多个线程访问同一个变量,程序就存在隐患。有3种方法修复它:
1. 不要跨线程共享变量;
2. 使变量变量变为不可变的;
3. 在任何访问变量的时候使用同步。
示例:
非线程安全的Servlet计算请求而没有必要的同步
public class UnsafeCountingFactorizer extends Servlet{
private long count = 0;
public long getCount(){
return count;
}
public void service(ServletRequest req,ServletResponse res){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
++count;
encodeIntoResponse(res,factors);
}
}
UnsafeCountingFactorizer 是非线程安全的,它容易遗失更新(lost update),自增操作++count由于其紧凑的语法看上去像一个独立的原子操作,实际并非如此,++count不能作为一个独立的、不可分割的操作去执行。相反,自增操作是3个离散操作的简写形式:获得当前值,加1,写回新值。“读-改-写”(read-modify-write)的操作实例,其中,结果的状态衍生自它先前的状态。
使用原子变量来保证线程安全:
public class SafeCountingFactorizer extends Servlet{
private final AtomicLong count = new AtomicLong(0);
public long getCount(){
return count.get();
}
public void service(ServletRequest req,ServletResponse res){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
count.incrementAndGet();
encodeIntoResponse(res,factors);
}
}