Java并发编程规则：设计线程安全的类.docVIP

Java并发编程规则：设计线程安全的类 封装设计： 尽管所有的状态都存储在公共静态变量（域）中，仍然能写出线程安全的程序，但比起那些适当封装的类来说，我们难以验证这种程序的线程安全性，也很难再修改它的同步不破坏它的线程安全性。在没有进行全局检查的情况下，封装能够保证线程的安全性。 =====设计线程安全类的过程应该包括下面3个基本要素：======== 1、确定对象状态是由哪些变量组成的； 2、确定限制状态变量的不变约束； 3、制定一个管理并发访问对象状态的策略。 同步策略方式： 对状态使用同步策略，以维护其不变约束。需要明确的是同步的需求是什么，并分析其不可变约束和后验条件。 [java] view plain copy print?在CODE上查看代码片派生到我的代码片 package net.jcip.examples; import net.jcip.annotations.*; /** * Counter * p/ * Simple thread-safe counter using the Java monitor pattern * * @author Brian Goetz and Tim Peierls */ @ThreadSafe public final class Counter { @GuardedBy(this) private long value = 0; public synchronized long getValue() { return value; } public synchronized long increment() { if (value == Long.MAX_VALUE) throw new IllegalStateException(counter overflow); return ++value; } } 注：不理解对象的不可变约束和后验条件，就不能保证线程的安全性。要约束状态变量的有效值或者状态转换，就需要原子性与封装性。 实例限制： 限制性使构造线程安全的类更容易。因为类的状态被限制后，分析它的线程安全性时，就不必检查完整的程序。 将数据封装在实体内部，把对数据的访问限制在对象的方法上，更易确保线程在访问数据时总能获得正确的锁。示例如下： [java] view plain copy print?在CODE上查看代码片派生到我的代码片 package net.jcip.examples; import java.util.*; import net.jcip.annotations.*; /** * PersonSet * p/ * Using confinement to ensure thread safety * * @author Brian Goetz and Tim Peierls */ @ThreadSafe public class PersonSet { @GuardedBy(this) private final SetPerson mySet = new HashSetPerson(); public synchronized void addPerson(Person p) { mySet.add(p); } public synchronized boolean containsPerson(Person p) { return mySet.contains(p); } interface Person { } } HashSet是一个线程安全的类，通过公开的方法进行同步读写操作，确保了线程的安全性。 Java监视器模式： 像Vector和HashTable这样的核心库类，都是采用了Java监视器模式，其最大优势在于简单。Java监视器模式仅仅是一种习惯约定：任意锁对象只要始终如一地使用，都可以用来保护对象的状态。来看个私有锁保护状态的示例： [java] view plain copy print?在CODE上查看代码片派生到我的代码片 package net.jcip.examples; import net.jcip.annotations.*; /** * PrivateLo