线程安全的集合类CopyOnWriteArrayList

线程安全的集合类CopyOnWriteArrayList

对于ArrayList集合并没有做关于并发的安全控制，Vector关于并发安全的实现使用的是synchronized关键字实现的，这两种集合在增强for循环中如果出现了对集合的修改就会报出ConcurrentModificationException的异常。

每一次对集合的操作都会有modCount进行++运算，增强for的本质是使用到了集合的Iterator迭代器。先看看迭代器内部的原理。

进入checkForComodification方法就可以看到如果在遍历时对集合进行了修改导致modCount改变就会抛出并发修改异常

但是JUC的内部的CopyOnWriteArrayList可以实现并发下修改集合，不过在并发下修改集合是牺牲了一致性的，可能读到的数据并不是最新的。CopyOnWriteArrayList是最终一致性。CopyOnWriteArrayList使用了写时复制，每一次写入都会使用新的数组，然后把成员引用到新的数组。修改时是加了Lock锁。对与迭代器，每一次遍历，就会获取当前的成员变量数组。CopyOnWriteArrayList对存放数据的数组提供了两个方法进行操作分别是getArray()和setArray()。

CopyOnWriteArrayList的迭代器

大致过程是这样

查看关键的几个方法

• 构造方法
  
• add方法（）
  

public boolean add(E e) {
    // 使用ReentrantLock锁
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        // getArray()获得原来的数组
        Object[] elements = getArray();
        int len = elements.length;
        // 复制了新的数组
        Object[] newElements = Arrays.copyOf(elements, len + 1);
        // 添加新值
        newElements[len] = e;
        // 该变引用
        setArray(newElements);
        return true;
    } finally {
        lock.unlock();
    }
}

• addIfAbsent方法 作用是添加一个集合中没有的元素（也就是去重）
  

public boolean addIfAbsent(E e) {
    Object[] snapshot = getArray();
    // indexOf可以看成一个黑盒方法查看集合中是否有e这个元素  返回-1表示集合中并没有这个e元素
    return indexOf(e, snapshot, 0, snapshot.length) >= 0 ? false :
    addIfAbsent(e, snapshot);
}


private boolean addIfAbsent(E e, Object[] snapshot) {
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        Object[] current = getArray();
        int len = current.length;
        // 数组已经修改了元素
        if (snapshot != current) {
            // Optimize for lost race to another addXXX operation
            int common = Math.min(snapshot.length, len);
            for (int i = 0; i < common; i++)
                // 表示i位置的元素已经修改了 并且和e相等 那就表明数组中已经有这个元素了 返回false
                if (current[i] != snapshot[i] && eq(e, current[i]))
                    return false;
            // 还是检查是否含有e
            if (indexOf(e, current, common, len) >= 0)
                return false;
        }
        // 和add方法原理相同
        Object[] newElements = Arrays.copyOf(current, len + 1);
        newElements[len] = e;
        setArray(newElements);
        return true;
    } finally {
        lock.unlock();
    }
}

CopyOnWriteArraySet内部并不是基于散列表实现的而是基于CopyOnWriteArrayList实现的主要用到了最后提到的两个方法

总结：这两个并发安全的集合类主要应用与读多写少的情况。