在迭代遍历线程不安全的集合的时候,如ArrayList,如果其他线程修改了该集合,那么将抛出ConcurrentModificationException,这就是 fail-fast 策略。

modCount记录了集合的修改次数,在迭代器初始化过程种会将这个值赋给迭代器的expectedModCount,在迭代过程中判断modCount是否和exceptedModCount相等,如果其他线程在这过程中修改了modCount,势必modCount!=exceptedModCount。比如,删除元素:

java modCount和fail-fast

 

在迭代过程种删除元素的时候会验证modCount

java modCount和fail-fast

java modCount和fail-fast

 

fail-fast机制,是一种错误检测机制。它只能被用来检测错误,因为JDK并不保证fail-fast机制一定会发生

注意,迭代器的快速失败行为无法得到保证,因为一般来说,不可能对是否出现不同步并发修改做出任何硬性保证。快速失败迭代器会尽最大努力抛出 ConcurrentModificationException。因此,为提高这类迭代器的正确性而编写一个依赖于此异常的程序是错误的做法:迭代器的快速失败行为应该仅用于检测 bug。

 

java modCount和fail-fast

modCount既不能确保可见性(volatile),modCount++;又不是原子操作。

相关文章:

  • 2021-09-15
  • 2022-12-23
  • 2021-09-28
  • 2021-12-19
  • 2021-11-30
  • 2021-12-02
  • 2021-08-23
猜你喜欢
  • 2022-12-23
  • 2021-06-23
  • 2021-07-03
  • 2021-04-13
  • 2022-01-22
  • 2022-02-01
相关资源
相似解决方案