【Java基础】谈谈集合.CopyOnWriteArrayList

2019-10-25 07:05:21来源：博客园阅读 ()

【Java基础】谈谈集合.CopyOnWriteArrayList

实现原理
遍历时不用加锁的原因
CopyOnWriteArrayLis的缺点
使用场景
总结
参考

本篇博客介绍CopyOnWriteArrayList类，读完本博客你将会了解：

什么是COW机制；
CopyOnWriteArrayList的实现原理；
CopyOnWriteArrayList的使用场景。

经过之前的博客介绍，我们知道ArrayList是线程不安全的。要实现线程安全的List，我们可以使用Vector，或者使用Collections工具类将List包装成一个SynchronizedList。其实在Java并发包中还有一个CopyOnWriteArrayList可以实现线程安全的List。

在开始之前先贴一段概念

如果有多个调用者（callers）同时请求相同资源（如内存或磁盘上的数据存储），他们会共同获取相同的指针指向相同的资源，直到某个调用者试图修改资源的内容时，系统才会真正复制一份专用副本（private copy）给该调用者，而其他调用者所见到的最初的资源仍然保持不变。优点是如果调用者没有修改该资源，就不会有副本（private copy）被建立，因此多个调用者只是读取操作时可以共享同一份资源。

实现原理

Vector这个类是一个非常古老的类了，在JDK1.0的时候便已经存在，其实现安全的手段非常简单所有的方法都加上synchronized关键字，这样保证这个实例的方法同一时刻只能有一个线程访问，所以在高并发场景下性能非常低。

SynchronizedList是java.util.Collections中的一个静态内部类，其实现安全的手段稍微有一点优化，就是把Vector加在方法上的synchronized关键字，移到了方法里面变成了同步块而不是同步方法从而把锁的范围缩小了，另外，SynchronizedList中的方法不全都是同步的，比如获取迭代器方法listIterator()就不是同步的。

CopyOnWriteArrayList这个类就比较特殊了，对于写来说是基于重入锁互斥的，对于读操作来说是无锁的。还有一个特殊的地方，这个类的iterator是fail-safe的，也就是说是线程安全List里面的唯一一个不会出现ConcurrentModificationException异常的类。

看下CopyOnWriteArrayList的成员变量：

//重入锁保写操作互斥
final transient ReentrantLock lock = new ReentrantLock();
//volatile保证读可见性
private transient volatile Object[] array;

下面再看下添加元素的代码逻辑

public boolean add(E e) {
        final ReentrantLock lock = this.lock;
        lock.lock();//加锁
        try {
            Object[] elements = getArray();//读取原数组
            int len = elements.length;
            //构建一个长度为len+1的新数组，然后拷贝旧数据的数据到新数组
            Object[] newElements = Arrays.copyOf(elements, len + 1);
            //把新加的数据赋值到最后一位
            newElements[len] = e;
            // 替换旧的数组
            setArray(newElements);
            return true;
        } finally {
            lock.unlock();
        }
    }

先获得锁，然后拷贝元素组并将新元素加入(添加的元素可以是null)，再替换掉原来的数组。我们会发现这种实现方式非常不适合频繁修改的操作。CopyOnWriteArrayList的删除和修改的操作的原理也是类似的，这边就不贴代码了。

最后看下读操作

//直接获取index对应的元素 
public E get(int index) {return get(getArray(), index);} 
private E get(Object[] a, int index) {return (E) a[index];}

从以上的增删改查中我们可以发现，增删改都需要获得锁，并且锁只有一把，而读操作不需要获得锁，支持并发。为什么增删改中都需要创建一个新的数组，操作完成之后再赋给原来的引用？这是为了保证get的时候都能获取到元素，如果在增删改过程直接修改原来的数组，可能会造成执行读操作获取不到数据。

遍历时不用加锁的原因

常用的方法实现我们已经基本了解了，但还是不知道为啥能够在容器遍历的时候对其进行修改而不抛出异常。（其实这是一种fail-safe机制）

    // 1. 返回的迭代器是COWIterator
    public Iterator<E> iterator() {
        return new COWIterator<E>(getArray(), 0);
    }
    // 2. 迭代器的成员属性
    private final Object[] snapshot;
    private int cursor;
    // 3. 迭代器的构造方法
    private COWIterator(Object[] elements, int initialCursor) {
        cursor = initialCursor;
        snapshot = elements;
    }
    // 4. 迭代器的方法...
    public E next() {
        if (! hasNext())
            throw new NoSuchElementException();
        return (E) snapshot[cursor++];
    }

    //.... 可以发现的是，迭代器所有的操作都基于snapshot数组，而snapshot是传递进来的array数组

到这里，我们应该就可以想明白了！CopyOnWriteArrayList在使用迭代器遍历的时候，操作的都是原数组！

CopyOnWriteArrayLis的缺点

内存占用：如果CopyOnWriteArrayList经常要增删改里面的数据，经常要执行add()、set()、remove()的话，那是比较耗费内存的。因为我们知道每次add()、set()、remove()这些增删改操作都要复制一个数组出来。
数据一致性：CopyOnWrite容器只能保证数据的最终一致性，不能保证数据的实时一致性。从上面的例子也可以看出来，比如线程A在迭代CopyOnWriteArrayList容器的数据。线程B在线程A迭代的间隙中将CopyOnWriteArrayList部分的数据修改了(已经调用setArray()了)。但是线程A迭代出来的是原有的数据。