生动有趣带你看JDK1.8-ConcurrentHashMap的put源码

最新推荐文章于 2022-06-02 11:37:27 发布
最新推荐文章于 2022-06-02 11:37:27 发布
阅读量280 收藏
点赞数
分类专栏： # JDK源码
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/dfBeautifulLive/article/details/105616728
版权

上一节说到hashmap的源码，那么这一节来说说ConcurrentHashMap的源码，因为ConcurrentHashMap是线程安全版多的hashmap，所以看这节最好先看hashmap源码那一节，所以在这里给你们准备好了传送门

生动有趣带你看JDK1.8-HashMap的put源码，看完直呼原来这么简单！

HashMap在多线程的情况下操作可能会和单线程操作情况数据不一致，就会出现所谓的线程安全的问题，线程安全就会想到的做法是加锁，也就是HashTable，但是加锁性能太差了，为什么这样说呢，HashTable直接把锁加在了put方法上，一个操作只能让一个线程进入，必然性能变差。

那采用无锁化呢？就衍生出了ConcurrentHashMap，ConcurrentHashMap采用CAS，那么什么是CAS呢？

CAS:保证对某个线程安全，获取对操作对象的新值和你需要修改的值，两者进行比较，如果相等就证明是安全的，如果不相等就证明被其他线程改过了，那么你就不能进行改动。

首先套路还是一样，先缕清成员变量，其实是和HashMap一样的数据结构，都是需要有数组的，但是不同的是定义的时候加了volatile可见性这样的单词，代表这个成员变量是要可见的，因为是要进行多线程操作了麽

1. 数组初始化

那么看源码之前想一下HashMap的操作哪里不安全？数组初始化是否安全、存储数据是否安全？

假设多线程模式不加锁，T1线程进来进行了初始化要存储数据了，T2此时也进来了然后进行了初始化操作，那么就乱了，到底初始化还是存储数据，容易出现数据混乱的问题，所以数组初始化是要保证安全的，这样一想存储数据就一定需要加锁。

那源码来看一下是不是这样的操作，还是熟悉的putVal方法，刚进来tab一定是null,所以进入初始化。

进入initTable初始化方法，映入眼帘的是一个判断，sc是局部变量默认为0，那么sizeCtl是在哪里定义的呢？(查看下图第二个)原来也是定义的成员变量，那么第一次sizeCtl是等于0的，把0赋值给了sc，判断以后一定不小于0。

不小于0就会进入另一个判断，发现这里加了CAS了，关键性的一幕来了U.compareAndSwapInt(this, SIZECTL, sc, -1)它来了，这句话的意思判断SIZECTL和sc是否相等，那么看下SIZECTL，如下图(第二个)定义的，发现也是定义的变量没有进行赋值默认为0，所以SIZECTL=0,sc=0说明数一致可以进入方法，进行数组初始化了。那么数不一致sc被赋值成-1，(sc=sizeCtl)<0就成立了，线程就会作出让步Thread.yield()。

所以ConcurrentHashMap对数组的初始化使用了CAS无锁化的方式保证了线程安全。

2.存储数据

那除了这块需要加上同步还有哪里需要加上呢，是不是put存储数据的时候也需要加上，进入putVal方法看源码，初始化过后进行hash计算以后，那么又进行了CAS的判断在第一次进入的时候i是为null,判断当i和null的比对以后才可以创建节点。

初始化完成，也能创建节点并且都能保证线程安全。那么接下来就是进入节点是有值的要么进行链表操作，要么进行红黑树操作，要么Key值相等，进行put更新操作

下图是Key值相等，进行put更新

判断下一个节点是否有值，next没值进行存储，链表存储操作

树结构存储的操作

那么以上这些存储节点的操作是不是需要加锁呢？答案是要的，需要注意的是这里不使用CAS了，这里就变成了synchronized，为什么这里使用了synchronized而不用CAS了呢，因为CAS需要进行比对，节点太多一个一个比对比较麻烦，而这里用了synchronized，是因为巧妙的用了synchronized的作用域，可以看一下synchronized方法里传递的f是什么，f就是当前的节点，也就是说作用域就是锁住当前节点，其他put操作算出来的hash只要不是数组同一个位置就不会进行锁操作，主要减少锁的粒度，就增加了性能。

