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

卡拉OK视频制作
卡拉OK视频制作

卡拉OK视频制作,在几分钟内制作出你的卡拉OK视频

下载

立即学习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

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

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

743

2023.08.10

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

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

23

2025.11.16

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

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

77

2025.09.05

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

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

39

2025.11.16

golang map原理
golang map原理

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

67

2025.11.17

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

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

47

2025.11.27

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

1

2026.03.05

PHP高性能API设计与Laravel服务架构实践
PHP高性能API设计与Laravel服务架构实践

本专题围绕 PHP 在现代 Web 后端开发中的高性能实践展开,重点讲解基于 Laravel 框架构建可扩展 API 服务的核心方法。内容涵盖路由与中间件机制、服务容器与依赖注入、接口版本管理、缓存策略设计以及队列异步处理方案。同时结合高并发场景,深入分析性能瓶颈定位与优化思路,帮助开发者构建稳定、高效、易维护的 PHP 后端服务体系。

35

2026.03.04

热门下载

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

精品课程

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

共23课时 | 4.1万人学习

C# 教程
C# 教程

共94课时 | 10.7万人学习

Java 教程
Java 教程

共578课时 | 77.3万人学习

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

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