深入理解ConcurrentHashMap源码解析

本文介绍: 1.7采用 segment加re e n tr antLo ck 实现，而1.8采用CAS和synchronized以及volatile 实现。

Con currentHa shMap是Ja va中一个非常重要的并发集合类，它提供了线程安全的哈希表实现。其初衷是为了优化同步Ha shMap，减少线程竞争，提高并发访问效率。随着Jav a的发展，Con currentHa s hMap在1.7和1.8中经历了显著的变化。以下内容将深入探索这两个版本的区别，同时结合源码和底层实现来进行说明。

在Jav a 1.7（及之前的版本）中，Con currentHa s hMap 采用了分段锁（Se gmen ta t ion）的概念，其核心是将数据分成一段一段地存储，然后为每一段数据配备一把锁。

在Java 1.7中，Con cur re n tHas hMap 内部维护了一个Segment数组。每个Segment继承自ReentrantLock并且它内部本质上是一个Hash表。这样做的好处是能够减小锁的粒度，提高并发访问的效率。默认Segment 数量为 16，可以通过构造函数来修改默认值。当需要 put或get 一个元素时，线程首先通过 hash 定位到具体的Segment，然后在对应的Segment上进行锁定操作。

static final class Segment<K,V&gt; extends ReentrantLock implements Serializable {
    // 省略其他属性和方法

    // Segment内部的HashEntry数组
    transient volatile HashEntry<K,V&gt;[] table;

    Segment(float loadFactor, int threshold, HashEntry<K,V>[] tab) {
        this.loadFactor = loadFactor;
        this.threshold = threshold;
        this.table = tab;
    }

    // 其他方法...
}

当进行写操作时，需要首先定位到具体的Segment，然后对其加锁，执行操作后再解锁。这意味着同时只有一个线程可以在一个Segment内进行写操作，但是多个线程可以并发对不同的Segment进行操作。

public V put(K key, V value) {
    if (value == null)
        throw new NullPointerException();
    int hash = hash(key);
    int i = (hash >>> segmentShift) &amp; segmentMask;
    return segments[i].put(key, hash, value, false);
}

对于读操作，如果没有进行结构修改，可以允许一定程度的并发。如果读操作需要确保最新的数据被读取，可能需要对Segment进行加锁。

Java 8中对Con cur rentHashMap的实现进行了重大的改进。在这个版本中，去掉了Segment的概念，转而使用了CAS操作（Comp are-And-Swap）和synchronized关键字配合节点的锁实现高效的并发控制。

static class Node<K,V> implements Map.Entry<K,V> {
    final int hash;
    final K key;
    volatile V value;
    volatile Node<K,V> next;

    Node(int hash, K key, V value, Node<K,V> next) {
        this.hash = hash;
        this.key = key;
        this.value = value;
        this.next = next;
    }

    // 其他方法...
}

final V putVal(K key, V value, boolean onlyIfAbsent) {
    if (key == null || value == null) throw new NullPointerException();
    int hash = spread(key.hashCode());
    int binCount = 0;
    for (Node<K,V>[] tab = table;;) {
        Node<K,V> f; int n, i, fh; K fk; V fv;
        // ...
        if ((f = tabAt(tab, i = (n - 1) &amp; hash)) == null) {
            if (casTabAt(tab, i, null,
                         new Node<K,V>(hash, key, value, null)))
                break;                   // no lock when adding to empty bin
        }
        // ...
    }
    return null;
}

Java 8的Con cur rentHashMap在读操作上基本不加锁（除非在读操作过程中检测到写操作正在进行），利用volatile关键字的读写内存语义来保证可见性，从而大大提高读操作的并发性。

public V get(Object key) {
    Node<K,V>[] tab; Node<K,V> e, p; int n, eh; K ek;
    int h = spread(key.hashCode());
    if ((tab = table) != null &amp;&amp; (n = tab.length) > 0 &amp;&amp;
        (e = tabAt(tab, (n - 1) &amp; h)) != null) {
        if ((eh = e.hash) == h) {
            if ((ek = e.key) == key || (ek != null &amp;&amp; key.equals(ek)))
                return e.val;
        }
        // ...
    }
    return null;
}