Java并发（四）同步容器

首先一些概念：

• 死锁：
  多个线程都持有一部分资源，同时都在等待另外一部分资源的使用权，而这另外一部分资源又被其它线程所占有，类似这样的一种关系构成了一个循环等待链，使所有的线程都不能执行。

死锁的几个条件：
互斥条件、请求保持条件、不剥夺条件、循环等待条件。

上面的概念好像和下面的内容没有多大的关系，只是偶然遇到的问题，也不知道放在哪里好，就暂且放在这里了。

同步容器与ConcurrentModificationException

　　通常用到的List包括ArrayList、LinkedList，Set包括HashSet等，Queue包括PriorityQueue，Map包括HashMap等，都是非线程安全的，而像Vector、Stack、HashTable这三类，则是同步容器，注意这里没有说他们是线程安全的，是因为在某些情况下，它们也是非线程安全的。
　　这里的概念是，同步容器是指get，set，remove这些直接操作容器的方法采用了synchronized同步，也就是说只能保证同时只有一个线程访问这些容器，由于外部的一些因素导致的线程安全问题却不能保证。
　　如下面的代码所示:

public class Test {
    static Vector<Integer> vector = new Vector<Integer>();
    public static void main(String[] args) throws InterruptedException {
        while(true) {
            for(int i=0;i<10;i++)
                vector.add(i);
            Thread thread1 = new Thread(){
                public void run() {
                    for(int i=0;i<vector.size();i++)
                        vector.remove(i);
                };
            };
            Thread thread2 = new Thread(){
                public void run() {
                    for(int i=0;i<vector.size();i++)
                        vector.get(i);
                };
            };
            thread1.start();
            thread2.start();
            while(Thread.activeCount()>10)   {

            }
        }
    }
}

　　也可能抛出数组越界的异常，这是因为没能保证两个线程的顺序访问。因此只要对两个线程依次加锁就可以了。

　　在利用容器的迭代器访问的过程中，获取迭代器时会设置一个expectedModcnt记录当时容器的结构状态，在迭代器访问的过程中，比如调用next方法时，会先checkForComodification()

        final void checkForComodification() {
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }

　　也就是会先测试modCount有没有改变。这就保证了在迭代的过程中，容器的结构不会发生变化，但是如果确实需要改变容器的结构怎么办呢？
　　在单线程下的解决方法是通过迭代器对容器进行修改，比如iterator.remove().这种情况下是怎么保证不抛出该异常呢？
　　这是迭代器中的remove方法：

        public void remove() {
            if (lastRet < 0)
                throw new IllegalStateException();
            checkForComodification();

            try {
                ArrayList.this.remove(lastRet);
                cursor = lastRet;
                lastRet = -1;
                expectedModCount = modCount;
            } catch (IndexOutOfBoundsException ex) {
                throw new ConcurrentModificationException();
            }
        }

　　可以看到在删除之后，修改了expectedModCount = modCount;这样就允许修改容器的结构了。

　　在多线程环境下，采用迭代器修改仍然会导致线程安全问题，因为modCount为共享变量，可能受其他线程修改的印象。
　　可以在迭代时采用加锁的方式序列化访问容器。或者采用并发容器，比如CopyOnWriteArrayList等来代替ArrayList和Vector。注意并发容器和同步容器在名称上的区别。