ConcurrentHashMap源码解析

概述

ConcurrentHashMap 是将锁的范围细化来实现高效并发的。 基本策略是将数据结构分为一个一个 Segment（每一个都是一个并发可读的 hash table， 即分段锁）作为一个并发单元。 为了减少开销， 除了一处 Segment 是在构造器初始化的， 其他都延迟初始化（详见 ensureSegment）。 并使用 volatile 关键字来保证 Segment 延迟初始化的可见性问题。 

HashMap 不是线程安全的， 故多线程情况下会出现 infinit loop。 HashTable 是线程安全的， 但是是用全局锁来保障， 效率很低。 所以 Doug Lea 并发专家研发了高效并发的 ConcurrentHashMap 来应对并发情况下的情景。 阅读本文前最好先看：  Java 内存模型 和  AtomicInteger 分析。

一. 术语定义

术语	英文	解释
哈希算法	hash algorithm	是一种将任意内容的输入转换成相同长度输出的加密方式，其输出被称为哈希值。
哈希表	hash table	根据设定的哈希函数H(key)和处理冲突方法将一组关键字映象到一个有限的地址区间上，并以关键字在地址区间中的象作为记录在表中的存储位置，这种表称为哈希表或散列，所得存储位置称为哈希地址或散列地址。

二. 数据结构

类图： 

抽象结构图：

从上述类图和抽象结构图可以看出 ConcurrentHashMap 是由 Segment 数组结构和 HashEntry 数组结构组成。Segment 继承(Generalization)了可重入锁ReentrantLock，HashEntry 用于存储键值对数据。一个 ConcurrentHashMap 里 contains-a  ( Composition )  一个 Segment [] ，Segment 的结构和 HashMap 类似，是一种数组和链表结构， 一个 Segment 里 has-a (Aggregation )一个 HashEntry 数组，每个 HashEntry 是一个链表结构的元素， 每个 Segment 锁定一个 HashEntry 数组里的元素, 当对 HashEntry 数组的数据进行 put 等修改操作时，必须先获得它对应的 Segment 锁。

三.  源码解析

内部类 Segment 类：

Segment 维护着条目列表状态一致性， 所以可以实现无锁读。 在表超出 threshold 进行 resize 的时候， 复制节点， 所以在做 resize 修改操作的时候， 还可以进行读操作（在旧 list 读）。 本类里只有变化操作的方法才需要加锁， 变化的方法利用一系列忙等控制来处理资源争用， 例如 scanAndLock 和  scanAndLockForPut 。 那些遍历去查找节点的 tryLocks() 方法， 主要是用来吸收 cached 不命中(在 hash tables 经常出现)， 这样后续获取锁的遍历操作效率将会有不小提升。 我们可能不是真的需要使用找到的数据， 因为重新获得数据还需要加锁来保证更新操作的一致性， 但他们会更快地进行重定位。 此外，  scanAndLockForPut 特地创建新数据用于没有数据被找到的 put 方法。 

[java]  view plain  copy

 print ?

1. // 在准备锁住 segment 操作前最大的 tryLock() 次数。 多核情况下， 在定位 nodes 时使用 64 次最大值维持缓存  
2.   
3. static final int MAX_SCAN_RETRIES =  
4.     Runtime.getRuntime().availableProcessors() > 1 ? 64 : 1;  
5.   
6. /** 
7.  * The per-segment table. 数据访问通过 
8.  * entryAt/setEntryAt 提供的 volatile 语义来保证可见性. 
9.  */  
10. transient volatile HashEntry<K,V>[] table;  
11.   
12. /** 
13.  * sengment 内 hash entry 元素个数 , 之所以在每个 Segment 对象中包含一个计数器，而不是在 ConcurrentHashMap 中使用全局的计数器，是为了避免出现“热点域”而影响 ConcurrentHashMap 的并发性。 
14.  
15.  */  
16. transient int count;  
17.   
18. /** 
19.  * 在 segment 中可变操作总数, 即更新次数 
20.  */  
21. transient int modCount;  
22.   
23. /** 
24.  * 当超过threshold 时候，  table 再哈希 
25.  * (The value of this field is always <tt>(int)(capacity * 
26.  * loadFactor)</tt>.) 
27.  */  
28. transient int threshold;  
29.   
30. /** 
31.  *  hash table 负载因子.  Even though this value 
32.  * is same for all segments, it is replicated to avoid needing 
33.  * links to outer object. 
34.  * @serial 
35.  */  
36. final float loadFactor;  

