1.fail-fast快速失败
fail-fast快速失败策略,优先考虑出现异常的情况,当异常产生时,直接抛出异常,程序终止运行
什么时候回出现fail-fast呢?
之前在集合中提到过,利用迭代器进行遍历集合对象输出的时候尽量不要修改元素(增删改),如果修改了元素,那么就会出现ConcurrentModificationException的异常
查看ArrayList源码,在执行next()方法的时候,会执行checkForComodification()方法
@SuppressWarnings("unchecked")
public E next() {
checkForComodification();
int i = cursor;
if (i >= size)
throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length)
throw new ConcurrentModificationException();
cursor = i + 1;
return (E) elementData[lastRet = i];
}
//...............省略.............
final void checkForComodification() {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}
上述代码中,当 modCount != exceptionModCount 时,就会抛出ConcurrentModCountException的异常,
modCount存在于AbstractList记录Lis自己和被修改(add,remove方法)的次数
exceptionModCount存在于内部迭代器实现,存储当前集合的修改次数
原理:
- 1.迭代器在遍历时直接访问集合中的内容,并且在遍历过程中使用一个modCount的变量
- 2. 集合在被遍历期间如果内容发生变化,就会改变modCount的值
- 3.每当迭代器使用hasNext/next()方法遍历下一个元素之前,都会检测modCount变量和exceptionmodCount的值是否相等
- 4.如果相等就返回遍历,否则抛出异常,终止遍历
举例:
//会抛出ConcurrentModificationException异常
for(Person person : Persons){
if(person.getId()==2)
student.remove(person);
}
注意:
这里异常的抛出条件时检测到 modCount = exceptionModCount这个条件
如果集合发生变化时修改modCount的值,刚好又设置了exceptionmodCount的值,则异常不会抛出,(比如删除看数据,再添加一条数据)
举例:
//不会抛出ConcurrentModificationException异常
for(Person person : Persons){
if(person.getId()==2){
Persons.remove(person);
Persons.add(new Person());
}
}
所以不能依赖于这个异常是否抛出而进行并发操作的编程,这个异常只建议检测并发修改的bug
使用场景:
在java.util包下下的集合类都是快速失败机制的,不能在多线程下发生并发修改(迭代过程中被修改)
2.fail-safe 安全失败
采用安全失败机制的集合容器,在遍历时不是直接在集合内容上访问的,而是先copy原有的集合内容,在拷贝的集合上进行遍历
原理:
由于迭代时是对元集合拷贝的值进行遍历,所以在遍历过程中对原集合所做的修改并不能被迭代器所检测到,所以不会发生ConcurrentModificationException
缺点:
由于拷贝内容的优点是为了避免ConcurrentModificationException,但同样的,迭代器并不能访问到修改后的内容(简单来说,就是迭代器遍历的是从开始遍历那一刻拿到的集合拷贝,在遍历期间原集合发生改变迭代器是不知道的)
使用场景:
java.util.concurrent包下的容器都是安全失败的,可以在多线程下并发使用,并发修改
java.util.concurrent包下线程安全的集合类(CopyOnWriteArrayList,ConcurrentHashMap)