Jdk1.7之ConcurrentHashMap源码总结

news2024/11/26 0:57:48

文章目录

  • 一、常见属性
    • 1. 初始化容量
    • 2. 加载因子
    • 3. 并发级别
  • 二、重要方法
    • 1. 构造方法
    • 2. ConcurrentHashMap#put方法
      • 2.1 ConcurrentHashMap#put#ensureSegment
      • 2.2 ConcurrentHashMap#Segment#put
        • 2.2.1 Segment#put#scanAndLockForPut
        • 2.2.2 Segment#put#rehash
    • 3. ConcurrentHashMap#get方法
  • 三、总结
    • 1. 优点
    • 2. 缺点

ConcurrentHashMap

一、常见属性

1. 初始化容量

/**
 * The default initial capacity for this table,
 * used when not otherwise specified in a constructor.
 */
 //默认初始化的容量
static final int DEFAULT_INITIAL_CAPACITY = 16;

2. 加载因子

/**
 * The default load factor for this table, used when not
 * otherwise specified in a constructor.
 */
static final float DEFAULT_LOAD_FACTOR = 0.75f;

3. 并发级别

/**
 * The default concurrency level for this table, used when not
 * otherwise specified in a constructor.
 */
static final int DEFAULT_CONCURRENCY_LEVEL = 16;

二、重要方法

1. 构造方法

public ConcurrentHashMap() {
	//见图1.1 如果DEFAULT_INITIAL_CAPACITY等于32   DEFAULT_CONCURRENCY_LEVEL等于16
    this(DEFAULT_INITIAL_CAPACITY, DEFAULT_LOAD_FACTOR, DEFAULT_CONCURRENCY_LEVEL);
}
public ConcurrentHashMap(int initialCapacity,
                        float loadFactor, int concurrencyLevel) {
   //参数校验
   if (!(loadFactor > 0) || initialCapacity < 0 || concurrencyLevel <= 0)
       throw new IllegalArgumentException();
   //如果concurrencyLevel 大于最大支持的并发量,则设置为MAX_SEGMENTS
   if (concurrencyLevel > MAX_SEGMENTS)
       concurrencyLevel = MAX_SEGMENTS;
   // Find power-of-two sizes best matching arguments
   int sshift = 0;
   int ssize = 1;
   //当concurrencyLevel等于16,sshift=4    2^4 = 16
   while (ssize < concurrencyLevel) {
       ++sshift;
       //左移乘2,找到里2的次幂最近的数
       ssize <<= 1;
   }
   //int类型32个bit位  32-4 = 28   put方法会用到,先这么理解
   this.segmentShift = 32 - sshift;
   //这里表示segment长度-1
   this.segmentMask = ssize - 1;
   //判断初始容量是否超过最大值
   if (initialCapacity > MAXIMUM_CAPACITY)
   	//将initialCapacity 设置为最大容量
       initialCapacity = MAXIMUM_CAPACITY;
   //如果initialCapacity 和ssize走默认值 16 , c = 1
   int c = initialCapacity / ssize;
   if (c * ssize < initialCapacity)
   	//c要向上取整
       ++c;
   //cap = 2 代表segment数组容量
   int cap = MIN_SEGMENT_TABLE_CAPACITY;
   while (cap < c)
       cap <<= 1;
   // create segments and segments[0]
   //创建一个segment对象,设置阈值cap * loadFactor
   //扩容是针对segment里的hashEntry扩容,并不是整个segment都要扩容
   Segment<K,V> s0 =
       new Segment<K,V>(loadFactor, (int)(cap * loadFactor),
                        (HashEntry<K,V>[])new HashEntry[cap]);
   //创建一个空的segment数组,这里ssize一定是2的次幂
   Segment<K,V>[] ss = (Segment<K,V>[])new Segment[ssize];
   //使用CAS将创建出来的s0对象放到第0个位置,这里是为了复用segment对象,因为每个segment在首次创建时(初始化)属性都一样,后续扩容就是自己内部segment的事情了
   UNSAFE.putOrderedObject(ss, SBASE, s0); // ordered write of segments[0]
   this.segments = ss;
}
Segment(float lf, int threshold, HashEntry<K,V>[] tab) {
    this.loadFactor = lf;
    this.threshold = threshold;
    this.table = tab;
}