put 方法：

插入A， B， C后 Segment 示意图：

[java]  view plain  copy

 print ?

1. final V put(K key, int hash, V value, boolean onlyIfAbsent) {  
2.  // tryLock 一般缓存作用  
3. HashEntry<K,V> node = tryLock() ? null :  
4.         scanAndLockForPut(key, hash, value);  
5.     V oldValue;  
6.     try {  
7.         HashEntry<K,V>[] tab = table;  
8.         int index = (tab.length - 1) & hash;  
9.         // 找到 bucket 位置  
10.         HashEntry<K,V> first = entryAt(tab, index);  
11.         for (HashEntry<K,V> e = first;;) {  
12.             if (e != null) {  
13.                 K k;  
14.                 if ((k = e.key) == key ||  
15.                     (e.hash == hash && key.equals(k))) {  
16.                     // 保存旧值， 这样 get 操作就可以无锁访问正在写操作的节点  
17.                     oldValue = e.value;  
18.                     if (!onlyIfAbsent) {  
19.                         // 覆盖原来的值  
20.                         e.value = value;  
21.                         // 修改计数  
22.                         ++modCount;  
23.                     }  
24.                     break;  
25.                 }  
26.                 // 每次从头部插入  
27.                 e = e.next;  
28.             }  
29.             else {  
30.                 if (node != null)  
31.                     node.setNext(first);  
32.                 else  
33.                     node = new HashEntry<K,V>(hash, key, value, first);  
34.                 int c = count + 1;  
35.                 // 超过 threshold 则， rehash()  
36.                 if (c > threshold && tab.length < MAXIMUM_CAPACITY)  
37.                     rehash(node);  
38.                 else  
39.                     setEntryAt(tab, index, node);  
40.                 ++modCount;  
41.                 count = c;  
42.                 oldValue = null;  
43.                 break;  
44.             }  
45.         }  
46.     } finally {  
47.         // 典型的 ReentrantLock 释放锁  
48.         unlock();  
49.     }  
50.     return oldValue;  
51. }  

rehash() 方法:  在新 table 中重新分类节点。 因为使用了 2 的幂指数扩展方式， bucket/bin 中的数据还是在原位， 即旧数据的索引位置不变或者偏移了 2 的幂指数距离。 可以重用旧节点减少不必要的节点生成。 

[java]  view plain  copy

 print ?

1. /** 
2.  * table 大小 *2， 重新放置 HashEntry， 加入新节点 
3.  */  
4. @SuppressWarnings("unchecked")  
5. private void rehash(HashEntry<K,V> node) {  
6.     // 保存旧值以便 get 操作遍历  
7.     HashEntry<K,V>[] oldTable = table;  
8.     int oldCapacity = oldTable.length;  
9.     int newCapacity = oldCapacity << 1;  
10.     threshold = (int)(newCapacity * loadFactor);  
11.     HashEntry<K,V>[] newTable =  
12.         (HashEntry<K,V>[]) new HashEntry[newCapacity];  
13.     int sizeMask = newCapacity - 1;  
14.     for (int i = 0; i < oldCapacity ; i++) {  
15.         HashEntry<K,V> e = oldTable[i];  
16.         if (e != null) {  
17.             HashEntry<K,V> next = e.next;  
18.             int idx = e.hash & sizeMask;  
19.             if (next == null)   //  单节点链表  
20.                 newTable[idx] = e;  
21.             else { // 重用在同一个 slot 的连续序列  
22.                 HashEntry<K,V> lastRun = e;  
23.                 int lastIdx = idx;  
24.                 for (HashEntry<K,V> last = next;  
25.                      last != null;  
26.                      last = last.next) {  
27.                     int k = last.hash & sizeMask;  
28.                     if (k != lastIdx) {  
29.                         lastIdx = k;  
30.                         lastRun = last;  
31.                     }  
32.                 }  
33.                 newTable[lastIdx] = lastRun;  
34.                 // Clone remaining nodes  
35.                 for (HashEntry<K,V> p = e; p != lastRun; p = p.next) {  
36.                     V v = p.value;  
37.                     int h = p.hash;  
38.                     int k = h & sizeMask;  
39.                     HashEntry<K,V> n = newTable[k];  
40.                     newTable[k] = new HashEntry<K,V>(h, p.key, v, n);  
41.                 }  
42.             }  
43.         }  
44.     }  
45.     int nodeIndex = node.hash & sizeMask; // add the new node  
46.     node.setNext(newTable[nodeIndex]);  
47.     newTable[nodeIndex] = node;  
48.     table = newTable;  
49. }  

