复合操作:
对于前面的LazyInitRace和UnsafeCountingFactorizer都包含了一系列的操作,相对于同一个状态下的其他操作而言,必须是原子性的和不可分割的。这句话怎么理解呢?就是说如果当前有一个线程在处理某个状态时,不准许其他线程对当前的状态进行操作。为了避免竞争条件,我们必须阻止其他线程访问我们正在修改的变量,让我们可以确保:当其他线程想要查看或修改一个状态时,必须在我们的线程开始之前或者完成之后,而不能在操作过程中。
所以对于UnsafeCountingFactorizer这个例子,为了确保线程安全,我们将“检查再运行”和读-写-改操作的全部执行过程看作是复合操作:为了保证线程安全,操作必须原子地执行。下一节会讨论到java的锁机制。但是我们有其他方法解决它。就是采用已有的线程安全类来进行相应的操作。
@ThreadSafe
public class CountingFactorizer implements Servlet{
private final AtomicLong count = new AtomicLong(0);
public long getCount(){return count.get();}
public void service(ServletRequest req,ServletResponse resp){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
count.incrementAndGet();
encodeIntResponse(resp,factors);
}
}
java.util.concurrent.atomic包中包括了原子变量类,这些类用来实现数字和对象引用的原子状态转换。把long类型的计数器转换为AtomicLong类型的,我们可以确保所有访问计数器状态的操作都是原子的。计数器是线程安全的,而计数器的状态就是Servlet的状态,我们Servlet再次成为线程安全的了.
归纳:我们可以向Factoring Servlet中加入一个计数器,并利用已有的线程安全类管理计数器,维护Servlet的线程安全性,当只向无状态类中加入唯一的状态元素,注意是唯一的,而这个状态完全被线程安全的对象所管理,那么新的类仍然是线程安全的。
对于前面的LazyInitRace和UnsafeCountingFactorizer都包含了一系列的操作,相对于同一个状态下的其他操作而言,必须是原子性的和不可分割的。这句话怎么理解呢?就是说如果当前有一个线程在处理某个状态时,不准许其他线程对当前的状态进行操作。为了避免竞争条件,我们必须阻止其他线程访问我们正在修改的变量,让我们可以确保:当其他线程想要查看或修改一个状态时,必须在我们的线程开始之前或者完成之后,而不能在操作过程中。
所以对于UnsafeCountingFactorizer这个例子,为了确保线程安全,我们将“检查再运行”和读-写-改操作的全部执行过程看作是复合操作:为了保证线程安全,操作必须原子地执行。下一节会讨论到java的锁机制。但是我们有其他方法解决它。就是采用已有的线程安全类来进行相应的操作。
@ThreadSafe
public class CountingFactorizer implements Servlet{
private final AtomicLong count = new AtomicLong(0);
public long getCount(){return count.get();}
public void service(ServletRequest req,ServletResponse resp){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
count.incrementAndGet();
encodeIntResponse(resp,factors);
}
}
java.util.concurrent.atomic包中包括了原子变量类,这些类用来实现数字和对象引用的原子状态转换。把long类型的计数器转换为AtomicLong类型的,我们可以确保所有访问计数器状态的操作都是原子的。计数器是线程安全的,而计数器的状态就是Servlet的状态,我们Servlet再次成为线程安全的了.
归纳:我们可以向Factoring Servlet中加入一个计数器,并利用已有的线程安全类管理计数器,维护Servlet的线程安全性,当只向无状态类中加入唯一的状态元素,注意是唯一的,而这个状态完全被线程安全的对象所管理,那么新的类仍然是线程安全的。