ConcurrentHashMap

图1.1

2. ConcurrentHashMap#put方法

public V put(K key, V value) {
        Segment<K,V> s;
        //value等于null抛异常
        if (value == null)
            throw new NullPointerException();
        //根据key算出一个hash值
        int hash = hash(key);
        //segmentMask其实就是segment数组的大小-1,可以看下构造方法哪里
        //算出落在Segment数组中的位置 j
        //segmentShift默认计算出是28,可以看下构造方法哪里
        //int类型hash值右移28位,相当于保留了高4位  再进行&操作 
        //(segmentMask可以推出15由构造方法)而15二进制低4位是1,高4位与低4位相互对应,合理算出segment下标
        int j = (hash >>> segmentShift) & segmentMask;
        //如果对应segment数组中的segment对象等于null,还没有初始化,则生成一个segment对象
        if ((s = (Segment<K,V>)UNSAFE.getObject          // nonvolatile; recheck
             (segments, (j << SSHIFT) + SBASE)) == null) //  in ensureSegment
            //生成一个segment对象
            s = ensureSegment(j);
            //调用segment对象的put方法
        return s.put(key, hash, value, false);
    }

🐱‍🚀这里需要注意ConcurrentHashMap的key不能为null,但是hashmap是可以为null的。🐱‍🚀

2.1 ConcurrentHashMap#put#ensureSegment

private Segment<K,V> ensureSegment(int k) {
	//获取segment数组
    final Segment<K,V>[] ss = this.segments;
    long u = (k << SSHIFT) + SBASE; // raw offset
    Segment<K,V> seg;
    //这里多线程如果落到同一个下标,会产生竞争,所以需要进行一下判空
    if ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u)) == null) {
    	//获取segment数组的第0个位置,与构造方法哪里进行对应  复用
        Segment<K,V> proto = ss[0]; // use segment 0 as prototype
        //获取第0个位置segment内部HashEntry数组大小
        int cap = proto.table.length;
        float lf = proto.loadFactor;
        int threshold = (int)(cap * lf);
        //创建segment内部的HashEntry数组,注意cap与第0个segment保持一直
        HashEntry<K,V>[] tab = (HashEntry<K,V>[])new HashEntry[cap];
        //类似double check 再次判断
        if ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u))
            == null) { // recheck
            //真正的创建一个Segment对象,此时还没有放到Segment数组中,只是创建
            Segment<K,V> s = new Segment<K,V>(lf, threshold, tab);
            //死循环+CAS保证刚创建的Segment对象成功放到segment数组中
            while ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u))
                   == null) {
                if (UNSAFE.compareAndSwapObject(ss, u, null, seg = s))
                	//操作成功,返回
                    break;
            }
        }
    }
    return seg;
}

2.2 ConcurrentHashMap#Segment#put

