concurrentHashMap代码走读 chm走读

个人渣记录仅为自己搜索用

已于 2022-05-02 22:27:29 修改

阅读量513

点赞数

文章标签： chm 并发

于 2022-04-13 02:01:03 首次发布

本文链接：https://blog.csdn.net/fei33423/article/details/124138824

版权

人人都是java并发专家_个人渣记录仅为自己搜索用的博客-CSDN博客

这三篇就够了

ConcurrentHashMap的初步使用场景、源码分析讲解（中） - 47号Gamer丶 - 博客园

面试：为了进阿里，死磕了ConcurrentHashMap源码和面试题(二) - 掘金

ConcurrentHashMap底层详解(图解扩容)（JDK1.8）_编程芝士的博客-CSDN博客_concurrenthashmap扩容

问 concurrentHashMap 如何确保并发迁移?

数据迁移不停服设计借鉴concurrentHashMap chm _fei33423

ForwardingNode节点

1、标记作用，表示其他线程正在扩容，并且此节点已经扩容完毕
2、关联了nextTable，扩容期间可以通过find方法，访问已经迁移到了nextTable中的数据

nextTable

扩容期间，将table数组中的元素迁移到 nextTable。即nextTable为创建的新的table，容量为原来的两倍

问 chm和redis rehash的差别?

redis 单插,多写,多删,多读. 优点是写,删比较快. 比较适合redis. CHM我也觉也可以借鉴.

Redis的字典渐进式扩容与ConcurrentHashMap的扩容策略比较 - 百度文库

问 chm 何时会resize?

0.75 等效与 n - n>>2

首先 s >= (long)(sc = sizeCtl) 此时 sizeCtl=0.75*n .

ConcurrentHashMap底层详解(图解扩容)（JDK1.8）_编程芝士的博客-CSDN博客_concurrenthashmap扩容

sizeCtl

多线程之间，以volatile的方式读取sizeCtl属性，来判断ConcurrentHashMap当前所处的状态。
通过cas设置sizeCtl属性，告知其他线程ConcurrentHashMap的状态变更。

不同状态，sizeCtl所代表的含义也有所不同

未初始化：sizeCtl=0：表示没有指定初始容量。
sizeCtl>0：表示初始容量。
初始化中：sizeCtl=-1,标记作用，告知其他线程，正在初始化
正常状态：sizeCtl=0.75n,扩容阈值
扩容中：sizeCtl < 0 : 表示有其他线程正在执行扩容
sizeCtl = (resizeStamp(n) << RESIZE_STAMP_SHIFT)+2 表示此时只有一个线程在执行扩容

问 chm 扩容大小如何变化?

nextTab 是原来tab的两倍. transfer 内.

问红黑树什么时候转变?

8个的时候,0.75 随机分布,概率很低很低.

问 ConcurrentHashMap的源码分析- resizeStamp作用?

ConcurrentHashMap的源码分析-resizeStamp_Leon_Jinhai_Sun的博客-CSDN博客

所以resizeStamp(n)的返回值为：高16位置0，第16位为1，低15位存放当前容量n，用于表示是对n的扩容。

1. sizeCtl < 0
已经有线程在扩容，将sizeCtl+1并调用transfer()让当前线程参与扩容。
2. sizeCtl >= 0
表示没有线程在扩容，使用CAS将sizeCtl的值改为 ( resizeStamp << RESIZE_STAMP_SHIFT) + 2)。rs即resizeStamp(n)

问 chm 会有多个线程同时resize么?

因为chm只原表的锁节点,故不同的线程可以同时对不同的分区进行迁移. 只要确保新的table对不同的线程都可见即可.

问什么时候线程不协助扩容：

如果准备加入扩容的线程，发现以下情况，放弃扩容，直接返回。

a、发现transferIndex=0,即所有node均已分配
b、发现扩容线程已经达到最大扩容线程数

transferIndex 扩容索引

扩容索引，表示已经分配给扩容线程的table数组索引位置。主要用来协调多个线程，并发安全地获取迁移任务（hash桶）。

private transient volatile int transferIndex;
private static final int MIN_TRANSFER_STRIDE = 16; //扩容线程每次最少要迁移16个hash桶

1、在扩容之前，transferIndex 在数组的最右边。此时有一个线程发现已经到达扩容阈值，准备开始扩容。
2、扩容线程，在迁移数据之前，首先要将transferIndex右移（以CAS的方式修改 transferIndex=transferIndex-stride(要迁移hash桶的个数)），获取迁移任务。每个扩容线程都会通过for循环+CAS的方式设置transferIndex，因此可以确保多线程扩容的并发安全。

换个角度，我们可以将待迁移的table数组，看成一个任务队列，transferIndex看成任务队列的头指针。而扩容线程，就是这个队列的消费者。扩容线程通过CAS设置transferIndex索引的过程，就是消费者从任务队列中获取任务的过程。为了性能考虑，我们当然不会每次只获取一个任务（hash桶），因此ConcurrentHashMap规定，每次至少要获取16个迁移任务（迁移16个hash桶，MIN_TRANSFER_STRIDE = 16）