请你说明一下ConcurrentHashMap的原理？

「爱情、让人受尽委屈。」 2023-10-07 08:53 30阅读 0赞

ConcurrentHashMap 类中包含两个静态内部类 HashEntry 和 Segment。HashEntry 用来封装映射表的键 / 值对；Segment 用来充当锁的角色，每个 Segment 对象守护整个散列映射表的若干个桶。每个桶是由若干个 HashEntry 对象链接起来的链表。一个 ConcurrentHashMap 实例中包含由若干个 Segment 对象组成的数组。HashEntry 用来封装散列映射表中的键值对。在 HashEntry 类中，key，hash 和 next 域都被声明为 final 型，value 域被声明为 volatile 型。

static final class HashEntry<K,V> {
        
           final K key;                       // 声明 key 为 final 型
           final int hash;                   // 声明 hash 值为 final 型
           volatile V value;                 // 声明 value 为 volatile 型
           final HashEntry<K,V> next;      // 声明 next 为 final 型
      
           HashEntry(K key, int hash, HashEntry<K,V> next, V value) {
        
               this.key = key;
               this.hash = hash;
               this.next = next;
               this.value = value;
           }
    }

在ConcurrentHashMap 中，在散列时如果产生“碰撞”，将采用“分离链接法”来处理“碰撞”：把“碰撞”的 HashEntry 对象链接成一个链表。由于 HashEntry 的 next 域为 final 型，所以新节点只能在链表的表头处插入。 下图是在一个空桶中依次插入 A，B，C 三个 HashEntry 对象后的结构图：

图1. 插入三个节点后桶的结构示意图：

![img][]

注意：由于只能在表头插入，所以链表中节点的顺序和插入的顺序相反。

Segment 类继承于 ReentrantLock 类，从而使得 Segment 对象能充当锁的角色。每个 Segment 对象用来守护其（成员对象 table 中）包含的若干个桶。

[img]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly91cGxvYWRmaWxlcy5ub3djb2Rlci5jb20vaW1hZ2VzLzIwMTgwOTI1LzMwODU3Ml8xNTM3ODc4Mjg0NTQwX0I2QzMxRDAxRDQxQzlFMTcxNDk1OEY5QzU2RDAxRDhG?x-oss-process=image/format,png