Map 综述—彻头彻尾理解 ConcurrentHashMap，说一下springboot启动时的自动装配过程

最新推荐文章于 2024-05-05 23:23:54 发布

程序员伏地魔

最新推荐文章于 2024-05-05 23:23:54 发布

阅读量874

点赞数 10

分类专栏： 2024年程序员学习文章标签： spring boot java 后端

本文链接：https://blog.csdn.net/m0_56604447/article/details/136957493

版权

2024年程序员学习专栏收录该内容

233 篇文章 1 订阅

订阅专栏

本文详细解析了ConcurrentHashMap在Java中作为线程安全Map的实现，介绍了其数据结构、锁分段技术、高效读写操作以及并发保证机制。重点讨论了Segment和HashEntry的作用以及构造函数的不同参数含义。

摘要由CSDN通过智能技术生成

本文所有关于 ConcurrentHashMap 的源码都是基于 JDK 1.6的，不同 JDK 版本之间会有些许差异，但不影响我们对 ConcurrentHashMap 的数据结构、原理等整体的把握和了解

ConcurrentHashMap是J.U.C(java.util.concurrent包)的重要成员，它是HashMap的一个线程安全的、支持高效并发的版本

ConcurrentHashMap 概述

===================================================================================

HashMap 是 Java Collection Framework 的重要成员，也是Map族(如下图所示)中我们最为常用的一种。不过遗憾的是，HashMap不是线程安全的

HashMap的这一缺点往往会造成诸多不便，虽然在并发场景下HashTable和由同步包装器包装的HashMap(Collections.synchronizedMap(Map<K,V> m) )可以代替HashMap，但是它们都是通过使用一个全局的锁来同步不同线程间的并发访问，因此会带来不可忽视的性能问题。庆幸的是，JDK为我们解决了这个问题，它为HashMap提供了一个线程安全的高效版本 —— ConcurrentHashMap

在ConcurrentHashMap中，无论是读操作还是写操作都能保证很高的性能：在进行读操作时(几乎)不需要加锁，而在写操作时通过锁分段技术只对所操作的段加锁而不影响客户端对其它段的访问。特别地，在理想状态下，ConcurrentHashMap 可以支持 16 个线程执行并发写操作（如果并发级别设为16），及任意数量线程的读操作

Map 综述—彻头彻尾理解 ConcurrentHashMap

ConcurrentHashMap的高效并发机制是通过以下三方面来保证的

通过锁分段技术保证并发环境下的写操作
通过 HashEntry的不变性、Volatile变量的内存可见性和加锁重读机制保证高效、安全的读操作
通过不加锁和加锁两种方案控制跨段操作的的安全性

ConcurrentHashMap 在 JDK 中的定义

===========================================================================================

ConcurrentHashMap类中包含两个静态内部类

HashEntry：用来封装具体的K/V对，是个典型的四元组
Segment：用来充当锁的角色，每个 Segment 对象守护整个ConcurrentHashMap的若干个桶 (可以把Segment看作是一个小型的哈希表)，其中每个桶是由若干个 HashEntry 对象链接起来的链表

ConcurrentHashMap 在默认并发级别下会创建16个Segment对象的数组，如果键能均匀散列，每个 Segment 大约守护整个散列表中桶总数的 1/16。

类结构定义

ConcurrentHashMap 继承了AbstractMap并实现了ConcurrentMap接口，其在JDK中的定义为：

public class ConcurrentHashMap<K, V> extends AbstractMap<K, V>

implements ConcurrentMap<K, V>, Serializable {

…

}

成员变量定义

与HashMap相比，ConcurrentHashMap **增加了两个属性用于定位段，分别是 segmentMask 和 segmentShift。**此外，不同于HashMap的是，ConcurrentHashMap底层结构是一个Segment数组，而不是Object数组

final int segmentMask; // 用于定位段，大小等于segments数组的大小减 1，是不可变的

final int segmentShift; // 用于定位段，大小等于32(hash值的位数)减去对segments的大小取以2为底的对数值，是不可变的

final Segment<K,V>[] segments; // ConcurrentHashMap的底层结构是一个Segment数组

段的定义：Segment

Segment 类继承于 ReentrantLock 类，从而使得 Segment 对象能充当锁的角色

Map 综述—彻头彻尾理解 ConcurrentHashMap

在Segment类中，count 变量是一个计数器，它表示每个 Segment 对象管理的 table 数组包含的 HashEntry 对象的个数，也就是 Segment 中包含的 HashEntry 对象的总数。特别需要注意的是，之所以在每个 Segment 对象中包含一个计数器，而不是在 ConcurrentHashMap 中使用全局的计数器，是对 ConcurrentHashMap 并发性的考虑：因为这样当需要更新计数器时，不用锁定整个ConcurrentHashMap

基本元素：HashEntry

与HashMap中的Entry类似，HashEntry也包括同样的四个域，分别是key、hash、value和next。不同的是，在HashEntry类中，key，hash和next域都被声明为final的，value域被volatile所修饰，因此HashEntry对象几乎是不可变的，这是ConcurrentHashmap读操作并不需要加锁的一个重要原因

由于value域被volatile修饰，所以其可以确保被读线程读到最新的值，这是ConcurrentHashmap读操作并不需要加锁的另一个重要原因。

ConcurrentHashMap 的构造函数

======================================================================================

1，ConcurrentHashMap(int initialCapacity, float loadFactor, int concurrencyLevel)

该构造函数意在构造一个具有指定容量、指定负载因子和指定段数目/并发级别(若不是2的幂次方，则会调整为2的幂次方)的空ConcurrentHashMap

2，ConcurrentHashMap(int initialCapacity, float loadFactor)

该构造函数意在构造一个具有指定容量、指定负载因子和默认并发级别(16)的空ConcurrentHashMap

3，ConcurrentHashMap(int initialCapacity)

该构造函数意在构造一个具有指定容量、默认负载因子(0.75)和默认并发级别(16)的空ConcurrentHashMap

4，ConcurrentHashMap()

该构造函数意在构造一个具有默认初始容量(16)、默认负载因子(0.75)和默认并发级别(16)的空ConcurrentHashMap

小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。