19.同步容器和并发容器

[TOC]

同步容器类

早期的同步容器类包括Vector(ArrayList的同步版本),Hashtable(早期HashMap的同步版本)。另外还有使用同步封装器Collections.synchronizedXXX等工厂方法创建的同步类。这些同步类实现线程安全的方式是将容器的状态封装起来,把读写容器状态的方法使用synchronized保护起来从而达到同步的作用。

同步容器的问题

同步容器类本身是线程安全的,但是在其之上的复合操作,可能就需要进行额外的加锁操作才能保证线程安全性。如:

  • 迭代(反复访问元素,直到遍历容器中的所有元素)
  • 跳转(根据指定顺序找到当前元素的下一个元素)
  • 条件运算(不存在就添加之类的操作)

在并发情况下,容器的复合操作可能是并发不安全的,这个时候就需要对容器进行“客户端”加锁,所谓的客户端加锁就是我们在使用容器的时候,主动对其某些操作进行显式地加锁操作,对于容器类本身来说,我们写的代码就是客户端代码。

进行客户端加锁需要注意的是,必须了解容器内部的加锁机制,比如容器内是使用什么对象进行加锁的,因为若想要正确同步,必须要让并发线程竞争同一个锁对象,否则加锁就是无意义的。这一点同步需要注意,并非简单加个synchronized关键字就能保证同步了。

另外一点是客户端加锁带来的性能损失,如对容器的迭代进行同步加锁,那么当一个线程对其进行迭代操作时,其他线程不能访问和修改容器,这就牺牲了可伸缩性。

如:

synchronized(syncHashMap){
    Iterator<K> iter = synchHashMap.keySet().iterator();
    while(iter.hasNext())
    //...
}

另外,如果使用for-each循环,实际上内部也是使用的iterator进行迭代的,也需要客户端加锁来保证线程安全。

可伸缩性
可伸缩性,简单来说,是以更大的规模来做你现在所做的事。伸展一个Web应用的规模在于让更多的人使用你的程序。如果你没法找出方法在伸展规模的同时提高性能,没关系。而且只要你可以伸展规模来处理更大数量的用户,那么有几个单点故障(single point of failure)也没关系。
Royans解释说如今我们在面对规模伸展的时候有两个选择:

  • 纵向的可伸缩性——在同一个逻辑单元内增加资源来提高处理能力。这样的例子包括在现有服务器上增加CPU,或者在现有的RAID/SAN存储中增加硬盘来提高存储量。
  • 横向的可伸缩性——增加更多逻辑单元的资源,并令它们像是一个单元一样工作。大多数集群方案、分布式文件系统、负载平衡都是在帮助你提高横向的可伸缩性。

迭代和fail-fast机制

如果在迭代过程中,别的线程修改了集合,迭代器就会失效,抛出ConcurrentModificationException异常。

这种fail-fast的迭代器并不是一种完备的处理机制,而只是“善意地”捕捉并发错误,并不能解决并发带来的问题。

如果不希望在迭代期间对容器加锁,可以使用迭代克隆容器的方法,在容器的副本上进行迭代。

虽然加锁可以防止在迭代期间抛出抛出ConcurrentModificationException异常,但是必须要记住在所有对共享容器进行迭代的地方都需要加锁,一些隐式的迭代尤其需要注意。然后print语句中打印容器,会隐式调用tostring方法,可能会对容器进行迭代处理。

并发容器

Java5提供了多种并发容器来改进同步容器的性能。同步容器将所有对容器状态的访问操作都串行化,以换取线程安全性。这种方式是代价是严重降低并发性,当大量线程访问容器时,吞吐量严重降低。

并发容器时针对并发访问而设计的。Java5提供了ConcurrentHashMap来替代基本散列的同步map,以及CopyOnWriteArrayList用来在以遍历操作为主的情况下代替同步的list(对于经常修改的数组列表,同步的ArrayList可以胜过CopyOnWriteList)。在并发容器中增加了一些曾经需要客户端加锁的复合操作的并发安全版本,如若没有就添加,替换及有条件的删除等。

Java5新增了两种新的容器类型:Queue和BlockingQueue。Queue上的操作不会阻塞,如果队列时空,返回就是空。BlockingQueue扩展了Queue,增加了可阻塞的插入和获取操作。

ConcurrentHashMap

