ConcurrentHashMap
是 Java 中一个高效的线程安全哈希表实现,属于 java.util.concurrent
包。它设计用于在多线程环境中提供高效的并发访问,下面介绍其实现线程安全的机制和技术手段。
1. 线程安全的实现
ConcurrentHashMap
通过以下几个主要机制实现线程安全:
1.1. 分段锁(Java 1.7 及之前)
-
分段锁定 :在 Java 1.7 及之前,
ConcurrentHashMap
将整个哈希表分为多个段(Segment)。每个段是一个独立的哈希表,拥有自己的锁。这样,多个线程可以并行访问不同的段,减少锁的竞争。 -
锁粒度:每个段的锁粒度较大,但由于多个段的存在,多个线程可以同时对不同段进行操作,提高了并发性能。
-
链表处理:每个段内部使用链表来处理哈希冲突,插入、删除和查找操作都在段锁的保护下进行。
1.2. 无段设计(Java 1.8 及之后)
-
细粒度锁:Java 8 移除了段的概念,采用了一个数组和链表/红黑树的组合。对于每个桶(数组中的元素),使用更细粒度的锁机制,使得多个线程可以同时访问同一个桶。
-
CAS(Compare-And-Swap) :许多操作(如
putIfAbsent
、replace
、remove
等)使用了无锁的 CAS 操作,减少了锁的使用。这是一种乐观锁的实现方式,能够提高并发性能。
2. 技术手段
2.1. 数组和链表/红黑树
- 桶数组 :
ConcurrentHashMap
使用一个数组来存储桶(每个桶可以存储多个键值对)。 - 链表和红黑树:当链表长度超过 8 时 且数组的大小大于等于 64,链表会转换为红黑树,以提高查找效率。
2.2. 锁机制
-
ReentrantLock :在 Java 8 中,
ConcurrentHashMap
对桶使用了ReentrantLock
,允许多个线程同时对不同的桶进行操作,但在对同一个桶进行修改时会加锁。 -
锁的细粒度化 :通过对每个桶使用锁,
ConcurrentHashMap
可以在高并发情况下保持较高的性能。
2.3. 读操作的无锁化
- 无阻塞读取 :读取操作(如
get
)不需要加锁,允许多个线程同时读取数据,从而提高了读取性能。
2.4. 扩容机制
- 扩容时的锁 :在扩容过程中,
ConcurrentHashMap
会对整个表加锁,确保在扩容时不会有其他线程对哈希表进行修改。
3. 具体操作的线程安全实现
-
put:在插入新元素时,首先计算哈希值并确定桶的位置。如果桶为空,直接插入;如果桶不为空,使用锁保护桶中的链表或红黑树,确保线程安全地插入元素。
-
get:读取操作不需要加锁,直接访问桶中的元素,实现高效的无锁读取。
-
remove:在删除元素时,首先定位到桶,然后使用锁保护操作,确保在删除时不会有其他线程修改该桶。
4. 总结
ConcurrentHashMap
通过分段锁(Java 1.7 及之前)和细粒度锁(Java 1.8 及之后)实现了线程安全,同时结合了 CAS 操作和无锁读取,极大地提高了并发性能。