这个问题出现在使用Iterator迭代器的时候。
如果某一个集合在使用的时候,另一个线程修改了这个集合,会出现什么情况呢?
因此就出现了两种解决策略
fail-fast
一旦发现遍历的同时其它人来修改,则立刻抛异常。
ArrayList使用的就是这种策略。
这里我添加了一个断点,设定只有触发Condition中的内容的时候才会进入这个断点,因此当我进入断点的时候,已经控制台输出了A和B了,那么下一次就会输出C。
此时我使用IDEA工具模拟一个线程,对这个ArrayList进行了修改,那么根据ArrayList的fail-fast策略,应该是要报错的,只不过报错的时间应该是在当前内容输出完毕之后的下一次遍历进行报错,如下:
可以发现输出C之后出现了异常,叫做并发修改异常,它可以在集合被修改的时候马上就报错,来防止出现其他问题。
下面是源码分析:
首先是调用迭代器,然后进行构造函数
其中设定了一个expectedModCount,他代表的是当前集合的修改次数,初始大小为我们要遍历的集合的大小,也就是4,而我们每一次对集合进行修改,都会修改modCount值,他表示我们对集合的操作次数。
我们每次取得这次遍历的数据,都是调用这个next方法,其中第一行就是判断modCount和expectedModCount是否相同,不相同就说明被修改过了。
fail-safe
发现遍历的同时其它人来修改,应当能有应对策略,例如牺牲一致性来让整个遍历运行完成。
还是按照上面的步骤,只不过我将List类型换为了CopyOnWriteArrayList。
可以发现CopyOnWriteArrayList这个集合就没有报错,而是选择没有输出E这个我们新添加的数据,他牺牲了一定的数据一致性来保证并发问题。
源码分析:
可以发现这里进入的是CopyOnWriteArrayList的迭代器。
进入其构造方法,他会把这次迭代的数组保存在snapshot中。
前面两次正常遍历,到了C处我继续添加一个新数据
添加完毕之后我继续遍历,可以发现结果如下:
这个快照数组依旧没有改变
那么是为什么呢?
查看CopyOnWriteArrayList的add方法
可以发现每次添加的元素都会被加入到复制出来的数组中,而不是添加在原本的数组里面,因此添加是添加到新数组,而遍历是对旧数组进行遍历。