一、同步容器类
同步容器类包括Vector和Hashtable,二者是早期JDK的一部分,这些同步的封装类是由Collections.synchronizedXxx等工厂方法创建的。这些类实现线程安全的方式是:将他们的状态封装起来,并对每个公有方法都进行同步,使得每一次只有一个线程能访问容器的状态。
1、同步容器类的问题
同步容器都是线程安全的,但在某些情况下可能需要额外的客户端加锁来保护符合操作。
1.迭代器与ConcurrentModificationException
在设计同步容器类的迭代器时并没有考虑到并发修改的问题,并且在他们表现出的行为是“及时失败”的,这就意味着,当他们发现容器在迭代过程中被修改时,就会抛出一个ConcurrentModificationException 异常。他们采用的实现方式是,将计数器的变化与容器关联起来:如果在迭代期间计数器被修改,那么hashNext或next将抛出ConcurrentModificationException 。如果不希望在迭代期间对容器加锁,那么一种代替方法就是“克隆”容器,并在副本上进行迭代。
3.隐藏迭代器
虽然加锁可以防止迭代器抛出ConcurrentModificationException ,但是必须在所有对共享容器进行迭代的地方都进行加锁。
正如封装对象的状态有助于维持不变性条件一样,封装对象同步机制同样有助于确保实施同步策略。
二、并发容器
同步容器将所有对容器的访问都串行化。以实现他们的线程安全性。这种方法的代价是严重降低并发性,多个线程竞争容器的锁时,吞吐量将严重降低。
通过并发容器来代替同步容器,可极大地提高伸缩性并降低风险。
1.ConcurrentHashMap
ConcurrentHashMap使用分段所来实现加锁机制,粒度更细。任意数量的读取线程可以并发的放问Map,执行读取线程和执行写入线程可以并发的访问Map。
2.copyOnWriteArrayList用于代替同步的List,在某些情况下,他提供了更好的并发性,并且在迭代期间不需要对容器进行加锁或复制。
三、阻塞队列和生产-消费者模式
在构建高可用的引用程序时,有界队列是一种强大的资源管理工具,他们能印制并防止产生过多的工作项,是运用程序在负荷过载的情况下变得更加健壮。