3.数据扩容

那么以上都讲完了，是不是还缺个功能，对的就是扩容了，先说一下扩容需不需要线程安全，答案是一定的，我第一个线程在搬数据，第二个也在般数据，那么不就是乱套了么，还搬的是一个。

那么这里说一下，这里扩容不是锁住，它会让其他线程帮助那个正在搬运的线程，也就是说当t1线程正在扩容，t2线程进来就不能put了，而是领取任务帮忙搬运。怎么个搬运法呢，假如扩容64个长度，那么t1正在搬运前16个，那么就把另一个长度16搬运的工作交给T2，来都来了别闲着哈哈哈，T3线程进来发现还没扩容完继续帮忙领取任务再给16长度的，直到都扩容完成！

 

先看一下扩容源码f.hash头节点==MOVED，MOVED就是下图默认给-1，这里你只需要知道，达到扩容的条件就会给hash赋值为-1

做一些复杂的操作方法，最后有条件就进行扩容，那么这里就是用了addCount方法判断是否扩容，当然addCount方法里的代码有点多，但是主干就是达到条件就会去扩容，然后都会去transfer方法。

进入transfer方法，大家都会是先领取任务，stride是步伐的意思，MIN_TRANSFER_STRIDE全局变量是多少呢？下图MIN_TRANSFER_STRIDE是16，也就是判断当前数组小于16个，如果小于就不用其他线程去帮忙搬了，我一个人就行了。

如果数组大小是64个，我需要put元素，但是发现其他的线程在扩容，那么我此刻就是需要去帮忙搬元素就进入helpTransfer方法

helpTransfer方法里也是进行一系列的判断，最终还是进入transfer方法里进行帮忙，进入到transfer以后就要去领取第二个阶段的16个数组大小的任务，而真正核心的扩容步骤是和HashMap是一样的。

你会发现transfer方法的源码，前部分是进行一个线程任务领取

transfer方法的源码，中间部分是不断的判断自己的任务到底是否完成，如果完成做个标记，如果全部完成就统统返回

后部就是搬运数据的过程

那么除了加锁啊，cas判断啊，在存储数据操作其实是和hashMap是一样的。

那么ConcurrentHashMap主要的部分就说完了，本博客是学习咕泡学院的-jack老师的公开课讲解的进行整理总结，码字不易，给个赞再走被！希望本博客能够帮助你！

加下关注更感激不尽了，我会持续奋进学习书籍、视频，然后记录博客，让大家都能一起学习到！笔心