final V put(K key, int hash, V value, boolean onlyIfAbsent) {
			//c尝试获取一把独占锁,因为segment继承ReentrantLock
			//获取到锁返回null,否则调用scanAndLockForPut
            HashEntry<K,V> node = tryLock() ? null :
                scanAndLockForPut(key, hash, value);
            V oldValue;
            try {
            	//获取segment内部的table
                HashEntry<K,V>[] tab = table;
                //计算下标
                int index = (tab.length - 1) & hash;
                //获取数组下标对应的值
                HashEntry<K,V> first = entryAt(tab, index);
                //从第一个元素开始遍历
                for (HashEntry<K,V> e = first;;) {
                    if (e != null) {
                    //遍历链表
                        K k;
                        if ((k = e.key) == key ||
                            (e.hash == hash && key.equals(k))) {
                            //如果存在key相同的
                            oldValue = e.value;
                            if (!onlyIfAbsent) {
                            	//不存在才更新  
                                e.value = value;
                                ++modCount;
                            }
                            break;
                        }
                        //当遍历到链表的最后一个元素,这里e = null,因为这里是死循环,所以会走到else分支
                        e = e.next;
                    }
                    else {
                    	//
                        if (node != null)
                            node.setNext(first);
                        else
                        	//对应链表上没有key,value的情况,采用头插法,创建一个新的node
                            node = new HashEntry<K,V>(hash, key, value, first);
                        //当前segment内部存放的元素+1
                        int c = count + 1;
                        //大于阈值,则rehash进行扩容,该方法是segment对象自己的,所以是内部扩容
                        if (c > threshold && tab.length < MAXIMUM_CAPACITY)
                        	//segment内部进行扩容
                            rehash(node);
                        else
                        	//CAS尝试放到数组的第i个位置
                            setEntryAt(tab, index, node);
                        ++modCount;
                        //对count赋值
                        count = c;
                        oldValue = null;
                        break;
                    }
                }
            } finally {
            	//解锁
                unlock();
            }
            //返回旧值
            return oldValue;
        }

2.2.1 Segment#put#scanAndLockForPut

//继续尝试获取锁过程中,提前构建HashEntry对象
private HashEntry<K,V> scanAndLockForPut(K key, int hash, V value) {
			//this代表当前segment对象
			//获取hash值对应下标的元素
            HashEntry<K,V> first = entryForHash(this, hash);
            HashEntry<K,V> e = first;
            HashEntry<K,V> node = null;
            //重试次数
            int retries = -1; // negative while locating node
            //遍历链表的每个结点都会再次尝试获取锁
            while (!tryLock()) {
            	//没有获取到锁的情况
                HashEntry<K,V> f; // to recheck first below
                if (retries < 0) { retries = -1
                //一开始会进到这个分支
                    if (e == null) {
                        if (node == null) // speculatively create node
                        	//创建一个node结点
                            node = new HashEntry<K,V>(hash, key, value, null);
                        //将retries 置为0,下次循环就不会进到该分支了
                        retries = 0;
                    }
                    else if (key.equals(e.key))
                    	//如果发现有相同的key,就不用创建node节点了
                    	//将retries 置为0,下次循环就不会进到该分支了
                        retries = 0;
                    else
                    	//遍历链表,直到尾结点
                        e = e.next;
                }
                //避免CPU过度消耗,达到一定重试次数后,直接阻塞式获取锁
                else if (++retries > MAX_SCAN_RETRIES) {
                    lock();
                    //获取到锁,则break退出循环
                    break;
                }
                //retries 为偶数的情况下 并且 查看当前线程获取锁过程中链表头结点是否发生了改变
                else  if ((retries & 1) == 0 &&
                         (f = entryForHash(this, hash)) != first) {
                    e = first = f; // re-traverse if entry changed
                    //如果发生了变化,重新设置为-1
                    retries = -1;
                }
            }
            return node;
        }

2.2.2 Segment#put#rehash

