一文读懂 Java 集合中的快速失败(fail-fast)和安全失败(fail-safe)机制

采用快速失败机制的集合容器,使用迭代器进行遍历集合时,除了通过迭代器自身的 remove()
方法之外,对集合进行任何其他方式的结构性修改,则会抛出 ConcurrentModificationException 异常。

java.util
包下的集合类都采用的是快速失败机制,不能在多线程下发生并发修改(迭代过程中被修改)。

原理

迭代器在遍历时直接访问集合的内容时,因此集合中的内容在遍历的过程中无法被修改。为了保证不被修改,迭代器内部维护了一个 modCount 变量 ,当集合结构改变(添加、删除或者修改),就会改变 modCount 的值。每当迭代器使用 hasNext() 和 next() 方法遍历下一个元素之前,都会检查 modCount 的值是否等于 expectedmodCount 的值,当检测到 modCount != expectedmodCount
时,抛出 ConcurrentModificationException 异常,反之继续遍历。

注意: 迭代器的快速失败机制是无法得到保证的,这里异常的抛出条件是检测到 modCount != expectedmodCount
这个条件。如果集合发生变化时修 modCount 的值刚好等于 expectedmodCount 的值,则异常不会抛出。因此,为提高这类迭代器的正确性而编写一个依赖于此异常的程序是错误的做法,迭代器的快速失败机制应该仅用于检测 bug

优缺点

  • 线程下效率相对较高。
  • 多线程环境下,线程不安全

这里排除 HashTable

安全失败

采用安全失败机制的集合容器,使用迭代器进行遍历时不是直接在集合内容上访问的,而是将原有集合内容进行拷贝,在拷贝的集合上进行遍历。

原理

迭代器在遍历时访问的是拷贝的集合,所以在遍历过程中对原集合所作的修改并不能被迭代器检测到,所以不会触发 ConcurrentModificationException 异常。

优缺点

  • 由于对集合进行了拷贝,避免了 ConcurrentModificationException 异常,但拷贝时产生大量的无效对象,开销大。
  • 无法保证读取到的数据是原集合中最新的数据,即迭代器进行遍历的是拷贝的集合,在遍历期间原集合发生的修改,迭代器是检测不到的。

原文 

https://juejin.im/post/5e9eafb2e51d4546dd216d9b

本站部分文章源于互联网,本着传播知识、有益学习和研究的目的进行的转载,为网友免费提供。如有著作权人或出版方提出异议,本站将立即删除。如果您对文章转载有任何疑问请告之我们,以便我们及时纠正。

PS:推荐一个微信公众号: askHarries 或者qq群:474807195,里面会分享一些资深架构师录制的视频录像:有Spring,MyBatis,Netty源码分析,高并发、高性能、分布式、微服务架构的原理,JVM性能优化这些成为架构师必备的知识体系。还能领取免费的学习资源,目前受益良多

转载请注明原文出处:Harries Blog™ » 一文读懂 Java 集合中的快速失败(fail-fast)和安全失败(fail-safe)机制

赞 (0)
分享到:更多 ()

评论 0

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址