内部类 HashEntry：链表结构

[java]  view plain  copy

 print ?

1. static final class HashEntry<K,V> {  
2.     // final 保证不变性， 即为线程安全的字段  
3.     final int hash;  
4.     final K key;  
5.     // 根据 volatile 写永远先于读操作的 happens-before 原则来保证获取到都是最新值  
6.     volatile V value;  
7.     volatile HashEntry<K,V> next;  
8.   
9.     HashEntry(int hash, K key, V value, HashEntry<K,V> next) {  
10.         this.hash = hash;  
11.         this.key = key;  
12.         this.value = value;  
13.         this.next = next;  
14.     }  
15.   
16.     /** 
17.      * 使用 volatile 写语义设置 next 
18.      */  
19.     final void setNext(HashEntry<K,V> n) {  
20.         UNSAFE.putOrderedObject(this, nextOffset, n);  
21.     }  
22.   
23.     // Unsafe mechanics  
24.     static final sun.misc.Unsafe UNSAFE;  
25.     static final long nextOffset;  
26.     static {  
27.         try {  
28.             UNSAFE = sun.misc.Unsafe.getUnsafe();  
29.             Class k = HashEntry.class;  
30.             nextOffset = UNSAFE.objectFieldOffset  
31.                 (k.getDeclaredField("next"));  
32.         } catch (Exception e) {  
33.             throw new Error(e);  
34.         }  
35.     }  
36. }  

ConcurrentHashMap 类：

[java]  view plain  copy

 print ?

1. /* ---------------- Constants -------------- */  
2.   
3. /** 
4.  * The default initial capacity for this table, 
5.  * used when not otherwise specified in a constructor. 
6.  */  
7. static final int DEFAULT_INITIAL_CAPACITY = 16;  
8.   
9. /** 
10.  * 本值是 HashEntry 个数与 table 数组长度的比值 
11.  * 
12.  */  
13. static final float DEFAULT_LOAD_FACTOR = 0.75f;  
14.   
15. /** 
16.  * 
17.  * 当前并发线程的使用数 
18.  */  
19. static final int DEFAULT_CONCURRENCY_LEVEL = 16;  
20.   
21. /** 
22.  * The maximum capacity, used if a higher value is implicitly 
23.  * specified by either of the constructors with arguments.  MUST 
24.  * be a power of two <= 1<<30 to ensure that entries are indexable 
25.  * using ints. 
26.  */  
27. static final int MAXIMUM_CAPACITY = 1 << 30;  
28.   
29. /** 
30.  * The minimum capacity for per-segment tables.  Must be a power 
31.  * of two, at least two to avoid immediate resizing on next use 
32.  * after lazy construction. 
33.  */  
34. static final int MIN_SEGMENT_TABLE_CAPACITY = 2;  
35.   
36. /** 
37.  * The maximum number of segments to allow; used to bound 
38.  * constructor arguments. Must be power of two less than 1 << 24. 
39.  */  
40. static final int MAX_SEGMENTS = 1 << 16; // slightly conservative  
41.   
42. /** 
43.  * Number of unsynchronized retries in size and containsValue 
44.  * methods before resorting to locking. This is used to avoid 
45.  * unbounded retries if tables undergo continuous modification 
46.  * which would make it impossible to obtain an accurate result. 
47.  */  
48. static final int RETRIES_BEFORE_LOCK = 2;  
49. /** 
50.  * 索引 segments 时使用： 使用高比特位的 hash 值去选择 segment 
51.  */  
52. final int segmentMask;  
53.   
54. /** 
55.  * Shift value for indexing within segments. 
56.  */  
57. final int segmentShift;  