ConcurrentHashMap在数据结构的特性上和HashMap是一样的,不同的是它所使用的加锁机制。在Java8之前,CHM使用的是分段锁的技术,所谓的分段锁是将整个HashMap分成了许多个Segment,每个Segment存储HashMap的一部分Bucket,Bucket存储具体的数据节点,这里不详细阐述底层数据结构的实现,主要看分段锁。每个Segment维护一个锁对象,所以在并发访问的时候,访问的数据能够因为锁的错开而减少锁竞争的开销,从而提高并发的性能。
在Java8中,Doug Lea重写了加锁机制的实现,使用了CAS算法实现无锁化的并发HashMap。

CHM和其他的并发容器一起增强了同步容器类:它们提供的迭代器不会抛出ConcurrentModificationException,因此不需要在迭代过程中对容器加锁。CHM返回的迭代器具有弱一致性,而非同步容器的fail-fast机制。弱一致性容器能够容忍并发的修改。但弱一致性的size和IsEmpty方法的返回值只是近似值,不过在并发环境下,它们的用处很小,因为一直在变化。

CHM没有实现对Map加锁以提供独占访问。也正因为如此,我们无法使用客户端加锁来创建新的原子操作。但是一般的条件运算,内部已经提供了线程安全的方法。

CopyOnWriteArrayList

CopyOnWriteArrayLIst用于替代同步的List,在某些情况下能提供更好的性能,且在迭代期间不需要进行加锁。(CopyOnWriteArraySet用来替代同步Set)。

CopyOnWrite容器的线程安全性在于,只要正确地发布一个事实不可变的对象,那么在访问该对象时就不再需要进一步的同步。在每次修改时,都会创建并重新发布一个新的容器副本,以此来实现可变性。CopyOnWrite容器的迭代器保留一个指向底层基础数组的引用,这个数组当前位于迭代器的起始位置,由于它不会被修改,所以在对其进行同步时只需保证数组内容的可见性即可。

CopyOnWriteArrayList使用了一种叫写时复制的方法,当有新元素添加到CopyOnWriteArrayList时,先从原有的数组中拷贝一份出来,然后在新的数组做写操作,写完之后,再将原来的数组引用指向到新数组。每次修改容器是都会复制底层数组,这需要一定的开销,特别是当数组很大时。

CopyOnWriteArrayList的整个add操作都是在锁的保护下进行的。
这样做是为了避免在多线程并发add的时候,复制出多个副本出来,把数据搞乱了,导致最终的数组数据不是我们期望的。

由于所有的写操作都是在新数组进行的,这个时候如果有线程并发的写,则通过锁来控制,如果有线程并发的读,则分几种情况:

  1. 如果写操作未完成,那么直接读取原数组的数据;
  2. 如果写操作完成,但是引用还未指向新数组,那么也是读取原数组数据;
  3. 如果写操作完成,并且引用已经指向了新的数组,那么直接从新数组中读取数据。
    即读操作是无锁的。

缺点:

  1. 由于写操作的时候,需要拷贝数组,会消耗内存,如果原数组的内容比较多的情况下,可能导致young gc或者full gc

  2. 不能用于实时读的场景,像拷贝数组、新增元素都需要时间,所以调用一个set操作后,读取到数据可能还是旧的,虽然CopyOnWriteArrayList 能做到最终一致性,但是还是没法满足实时性要求;

CopyOnWriteArrayList 合适读多写少的场景,不过这类慎用。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,826评论 6 506
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,968评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,234评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,562评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,611评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,482评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,271评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,166评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,608评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,814评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,926评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,644评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,249评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,866评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,991评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,063评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,871评论 2 354

推荐阅读更多精彩内容

  • 同步容器类 同步容器类包括 Vector和 Hashtable, 二者是早期 JDK 的一部分, 此外还包...
    好好学习Sun阅读 434评论 0 0
  • 一.线程安全性 线程安全是建立在对于对象状态访问操作进行管理,特别是对共享的与可变的状态的访问 解释下上面的话: ...
    黄大大吃不胖阅读 842评论 0 3
  • Java8张图 11、字符串不变性 12、equals()方法、hashCode()方法的区别 13、...
    Miley_MOJIE阅读 3,704评论 0 11
  • 亲爱的读者: 我的文章或许不那么精彩,不那么有意思,或许根本打动不了你。但你还是看了, 谢谢你的关注和喜欢。 我不...
    我心我愿秀阅读 407评论 0 3
  • 这一天是一周最忙碌的时间,除了处理工作上的事物还要接送俩娃上辅导班,今天又开了个紧急会议,整个人一直处于紧张,兴奋...
    dingzhijia阅读 172评论 0 0