有关java.util.ConcurrentModificationException

有关java.util.ConcurrentModificationException

java doc对这个类的定义：

This exception may be thrown by methods that have detected concurrent modification of an object when such modification is not permissible. 

For example, it is not generally permissible for one thread to modify a Collection while another thread is iterating over it. In general, the results of the iteration are undefined under these circumstances. Some Iterator implementations (including those of all the general purpose collection implementations provided by the JRE) may choose to throw this exception if this behavior is detected. Iterators that do this are known as fail-fast iterators, as they fail quickly and cleanly, rather that risking arbitrary, non-deterministic behavior at an undetermined time in the future. 


Note that this exception does not always indicate that an object has been concurrently modified by a different thread. If a single thread issues a sequence of method invocations that violates the contract of an object, the object may throw this exception. For example, if a thread modifies a collection directly while it is iterating over the collection with a fail-fast iterator, the iterator will throw this exception. 


Note that fail-fast behavior cannot be guaranteed as it is, generally speaking, impossible to make any hard guarantees in the presence of unsynchronized concurrent modification. Fail-fast operations throw ConcurrentModificationException on a best-effort basis. Therefore, it would be wrong to write a program that depended on this exception for its correctness: ConcurrentModificationException should be used only to detect bugs.

 产生这个异常的原因：并发修改对象，而对象不支持并发修改。比较常见的是多线程并发，或者单线程遍历集合的时候同时修改集合元素。

比如：

package com.doctor.java8;

import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;

/**
 * This program crashes by throwing java.util.ConcurrentModificationException. Why? Because the
 * iterators of ArrayList are fail-fast; it fails by throwing ConcurrentModificationException if it detects that
 * the underlying container has changed when it is iterating over the elements in the container. This behavior
 * is useful in concurrent contexts when one thread modifies the underlying container when another thread is
 * iterating over the elements of the container.
 * 
 * @author sdcuike
 *
 *         Created on 2016年3月6日 上午10:24:21
 */
public class ModifyingList {

    /**
     * @param args
     */
    public static void main(String[] args) {
        List list = new ArrayList<>();
        list.add("one");
        list.add("two");
        Iterator iterator = list.iterator();

        while (iterator.hasNext()) {
            System.out.println(iterator.next());
            list.add("three");
        }

        // one
        // Exception in thread "main" java.util.ConcurrentModificationException
        // at java.util.ArrayList$Itr.checkForComodification(ArrayList.java:901)
        // at java.util.ArrayList$Itr.next(ArrayList.java:851)
        // at com.doctor.java8.ModifyingList.main(ModifyingList.java:24)

    }

}

CopyOnWriteArrayList

既然普通集合的iterators是fail-fast的即不支持访问同时修改的场景。那我们用并发容器CopyOnWriteArrayList。

package com.doctor.java8;

import java.util.Iterator;
import java.util.List;
import java.util.concurrent.CopyOnWriteArrayList;

/**
 * Modifying CopyOnWriteArrayList
 * 
 * Observe that the element “four” added three times is not printed as part of the output. This is because
 * the iterator still has access to the original (unmodified) container that had three elements. If you create a
 * new iterator and access the elements, you will find that new elements have been added to aList.
 * 
 * @author sdcuike
 *
 *         Created on 2016年3月6日 上午10:32:39
 */
public class ModifyingCopyOnWriteArrayList {

    /**
     * @param args
     */
    public static void main(String[] args) {
        List list = new CopyOnWriteArrayList<>();
        list.add("one");
        list.add("two");
        list.add("three");

        Iterator iterator = list.iterator();

        while (iterator.hasNext()) {
            System.out.println(iterator.next());
            list.add("four");
        }
        // one
        // two
        // three
        System.out.println("============");
        iterator = list.iterator();
        while (iterator.hasNext()) {
            System.out.println(iterator.next());
        }
        // one
        // two
        // three
        // four
        // four
        // four

    }

}

 

java.util.concurrent.CopyOnWriteArrayList

A thread-safe variant of java.util.ArrayList in which all mutative operations (add,set, and so on) are implemented by making a fresh copy of the underlying array. 

当对CopyOnWriteArrayList调用修改数据操作方法的时候，会copy一份新的内部数组结构，而对原来的内部数组结构没影响。如果要访问新的数据，我们必须重新获取底层新的数组结构的iterator（见上面的程序）。