在没有正确同步的情况下,如果多个线程访问同一个变量,程序就存在隐患。有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); } }