Iterator两大机制 fail-safe 和 fail-fast
Fail-Fast
fail-fast 机制是java集合(Collection)中的一种错误机制。当多个线程对同一个集合的内容进行操作时,就可能会产生fail-fast事件。即:当某一个线程A通过iterator去遍历某集合的过程中,若该集合的内容被其他线程所改变了(即其它线程通过add、remove、clear等方法,改变了modCount的值);那么线程A访问集合时,就会立刻抛出ConcurrentModificationException异常,产生fail-fast事件。
Fail-Safe
fail-safe发现遍历的同时其他人来修改,例如牺牲一致性来让整个遍历运行完成
fail-fast和fail-safe的区别:fail-safe允许在遍历的过程中对容器中的数据进行修改,而fail-fast则不允许。
Fail-Fast 与 Fail-Safe
ArrayList 是 fail-fast 的典型代表,遍历的同时不能修改,尽快失败
当一个线程进行遍历的同时,对其中的某个数据进行了修改,那么下一次进行遍历的时候会抛出ConcurrentModificationException并发修改异常,即不运行一边遍历的时候另一边进行修改。fail-fast就是把这种错误情况尽早得检测出来,抛出异常来禁止循环进行下去。
CopyOnWriteArrayList 是 fail-safe 的典型代表,遍历的同时可以修改,原理是读写分离
当一个线程进行遍历的同时,对其中的某个数据进行了修改,会牺牲一致性来让遍历运行完成。等循环结束,重新打印集合的时候才会是最新的结果。fail-safe就是允许一边遍历的时候另一边进行修改。
==========================================================================================
fail-fast底层实现原理
1、在循环一开始的时候就会创建COWIterator迭代器对象,增强for就是基于iterator的,在迭代器中有一个成员变量:int expectModCount = modCount;记录修改次数,迭代器刚创建时,modCount就是集合中元素的原始个数
2、checkForComodification把迭代(循环)一开始记录下来的修改次数【expectModCount 期望的modCount 】和外面list的修改次数【modCount 实际的modCount】(因为每进行一次添加操作,modCount就会变化)做一个对比,如果二者不相等(说明在遍历的时候有其他线程对集合进行了修改)就抛出ConcurrentModificationException异常
fail-fast总结:记录了循环开始时的修改次数,如果在循环的过程中,这个修改次数被修改了,两者一对比,发现不一致就会尽快失败,抛出ConcurrentModificationException异禁止循环进行下去。
==========================================================================================
fail-safe底层实现原理
1、在循环一开始的时候就会创建COWIterator迭代器对象,在迭代器构造方法中,会把当前正在遍历的数组记录下来。把这个数组保存在迭代器的成员变量Object[] snapshot数组中。
2、在遍历的过程中进行了修改后,迭代器中记录的数组和list中的数组是两个不一样的数组。
public boolean add(E e){
synchronized(lock){
Object[] es = getArray();
int len = es.length;
es = Arrays.copyof(es, len + 1); // 把原来的数组复制了一份,并且让它的长度加1
es[len] = e;
setArray(es);
return true;
}
}
新添加的元素加到新数组中的最后一个位置上
fail-safe底层实现原理:
遍历是一个数组,修改的是另一个数组。在添加结束之后会把list中的成员替换成新数组的,但是遍历还是遍历的旧数组,当旧数组在遍历完后就没有用了。【读写分离】