private void rehash(HashEntry<K,V> node) {
            HashEntry<K,V>[] oldTable = table;
            int oldCapacity = oldTable.length;
            //左移一位,成倍扩容
            int newCapacity = oldCapacity << 1;
            //重新计算阈值
            threshold = (int)(newCapacity * loadFactor);
            //创建一个新的table
            HashEntry<K,V>[] newTable =
                (HashEntry<K,V>[]) new HashEntry[newCapacity];
            //为了取余
            int sizeMask = newCapacity - 1;
            //遍历老数组
            for (int i = 0; i < oldCapacity ; i++) {
                HashEntry<K,V> e = oldTable[i];
                if (e != null) {
                	//定义next指向
                    HashEntry<K,V> next = e.next;
                    //算出新数组的下标
                    int idx = e.hash & sizeMask;
                    if (next == null)   //  Single node on list
                    	//如果next为null,说明只有一个元素,直接转移
                        newTable[idx] = e;
                    else { // Reuse consecutive sequence at same slot
                    	//如果next不等于null
                        HashEntry<K,V> lastRun = e;
                        int lastIdx = idx;
                        for (HashEntry<K,V> last = next;
                             last != null;
                             last = last.next) {
                            //遍历计算下标
                            int k = last.hash & sizeMask;
                            //如果和原来下标不一致,记录一下
                            if (k != lastIdx) {
                                lastIdx = k;
                                lastRun = last;
                            }
                        }
                        newTable[lastIdx] = lastRun;
                        // Clone remaining nodes
                        for (HashEntry<K,V> p = e; p != lastRun; p = p.next) {
                            V v = p.value;
                            int h = p.hash;
                            int k = h & sizeMask;
                            HashEntry<K,V> n = newTable[k];
                            newTable[k] = new HashEntry<K,V>(h, p.key, v, n);
                        }
                    }
                }
            }
            //对当前元素计算下标,上述是对已有元素转移
            int nodeIndex = node.hash & sizeMask; // add the new node
            //头插法设置
            node.setNext(newTable[nodeIndex]);
            newTable[nodeIndex] = node;
            table = newTable;
}

3. ConcurrentHashMap#get方法

public V get(Object key) {
        Segment<K,V> s; // manually integrate access methods to reduce overhead
        HashEntry<K,V>[] tab;
        int h = hash(key);
        long u = (((h >>> segmentShift) & segmentMask) << SSHIFT) + SBASE;
        //从segment数组中获取下标对应Segment对象
        //UNSAFE操作获取内存里最新的对象,而不是Cpu缓存里面的
        if ((s = (Segment<K,V>)UNSAFE.getObjectVolatile(segments, u)) != null &&
            (tab = s.table) != null) {
            for (HashEntry<K,V> e = (HashEntry<K,V>) UNSAFE.getObjectVolatile
                     (tab, ((long)(((tab.length - 1) & h)) << TSHIFT) + TBASE);
                 //开始遍历链表
                 e != null; e = e.next) {
                K k;
                if ((k = e.key) == key || (e.hash == h && key.equals(k)))
                	//找到元素直接返回
                    return e.value;
            }
        }
        return null;
    }

三、总结

ConcurrentHashMap是Java中的一个线程安全的哈希表实现,它在多线程环境下提供了高效的并发访问。

1. 优点

它的优点包括:

  • 1、线程安全:ConcurrentHashMap使用锁分段技术来实现线程安全,它将哈希表分成多个段,每个段拥有自己的锁,不同的线程可以同时访问不同的段,从而提高了并发性能。

  • 2、高效性能:ConcurrentHashMap在并发环境下提供了较好的性能,读操作不需要加锁,写操作只需要锁定特定的段,而不是整个哈希表,从而减少了锁的竞争。

  • 3、高效的迭代:ConcurrentHashMap的迭代器支持弱一致性,即在迭代期间,如果其他线程对哈希表进行修改,迭代器会继续返回旧的数据,而不会抛出ConcurrentModificationException异常。

  • 4、增强的功能:ConcurrentHashMap提供了一些额外的功能,例如atomic putIfAbsent、replace和remove等方法,这些方法在并发环境下可以原子地执行操作。

2. 缺点

然而,ConcurrentHashMap也有一些缺点:

  • 1、内存消耗较大:由于ConcurrentHashMap需要维护额外的线程安全机制,它的内存消耗比普通的HashMap要大。

  • 2、有限的一致性:尽管ConcurrentHashMap提供了较好的并发性能,但它的一致性是弱一致性,即在并发修改的情况下,不能保证读取到最新的数据。

  • 3、不支持空键和空值:ConcurrentHashMap不允许使用null作为键或值,如果需要使用null,可以使用特殊值来代替。

总体而言,ConcurrentHashMap是一个高效的线程安全哈希表实现,适用于并发访问的场景,但需要注意它的一些限制和特性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/993373.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