PromisingGirl-Du
关注
专栏目录
JDK1.8-ConcurrentHashMap的 rehash 扩容逻辑
平菇虾饺
04-01 1811
文章目录前言ConcurrentHashMap resize/rehash1. 什么时候resize2. 怎么resizeHashMap resize/rehashRedis resize/rehash 前言 此乃随笔， 用于记录ConcurrentHashMap的扩容逻辑， 这位大神 JDK1.8–深度分析CONCURRENTHASHMAP原理分析 的文章给了我莫大的鼓励。 顺带， 记录了Has...
关于jdk1.8中ConcurrentHashMap
一叶一菩提的博客
09-23 1122
1.前言 Java JDK升级到1.8后有些集合类的实现有了变化， 其中ConcurrentHashMap就有进行结构上的大调整。 jdk1.6、1.7实现的我不会想了解去百度吧 2. 重要概念 想要了解ConcurrentHashMap 你至少要对HashMap有一定的了解吧？ HashMap（1.8）和ConcurrentHashMap（1.8） 底层都是hash表+链表+红黑树 如果对红黑树不了解的可以查看https://blog.csdn.net/A980719/article/details/12
JDK1.8----ConcurrentHashMap的put方法源码
a14654的博客
03-15 264
public V put(K key, V value) { return putVal(key, value, false); } /** Implementation for put and putIfAbsent */ final V putVal(K key, V value, boolean onlyIfAbsent) { if (key == null || value == null) throw new NullPointerExc.
JDK1.8——HashMap,ConCurrentHashMap——put(),get()源码解读
Lpf的博客
07-09 544
HashMap——put解读 public V put(K key, V value) { // 对key进行hash取值传入putVal()方法 return putVal(hash(key), key, value, false, true); } /** * Implements Map.put and related method...
jdk1.8下的ConcurrentHashMap源码分析
TT_130616的博客
07-02 202
1 、构造函数 1.1空参构造函数 /** * Creates a new, empty map with the default initial table size (16). */ public ConcurrentHashMap() { } 1.2指定初始化容量的构造函数 public ConcurrentHashMap(int initialCapacity) { if (initialCapacity < 0)//...
ConcurrentHashMap(JDK1.8)put分析（一）
Myd
06-02 2060
ConcurrentHashMap和HashMap的put值过程有些类似，ConcurrentHashMap的结构也是table + 链表+ 红黑树；在put值时，锁粒度是table的元素；也就是说，当put值时定位到table的第 i 个元素，那么就会给table[i]上锁；其他线程在put值时也定位到 i 时就需要等待获取锁；如果是其他位置则不需要等待锁，可以进行put操作。 下面具体分析ConcurrentHashMap的put值过程 ConcurrentHashMap在
JDK1.8ConcurrentHashMap源码剖析
帝都的雁的博客
04-18 375
源于蚂蚁课堂的学习，点击这里查看（老余很给力） 1.源码剖析 a.put b.initTable 2.总结 ConcurrentHashMap的底层原理类似于hashMap8，但它是线程安全的，具体体现 1.为数组初始化或扩容时，采用CAS去方式多线程修改共享数据 2.为数组index对应的node赋值时，会将node使用同步代码块加锁 3.若线程1在扩容，其...
JDK1.8之ConcurrentHashMap
mmoren的博客
01-25 1867
主要参考：http://www.cnblogs.com/leesf456/p/5453341.html                 http://blog.csdn.net/sunyangwei1993/article/details/77001597 一、前言 　　最近几天忙着做点别的东西，今天终于有时间分析源码了，看源码感觉很爽，并且发现ConcurrentHas
JDK1.8中ConcurrentHashMap中computeIfAbsent死循环bug.docx
06-26
在JDK 1.8版本中，`ConcurrentHashMap`中的`computeIfAbsent`方法存在一个潜在的死循环问题。这个bug主要出现在并发操作时，当`ConcurrentHashMap`需要进行扩容并且`computeIfAbsent`正在执行计算的过程中，可能会...
【Java并发】-- ConcurrentHashMap如何实现高效地线程安全（jdk1.8）
十年磨一剑，沉淀……
07-21 2678
1.传统集合框架并发编程中Map存在的问题？ 2.早期改进策略 HashTable HashTable相比HashMap是线程安全的，因为HashTable所有的方法都是加了synchronized的，锁的是整个hashMap，也就是我们说的锁的粒度比较大，由于最基本的put,set操作都加了互斥锁，造成的结果就是同一时间点只能由一个线程put或只能get，并发操作时所有的put,get操作都...
ConcurrentHashMap.jdk1.8 put操作：
xhga
05-13 998
put操作: public V put(K key, V value) { return putVal(key, value, false); } /** Implementation for put and putIfAbsent */ final V putVal(K key, V value, boolean onlyIfAbsent) {...
ConCurrentHashMap1.8 put,size,get过程
qq_40076192的博客
10-26 840
put 1、判断Node[]数组是否初始化，没有则进行初始化操作 2、通过hash定位数组的索引坐标，是否有Node节点，如果没有则使用CAS进行添加（链表的头节点），添加失败则进入下次循环。 3、检查到内部正在扩容，就帮助它一块扩容。 4、如果f！=null，则使用synchronized锁住f元素（链表/红黑树的头元素）。如果是Node（链表结构）则执行链表的添加操作；如果是TreeNode（...
JDK1.8的ConcurrentHashMap 的put、get 工作原理
weixin_44683593的博客
07-02 1730
JDK1.8的ConcurrentHashMap put总结： 如果没有初始化就先调用initTable（）方法来进行初始化过程 如果没有hash冲突就直接CAS插入 如果还在进行扩容操作就先进行扩容 如果存在hash冲突，就加锁来保证线程安全，这里有两种情况，一种是链表形式就直接遍历到尾端插入，一种是红黑树就按照红黑树结构插入， 如果Hash冲突时会形成Node链表，在链表长度超过8，Node数组超过64时会将链表结构转换为红黑树的结构，break再一次进入循环 如果添加成功就调用addCo
JDK1.8 ConcurrentHashMap的put函数流程
weixin_46599009的博客
06-10 1831
判断数组是否为空 第一次插入时初始化数组table（为volatile修饰），其大小默认为16。插入元素时先获得键的hash值，然后找到数组索引插入，插入时先看数组是否为空。 为空：初始化table：先看sizeCtl是否为小于0，为-1则其他线程占有锁。不为则初始化其为-1，然后默认数组大小为16。sizeCtl为16*0.75。 然后判断数组第一个位置是否为空， 为空，采用casTab（）插入。 不为空，判断其hash是否为-1。 为-1，判断是否在扩容，不是扩容直接返回table。 不为空： 加锁：
简单看concurrentHashMap的put操作（1.8）
weixin_30519071的博客
12-20 598
public V put(K key, V value) { return putVal(key, value, false); } final V putVal(K key, V value, boolean onlyIfAbsent) { if (key == null || value == null) throw new NullPoint...
分析jdk 1.8 ConcurrentHashMap 的put 方法
茄子的博客
05-15 1125
如有转载请注明出处https://blog.csdn.net/weixin_41955327/article/details/90228701 public V put(K key, V value) { //点击进入putVal return putVal(key, value, false); } /** Implementation for put and putIfAbsent...
ConcurrentHashMap原理分析（1.7与1.8）put 和 get
try to do
04-01 1808
https://www.cnblogs.com/aspirant/p/8623864.html ConcurrentHashMap 与HashMap和Hashtable 最大的不同在于：put和 get 两次Hash到达指定的HashEntry，第一次hash到达Segment,第二次到达Segment里面的Entry,然后在遍历entry链表 (1) 从1.7到1.8版本，由于HashEntry...
[集合]ConcurrentHashMap的put操作（cas体现在了哪），版本1.8
新一的技术笔记
09-01 4006
前言 这个hashmap被问到了put操作的过程，里面到底是怎么使用到cas操作的？ https://blog.csdn.net/pmdream/article/details/107089225 很久很久以前，一年前撸了一遍这个原理和源码，现在已经不记得了， 先单独拿出put来看看 源码分析 1.8版本的put 就会调用putval的方法～ final V putVal(K key, V value, boolean onlyIfAbsent) { .
ConcurrentHashMap实现原理及源码分析
热门推荐
weixin_43185598的博客
02-26 5万+
一、ConcurrentHashMap跟HashMap，HashTable的对比 HashMap不是线程安全： 在并发环境下，可能会形成环状链表（扩容时可能造成，具体原因自行百度google或查看源码分析），导致get操作时，cpu空转，所以，在并发环境中使用HashMap是非常危险的 HashTable是线程安全的： HashTable和HashMap的实现原理几乎一样， 差别：1.Ha...
ConcurrentHashMap源码解析（jdk1.8）
最新发布
09-01
在JDK 1.8中，ConcurrentHashMap的实现基于数组和链表结构，同时引入了红黑树来提高性能。下面是对ConcurrentHashMap的源码解析： 1. 分段锁：ConcurrentHashMap中使用了分段锁（Segment）的机制，将整个数据结构...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值