初始化 ConcurrentHashMap:

ConcurrentHashMap 结构图

[java]  view plain  copy

 print ?

1. public ConcurrentHashMap(int initialCapacity,  
2.                          float loadFactor, int concurrencyLevel) {  
3.     if (!(loadFactor > 0) || initialCapacity < 0 || concurrencyLevel <= 0)  
4.         throw new IllegalArgumentException();  
5.     if (concurrencyLevel > MAX_SEGMENTS)  
6.         concurrencyLevel = MAX_SEGMENTS;  
7.     // Find power-of-two sizes best matching arguments  
8.     int sshift = 0;  
9.     int ssize = 1;  
10.     while (ssize < concurrencyLevel) {  
11.         ++sshift;  
12.         ssize <<= 1;  
13.     }  
14.     this.segmentShift = 32 - sshift;  
15.     this.segmentMask = ssize - 1;  
16.     if (initialCapacity > MAXIMUM_CAPACITY)  
17.         initialCapacity = MAXIMUM_CAPACITY;  
18.     int c = initialCapacity / ssize;  
19.     if (c * ssize < initialCapacity)  
20.         ++c;  
21.     int cap = MIN_SEGMENT_TABLE_CAPACITY;  
22.     while (cap < c)  
23.         cap <<= 1;  
24.     // create segments and segments[0]  
25.     Segment<K,V> s0 =  
26.         new Segment<K,V>(loadFactor, (int)(cap * loadFactor),  
27.                          (HashEntry<K,V>[])new HashEntry[cap]);  
28.     Segment<K,V>[] ss = (Segment<K,V>[])new Segment[ssize];  
29.     UNSAFE.putOrderedObject(ss, SBASE, s0); // ordered write of segments[0]  
30.     this.segments = ss;  
31. }  

由上面的代码可知segments数组的长度ssize通过concurrencyLevel计算得出。为了能通过按位与的哈希算法来定位segments数组的索引，必须保证segments数组的长度是2的N次方（power-of-two size），所以必须计算出一个是大于或等于concurrencyLevel的最小的2的N次方值来作为segments数组的长度。假如concurrencyLevel等于14，15或16，ssize都会等于16，即容器里锁的个数也是16。注意concurrencyLevel的最大大小是65535，意味着segments数组的长度最大为65536，对应的二进制是16位。

初始化segmentShift和segmentMask。这两个全局变量在定位segment时的哈希算法里需要使用，sshift等于ssize从1向左移位的次数，在默认情况下concurrencyLevel等于16，1需要向左移位移动4次，所以sshift等于4。segmentShift用于定位参与hash运算的位数，segmentShift等于32减sshift，所以等于28，这里之所以用32是因为ConcurrentHashMap里的hash()方法输出的最大数是32位的，后面的测试中我们可以看到这点。segmentMask是哈希运算的掩码，等于ssize减1，即15，掩码的二进制各个位的值都是1。因为ssize的最大长度是65536，所以segmentShift最大值是16，segmentMask最大值是65535，对应的二进制是16位，每个位都是1。

变量cap就是segment里HashEntry数组的长度，它等于initialCapacity除以ssize的倍数c，如果c大于1，就会取大于等于c的2的N次方值，所以cap不是1，就是2的N次方。segment的容量threshold＝(int)cap*loadFactor，默认情况下initialCapacity等于16，loadfactor等于0.75，通过运算cap等于1，threshold等于零。

先写到这， 今天有点累了， ConcurrentHashMap 的 get, put 等方法下次更新...

四. 参考资料

                      JDK 1.6、 1.7 源码

                    《并发编程实战》

                      https://www.ibm.com/developerworks/cn/java/java-lo-concurrenthashmap/

                      http://www.infoq.com/cn/articles/ConcurrentHashMap