并发环境中的 Iterator 遍历:分析 fast-fail 机制与 fail-safe 机制的底层实现原理

冬杰吖_5823

冬杰吖_5823

2026-05-02

358人浏览

原创

fail-fast机制通过modcount实时校验并发修改,不一致即抛concurrentmodificationexception;fail-safe机制通过快照或线程安全结构(如copyonwritearraylist、concurrenthashmap)避免异常,保障遍历安全但有内存与一致性代价。

并发环境中的 iterator 遍历:分析 fast-fail 机制与 fail-safe 机制的底层实现原理

fail-fast 机制:靠 modCount 做实时校验

Java 中 ArrayList、HashMap 等非线程安全集合采用 fail-fast,核心是维护一个 modCount(修改计数器)。每次 add、remove、clear 等结构性修改操作,modCount 就加 1。当调用 iterator() 获取迭代器时,迭代器会把当前 modCount 复制到自己的 expectedModCount 字段中。后续每次调用 next() 或 remove() 前,都会检查 modCount 是否仍等于 expectedModCount。

一旦不等,说明集合在迭代期间被外部修改了——可能是另一个线程改的,也可能是当前线程用集合自身的 remove() 而非迭代器的 remove() 改的。此时立即抛出 ConcurrentModificationException,不继续遍历。

这种设计不是为了“处理并发”,而是为了“暴露不一致”。它让错误在发生点立刻浮现,避免程序基于已损坏的集合状态继续运行。

fail-safe 机制:靠副本隔离读写冲突

CopyOnWriteArrayList、ConcurrentHashMap 等类采用 fail-safe。它们不依赖 modCount 校验,而是从根本上规避结构冲突:写操作(如 add、remove)时,先复制当前底层数组或哈希表的完整副本,在副本上修改,再用 CAS 或 volatile 引用原子替换原引用。

这样一来,正在执行的迭代器持有的仍是旧数组/旧哈希表的引用,不受新写入影响。所以即使其他线程一边遍历、一边增删,迭代器既不会抛异常,也不会看到新增元素(对 CopyOnWriteArrayList 来说),但能保证遍历过程绝对安全。

代价也很明显:每次写都要复制整个结构,内存开销大;迭代器看到的是“快照”,无法反映最新变更。

单线程下也会触发 fail-fast?是的,很常见

很多人误以为 fail-fast 只在多线程才出现,其实单线程写错方式一样会爆异常。典型场景包括:

  • 用 for-each 遍历时,直接调用 list.remove() 删除元素
  • 用 Iterator 遍历时,调用 list.add() 插入元素(而非 iterator.remove())
  • 在遍历中嵌套调用另一个会修改该集合的方法

这些操作都会导致 modCount 变化,而迭代器没参与同步更新 expectedModCount,校验失败即抛异常。

怎么选:看读写比例和一致性要求

如果遍历远多于修改(比如配置列表、监听器集合),且能接受“最终一致性”,CopyOnWriteArrayList 是典型的 fail-safe 选择;

如果读写频繁且需要强一致性(比如缓存、任务队列),ConcurrentHashMap 更合适——它通过分段锁 + CAS + Node 链表/红黑树迁移实现更细粒度的 fail-safe 行为;

如果只是普通业务逻辑、无并发需求,用 ArrayList + 迭代器 remove() 或 collect(Collectors.toList()) 过滤更轻量,无需引入 JUC 类。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

20

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

40

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

20

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

20

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

20

15

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

2026.09.23

240

15

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

2026.09.23

140

15

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

2026.09.23

120

15

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

2026.09.22

60

12

热门下载

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

精品课程

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