0

0

在Java中为什么HashMap线程不安全_Java并发风险解析

P粉602998670

P粉602998670

发布时间:2026-01-02 12:41:36

|

447人浏览过

|

来源于php中文网

原创

hashmap线程不安全,因put非原子、扩容死循环(jdk1.7)、迭代时修改异常及脏读漏读;应选用concurrenthashmap,但需注意其弱一致性与size估算特性。

在java中为什么hashmap线程不安全_java并发风险解析

put操作非原子性导致数据覆盖

多个线程同时对同一个 key 调用 put,极大概率丢失数据——这不是偶发bug,而是设计使然。因为 putVal 方法中“检查 key 是否存在”和“插入新节点”是两个独立步骤,中间没有任何同步机制

  • 线程A读取桶位置为空,准备插入;此时CPU切换到线程B,B完成插入并更新 size
  • 线程A恢复后,仍按“空桶”逻辑插入,直接覆盖B写入的值
  • 即使key不同,若哈希冲突落在同一桶,链表头插(JDK 1.7)或尾插(JDK 1.8)过程中的指针重赋值也可能被并发打断

扩容(resize)引发死循环(JDK 1.7特有)

JDK 1.7 的 resize 使用头插法迁移链表,多线程并发执行时,两个线程反复反转同一链表,极易形成环形链表。一旦形成,后续任意线程调用 get 遍历该桶,就会陷入无限循环,CPU飙升到100%。

  • 该问题在 JDK 1.8 中已通过改用尾插法规避,但不等于线程安全了——只是把最危险的死循环换成了更隐蔽的数据不一致
  • 即便JDK 1.8,多线程同时触发扩容仍会导致部分线程的扩容结果被丢弃,table 数组更新丢失,新增元素“消失”

迭代时修改触发ConcurrentModificationException

这是最容易被观察到的线程不安全表现:一个线程正在用 entrySet().iterator() 遍历,另一个线程执行 putremove,几乎必然抛出 ConcurrentModificationException

Napkin AI
Napkin AI

Napkin AI 可以将您的文本转换为图表、流程图、信息图、思维导图视觉效果,以便快速有效地分享您的想法。

下载
  • 根本原因是 modCount 变量未被 volatile 修饰,且迭代器只做简单计数校验,不提供同步保障
  • 这个异常不是“保护机制”,而是 fail-fast 的事后报错——它不阻止并发修改发生,只在检测到不一致时中断
  • 注意:即使没抛异常,也可能返回脏读、漏读或重复数据(尤其在扩容中途被读)

正确替代方案怎么选?ConcurrentHashMap不是万能解药

别再用 synchronized(new HashMap())Hashtable——前者锁粒度太粗,后者已被官方标记为遗留类,性能差且不支持 null 键值。

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

  • ConcurrentHashMap 是首选:JDK 1.8 后取消分段锁(Segment),改用 synchronized + CAS 控制桶级锁,读操作完全无锁,写操作仅锁单个桶
  • 若需强一致性(如遍历时要求看到全部已提交修改),ConcurrentHashMap 的弱一致性语义可能不够——此时应考虑加业务层锁,或改用 CopyOnWriteMap(仅适用于读远多于写的极低频写场景)
  • 切记:ConcurrentHashMapsize() 方法返回的是估算值,高并发下可能不准;如需精确计数,得配合 LongAdder 等原子计数器

真正容易被忽略的点是:哪怕你只用 get,只要其他线程在并发 put 或扩容,就可能读到过期值或 null(尤其在 JDK 1.7/1.8 初期版本)。线程安全从来不是“某个方法安全”,而是整个操作序列的可见性与原子性保障。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

252

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1049

2024.03.01

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

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

75

2025.10.23

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

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

763

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

376

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

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

27

2026.01.21

C++多线程相关合集
C++多线程相关合集

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

28

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

103

2026.02.06

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

23

2026.03.06

热门下载

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

精品课程

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

共23课时 | 4.2万人学习

C# 教程
C# 教程

共94课时 | 10.8万人学习

Java 教程
Java 教程

共578课时 | 78.4万人学习

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

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