fail-fast与fail-safe机制

fail-fast机制

fail-fast：它是Java集合(Collection)的一种错误机制。当多个线程对同一个集合进行修改结构操作，使用集合的迭代器iterator,会首先检测是否有对集合的并发修改，进而产生ConcurrentModificationException异常提示。

阅读ArrayList的add方法源码，可以注意到在add方法中，除了校验底层数组的容量是否需要扩充之外，恒久对modCount这个变量进行了自增操作。（除了add方法存在外，remove等几乎其他所有影响集合长度的方法都存在。）

在ArrayList的迭代器实现中，所有方法首先校验了集合的modCount和迭代器的expectedModCount(集合创建迭代器时copy自集合的modCount)是否一致，二者值不一致则表示迭代器的集合对象在创建当前迭代器后进行了修改集合结构操作，则迭代器抛出异常ConcurrentModificationException。

因此，对集合进行遍历操作，推荐使用迭代器遍历，更加安全可靠（fail-fast机制提供的保证！）。同时在遍历集合的过程中，需要对集合进行修改，应使用迭代器提供的remove等方法安全的修改集合，不会造成ConcurrentModificationException异常。

jdk对modCount的解释：

fail-safe机制

fail-safe：保证在对任何集合结构的修改操作都基于  复制 - 修改 进行的，即先copy一个新的集合对象，然后对新的集合对象进行修改，最后将新的集合对象替换掉老的集合对象(老的集合对象的地址指向新的集合对象)。

java.util.concurrent包下采用的是fail-safe机制。

缺陷：1.对集合的复制copy会产生大量的对象，造成内存空间的浪费。

2.无法保证集合迭代过程中获取的集合数据是最新的内容。

有什么不足之处，敬请指点！