linux内核如何根据文件名索引到文件内容

https://zhuanlan.zhihu.com/p/78724124 根据文件名索引到文件内容 表面上&#xff0c;用户通过文件名&#xff0c;打开文件。实际上&#xff0c;系统内部这个过程分成三步&#xff1a;首先&#xff0c;系统找到这个文件名对应的inode号码&#xff1b;其次&#xff0c;通过in…

迅为RK3568开发板驱动指南第六篇-平台总线

文档教程更新至第六篇 第1篇 驱动基础篇 第2篇 字符设备基础 第3篇 并发与竞争 第4篇 高级字符设备进阶 第5篇 中断 第6篇 平台总线 未完待续&#xff0c;持续更新中... 视频教程更新至十一期 第一期_驱动基础 第二期_字符设备基础 第三期_并发与竞争 第四期_高级字…

解释模块化开发及其优势,并介绍常用的模块化规范。

聚沙成塔每天进步一点点 ⭐ 专栏简介⭐ 模块化开发⭐ 模块化开发的优势⭐ 常用的模块化规范⭐ 写在最后 ⭐ 专栏简介 前端入门之旅&#xff1a;探索Web开发的奇妙世界 记得点击上方或者右侧链接订阅本专栏哦 几何带你启航前端之旅 欢迎来到前端入门之旅&#xff01;这个专栏是…

公众号hanniman往期精选

目录 一、AI产品分析&#xff08;10篇&#xff09; 二、AI产品经理&#xff08;10篇&#xff09; 三、AI技术&#xff08;10篇&#xff09; 四、AI行业及个人成长&#xff08;10篇&#xff09; 一、AI产品分析 1、【重点】深度 | 关于AIGC商业化的13个非共识认知&#xff08;80…

华为OD机试 - 滑动窗口最大和

滑动窗口的经典题型&#xff0c;重复题目 #include <stdio.h> #include <string.h> #include <stdlib.h>#define MAX(a,b) ((a) > (b) ? (a) : (b)) int main() {int n;scanf("%d", &n);int *list malloc(sizeof(int) * n);for (int i …

[学习笔记]DeepWalk图神经网络论文精读

参考资料&#xff1a;DeepWalk【图神经网络论文精读】 word2vec 相关论文&#xff1a; Efficient Estimation of Word Representations in Vector Space Distributed Representations of Words and Phrases and their Compositionality 随机游走Ramdom Walk简述 通过随机游…

LLMs之Falcon 180B:Falcon 180B的简介、安装、使用方法之详细攻略

LLMs之Falcon 180B&#xff1a;Falcon 180B的简介、安装、使用方法之详细攻略 导读&#xff1a;Falcon-180B是一个由TII发布的模型&#xff0c;它是Falcon系列的升级版本&#xff0c;是一个参数规模庞大、性能优越的开放语言模型&#xff0c;适用于各种自然语言处理任务&#x…

Net跨平台UI框架Avalonia入门-样式详解

设计器的使用 设计器预览 在window和usercontrol中&#xff0c;在代码中修改了控件&#xff0c;代码正确情况下&#xff0c;设计器中就可以实时看到变化&#xff0c;但是在样式&#xff08;Styles&#xff09;文件中&#xff0c;无法直接看到&#xff0c;需要使用设计器预览D…

uni-app 前面项目(vue)部署到本地win系统Nginx上

若依移动端的项目&#xff1a;整合了uview开源ui框架&#xff0c; 配置后端请求接口基本路径地址&#xff1a; 打包复现到nginx下&#xff1a; 安装个稳定版本的&#xff1a;nginx-1.24.0 部署配置&#xff1a; 增加了网站&#xff1a;8083端口的&#xff0c; 网站目录在ngi…

Reactor

1.epoll底层工作原理 creat: 红黑树 就绪队列 回调机制 control: 用户告诉内核做什么事情&#xff0c;就是操作红黑树 wait: 操作就绪队列 2.LT ET模式 3.Reactor 4.前摄式

