标签：
设计线程安全类的过程中需要注意三个基本要素：
1、找出构成对象的所有变量
2、找出约束状态变量的不变性条件
3、建立对象状态的并发访问管理策略
同步策略定义了如何在不违背对象不变性条件或者后验条件的情况下对其状态的访问操作进行协同。同步策略规定了如何将不变性、线程封闭和加锁机制等结合起来以维护线程的安全性，并且规定了哪些变量由哪些锁来保护。确保可以对这个类进行分析维护，就需要将同步策略写为正式文档。
如果不了解对象的不变性体条件，就不能确保线程安全性。要满足在状态变量的有效值或者状态转换上的各种约束条件，就需要借助于原子性和封装性。
封装简化了线程安全类的实现过程，将数据封装在对象内部，可以将数据的访问限制在对象的方法上，从而更容易确保线程在访问数据时总能持有正确的锁。
封装更易于构造线程安全的类，因为当封装类的状态时，在分析类的线程安全性时就无须检查整个程序。
在早期JDK中，同步容器只有Vector和HashTable,后来引入了Colletions.SynchronizedXX来创建同步容器，这些类实现线程安全的方式是：将它们的状态封装起来，并对每个公有方法都进行同步，使得每次只有一个线程能访问容器的状态。
尽管同步容器类是线程安全的，但是在某些情况下仍然需要额外的客户端加锁来保护复合操作。
Java5.0提供了多种并发容器来改进同步容器的性能。同步容器将所有对容器状态访问都串行化，以实现它们的线程安全，这种方法的代价是严重降低了并发性。当多个线程竞争容器锁时，吞吐量将严重降低。
通过并发容器代替同步容器，可以极大的提高伸缩性，降低风险。
常用的类有ConcurrentHashMap,CopyOnWriteArrayList,BlockingQueue,
ConcurrentLinkedQueue,ConcurrentSkipListMap等等。
闭锁是一种同步工具类，可以延迟线程的进度直到到达终止状态。CountDownLactch是一种灵活的闭锁实现。
FutureTask也可以用做闭锁。
计数信号量Semaphore用来控制同时访问某个特定资源的操作数量，或者同时执行某个操作的数量。
栅栏能阻塞一组线程直到某个事件发生。栅栏与闭锁的关键区别在于，所有线程必须同时到达栅栏位置才能继续执行。闭锁用于等待事件，而栅栏用于等待其他线程。CyclicBarier是一种栅栏实现。
欢迎扫描二维码，关注公众号
标签：
原文地址：http://blog.csdn.net/robertcpp/article/details/51872613
