Iterator两大机制 fail-safe 和 fail-fast

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中的成员替换成新数组的，但是遍历还是遍历的旧数组，当旧数组在遍历完后就没有用了。【读写分离】

vector实现是fail-fast还是fail-safe的？？