懒汉式逆向APK

作者&#xff1a;果然翁 通过各方神仙文档,以及多天调试,整理了这篇极简反编译apk的文档(没几个字,吧).轻轻松松对一个apk(没壳的)进行逆向分析以及调试.其实主要就是4个命令. 准备 下载apktool &#xff1a;https://ibotpeaches.github.io/Apktool/install/下载Android SDK …

被问到: http 协议和 https 协议的区别怎么办?别慌,这篇文章给你答案

前言 作为软件测试师&#xff0c;大家都知道一些常用的网络协议是我们必须要了解和掌握的&#xff0c;比如 HTTP 协议&#xff0c;HTTPS 协议就是两个使用非常广泛的协议&#xff0c;所以也是面试官问的面试的时候问的比较多的两个协议&#xff1b;因为这两个协议有相似和关联的…

CSP 202209-1 如此编码

答题 题目就是字多 #include<iostream>using namespace std;int main() {int n,m;cin>>n>>m;int a[n],c[n1];c[0]1;for(int i0;i<n;i){cin>>a[i];c[i1]c[i]*a[i];}for(int i0;i<n;i){cout<<(m%c[i1]-m%c[i])/c[i]<< ;} }

基于 Flink CDC 高效构建入湖通道

摘要&#xff1a;本文整理自阿里云 Flink 数据通道负责人、Flink CDC 开源社区负责人&#xff0c; Apache Flink PMC Member & Committer 徐榜江&#xff08;雪尽&#xff09;&#xff0c;在 Streaming Lakehouse Meetup 的分享。内容主要分为四个部分&#xff1a; 1. Flin…

2.4 选择结构语句

选择结构语句根据是否满足某个条件确定执行哪些操作&#xff0c;分为if条件语句和switch条件语句。 1. 单分支if语句 &#xff08;1&#xff09;if语句是指如果满足某种条件&#xff0c;就进行某种处理&#xff0c;格式如下。 if(条件) {// 执行语句 } 根据上述格式中&…

有限状态机的概念

一、有限状态机的概念 有限状态机简称状态机&#xff0c;是表示有限个状态&#xff0c;以及在状态之间的转移和动作等行为的数学模型。状态机的要素有状态和状态转移两个。 在Unity中&#xff0c;动画状态机最重要的属性就是节点和连线&#xff0c;其中每个节点都是一个动画片…

zotero的使用教程

1. zotero安装 1.1 下载 官网下载地址:Zotero 1.2 安装 建议自定义安装路径,不要安装在C盘。如以下步骤: 2. 插件安装 一般安装以下四种插件,即茉莉花(Jasminum)、zotfile、zotero-scihub、zotero-pdf-translate。以安装茉莉花插件为例进行说明,如图1所示,其余插件安…

Linux mac Windows三系统 局域网文件共享方法

主要工具&#xff1a; Samba是一个开源的软件套件&#xff0c;允许Linux系统与Windows系统之间共享文件和打印机。 一、首先是Linux共享的设置 ①安装 sudo apt-get install samba ②创建共享文件夹 sudo mkdir /home/share ③配置用户 sudo smbpasswd -a kequan ④修改…

软件测评的必要性,第三方软件测试机构推荐

软件测评报告 1、什么是软件测评报告&#xff1f; 测试报告是指把测试的过程和结果写成文档&#xff0c;对发现的问题和缺陷进行分析&#xff0c;为纠正软件的存在的质量问题提供依据&#xff0c;同时为软件验收和交付打下基础。 2、软件测评报告的作用 一份详细的测试报告…

git打tag和版本控制规范

我们在开发中经常会遇到要打tag的情况&#xff0c;但这个tag应该如何打呢&#xff1f;我不知道大家平时是怎么打的&#xff0c;但我基本就是从1.0.0开始进行往上递增&#xff0c;至于如何递增&#xff0c;基本凭感觉。今天同事新打了一个tag进行发版&#xff0c;然后被架构点名…