0

0

Java面试——ConcurrentHashMap如何保证线程安全

幻夢星雲

幻夢星雲

发布时间:2026-03-04 09:26:36

|

704人浏览过

|

来源于php中文网

原创

concurrenthashmap线程安全靠细粒度锁:jdk1.7用segment分段锁,jdk1.8改用synchronized锁单桶+cas;get无锁依赖volatile和数组引用不可变性,put通过cas及桶级锁避免覆盖。

java面试——concurrenthashmap如何保证线程安全

ConcurrentHashMap 的线程安全不是靠 synchronized 锁整个 map

它用的是更细粒度的控制:JDK 1.7 中是 Segment 分段锁,JDK 1.8 彻底废弃了 Segment,改用 Node 数组 + synchronized 锁单个桶(bin)+ CAS 操作。这意味着多个线程只要不操作同一个哈希桶,就能完全并发执行。

常见误解是“它内部用了 ReentrantLock”,其实 JDK 1.8 中写操作(如 putremove)只对目标桶头节点加 synchronized,读操作(如 get)甚至完全无锁——依赖 volatile 语义和数组引用的不可变性保证可见性。

为什么 get 不加锁也能线程安全

get 方法不加锁,但依然能读到最新值,关键在三点:

  • table 数组声明为 transient volatile Node<k>[] table</k>,确保数组引用更新对所有线程可见
  • 每个 Nodevalnext 字段都是 volatile,保证链表/红黑树结构变更的可见性
  • 扩容时新老数组并存,get 会先查新表,查不到再查旧表,且迁移过程保证节点不会丢失或重复

注意:get 不保证实时一致性——它可能读到“正在迁移中”的中间状态(比如某个桶刚被迁走但旧引用还没置空),但绝不会读到断裂链表或空指针异常。

WordAi
WordAi

WordAI是一个AI驱动的内容重写平台

下载

立即学习Java免费学习笔记(深入)”;

put 过程中如何避免并发覆盖

put 的核心逻辑是:定位桶 → 若为空,尝试 CAS 插入;若非空,加锁后遍历链表/树插入。关键点在于:

  • 初始插入用 U.compareAndSwapObject(tab, ((long)i ,失败则重试或加锁
  • 链表转红黑树阈值是 8,但前提是桶数组长度 ≥ 64,否则先扩容而不是树化
  • 多个线程同时触发扩容时,会协作迁移,通过 sizeCtl 控制扩容线程数,避免重复初始化新表
Node<K,V>[] tab; int n;
if ((tab = table) == null || (n = tab.length) == 0)
    n = (tab = initTable()).length;
int hash = spread(key.hashCode());
int i = (n - 1) & hash;
Node<K,V> f = tabAt(tab, i);
if (f == null) {
    if (casTabAt(tab, i, null, new Node<>(hash, key, value, null)))
        break;
}

别把 ConcurrentHashMap 当作“线程安全的 HashMap”来用

它只保证单个操作(putgetremove)原子,不保证复合操作的线程安全。比如:

  • map.get(key) == null && map.put(key, value) 是竞态的,应改用 map.putIfAbsent(key, value)
  • map.size() 返回的是估算值(可能滞后),高并发下不准;需要精确计数建议用 LongAdder 配合
  • computeIfAbsent 内部会加锁并阻塞其他线程访问该桶,若传入的 mappingFunction 耗时长,会成为性能瓶颈

最常被忽略的一点:迭代器(keySet().iterator())是弱一致性的——它不抛 ConcurrentModificationException,但也不保证反映某一时刻的快照;遍历时可能跳过新插入元素,也可能重复读取已删除节点(取决于迁移时机)。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

75

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

764

2023.08.10

空指针异常处理
空指针异常处理

本专题整合了空指针异常解决方法,阅读专题下面的文章了解更多详细内容。

23

2025.11.16

golang map内存释放
golang map内存释放

本专题整合了golang map内存相关教程,阅读专题下面的文章了解更多相关内容。

77

2025.09.05

golang map相关教程
golang map相关教程

本专题整合了golang map相关教程,阅读专题下面的文章了解更多详细内容。

40

2025.11.16

golang map原理
golang map原理

本专题整合了golang map相关内容,阅读专题下面的文章了解更多详细内容。

67

2025.11.17

java判断map相关教程
java判断map相关教程

本专题整合了java判断map相关教程,阅读专题下面的文章了解更多详细内容。

47

2025.11.27

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

4

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

25

2026.03.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.3万人学习

C# 教程
C# 教程

共94课时 | 11万人学习

Java 教程
Java 教程

共578课时 | 80万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号