快速失败 (fail-fast) 和安全失败 (fail-safe) 的区别是什么?

本文详细解析了快速失败(fail-fast)和安全失败(fail-safe)两种并发控制机制的区别。快速失败在多线程环境下,当一个线程遍历集合时,若集合被其他线程修改,会抛出ConcurrentModificationException异常;而安全失败机制通过拷贝原集合,允许迭代过程中的并发修改,但迭代器无法访问到最新状态。文章对比了两种机制的原理、优缺点及应用场景。

快速失败 (fail-fast) 和安全失败 (fail-safe) 的区别是什么?

什么是快速失败

快速失败(fail-fast) 是指当多个线程对同一个Collection进行操作时,其中一个线程通过iterator去遍历集合时,该集合内容被另一个集合改变;则产生快速失败,会抛出ConcurrentModifycationException异常。

快速失败原理:

以ArrayList为例,ArrayList的iterator是在父类AbstractList中实现的。AbstractList中有唯一属性modCount,用来记录list修改的次数。在Iterator的实现类Itr中将modCount保存到exceptedModCount中,以后每次遍历List中的元素的时候,都会比较expectedModCount和modCount是否相等;若不相等,则抛出ConcurrentModificationException异常,产生fail-fast事件。通过Itr,我们知道:expectedModCount不可能被修改为不等于 modCount。所以,需要考证的就是modCount何时会被修改。接下来,我们查看ArrayList的源码,可以发现无论是add()、remove(),还是clear(),只要涉及到修改集合中的元素个数时,都会改变modCount的值。

总结一下:

当多个线程对同一个集合进行操作的时候,某线程访问集合的过程中,该集合的内容被其他线程所改变(即其它线程通过add、remove、clear等方法,改变了modCount的值);这时,就会抛出ConcurrentModificationException异常,产生fail-fast事件。
java.util包下的集合类都是快速失败的,不能在多线程下发生并发修改(迭代过程中被修改)。

fail-fast解决方法:

通过util.concurrent集合包下的相应类去处理,则不会产生fail-fast事件。如使用ArrayList会产生fail-fast,使用CopyOnWriteArrayList则不会。

安全失败(fail-safe)原理:

迭代时是对原集合的拷贝进行遍历,所以在遍历过程中对原集合所作的修改并不能被迭代器检测到,所以不会触发Concurrent Modification Exception。因此缺点就是,迭代器并不能访问到修改后的内容,即:迭代器遍历的是开始遍历那一刻拿到的集合拷贝,在遍历期间原集合发生的修改迭代器是不知道的。

区别:
Fail FastFail Safe
抛出ConcurrentModificationException异常×
拷贝原集合×
内存开销×
栗子HashMap、Vector、ArrayList、HashListCopyOnWriteArrayList、ConcurrentHashMap
参考博客
快速失败fail-fast安全失败fail-safe)是在集合迭代过程中处理并发修改的两种不同机制,它们的区别如下: ### 对修改的响应 - 快速失败:当在迭代一个集合时,如果有另一个线程正在修改正在访问的集合,会立即抛出 `ConcurrentModificationException` 异常,终止遍历。在 `java.util` 包下的集合通常是快速失败的,例如 `ArrayList`、`HashMap` 等[^3]。 - 安全失败:在迭代时会对底层集合做一个拷贝,修改上层集合不会受影响,不会抛出 `ConcurrentModificationException` 异常,会忽略修改,继续遍历。在 `java.util.concurrent` 包下的集合全是安全失败的,如 `ConcurrentHashMap`、`CopyOnWriteArrayList` 等[^3]。 ### 数据一致性 - 快速失败:严格反映最新数据,但可能因为并发修改抛出异常,导致遍历无法正常完成。适用于需要保证数据一致性,且希望快速检测到非法修改的场景[^2]。 - 安全失败:可能基于集合的副本或快照进行遍历,不反映最新修改。牺牲了数据的实时一致性,以换取在并发环境下的稳定性[^2]。 ### 适用场景 - 快速失败:适合单线程环境,用于快速检测代码逻辑错误,如在开发阶段调试集合的非法修改[^2]。 - 安全失败:适合多线程高并发场景,如实时数据处理、消息队列等,允许在集合被修改的同时继续进行遍历操作[^2]。 ### 性能开销 - 快速失败:性能开销低,通常仅通过计数器检查集合是否被修改[^2]。 - 安全失败:性能开销高,需要维护集合的副本或快照,例如 `CopyOnWriteArrayList` 的写时复制机制[^2]。 ### 示例代码 ```java import java.util.ArrayList; import java.util.Iterator; import java.util.List; import java.util.concurrent.CopyOnWriteArrayList; public class FailFastFailSafeExample { public static void main(String[] args) { // 快速失败示例 List<String> failFastList = new ArrayList<>(); failFastList.add("A"); failFastList.add("B"); failFastList.add("C"); Iterator<String> failFastIterator = failFastList.iterator(); try { while (failFastIterator.hasNext()) { String element = failFastIterator.next(); if ("B".equals(element)) { // 在迭代过程中修改集合,会触发快速失败 failFastList.add("D"); } } } catch (Exception e) { System.out.println("快速失败:捕获到异常 " + e.getClass().getName()); } // 安全失败示例 List<String> failSafeList = new CopyOnWriteArrayList<>(); failSafeList.add("A"); failSafeList.add("B"); failSafeList.add("C"); Iterator<String> failSafeIterator = failSafeList.iterator(); while (failSafeIterator.hasNext()) { String element = failSafeIterator.next(); if ("B".equals(element)) { // 在迭代过程中修改集合,不会抛出异常 failSafeList.add("D"); } System.out.println("安全失败:遍历元素 " + element); } } } ```
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值