Java并发容器CopyOnWriteArrayList

CopyOnWrite，简称COW，是一种程序设计中的优化策略。基本的实现思路是，从一开始大家都共享同一个内存区域，当有人修改时，才会把内存Copy出去形成一个新的内存区域，然后在新的内存区域上修改，它是一种延时懒惰策略。从JDK1.5开始Java并发包里提供了两个使用CopyOnWrite机制实现的并发容器，他们是CopyOnWriteArrayList和CopyOnWriteArraySet。CopyOnWrite容器非常有用，可以在非常多的并发场景中使用到。

什么是CopyOnWrite

CopyOnWrite容器即写时复制的容器。通俗的理解是当我们往一个容器添加元素的时候，不直接往当前容器添加，而是先讲容器进行Copy，复制出一个新的容器，然后向新的容器添加元素，添加元素之后，再将原容器的引用指向新的容器。这样做的好处是我们可以对CopyOnWrite容器进行并发的读，而不需要加锁，因为当前容器不会添加任何元素。所以CopyOnWrite容器也是一种读写分离的容器。

CopyOnWriteArrayList的实现原理

我们看下CopyOnWrite容器的实现。先看add方法

    public boolean add(E e) {
        synchronized (lock) {
            Object[] elements = getArray();
            int len = elements.length;
            //先Copy出一段新的内容区域
            Object[] newElements = Arrays.copyOf(elements, len + 1);
            //修改新的内容区域
            newElements[len] = e;
            //修改本地array的引用
            setArray(newElements);
            return true;
        }
    }

再看一下remove方法的实现

    public E remove(int index) {
        synchronized (lock) {
            Object[] elements = getArray();
            int len = elements.length;
            E oldValue = get(elements, index);
            int numMoved = len - index - 1;
            if (numMoved == 0)
                //如果是最后一个元素, 则直接copy之前的内容区域
                setArray(Arrays.copyOf(elements, len - 1));
            else {
                //先申请一段新的内容区域
                Object[] newElements = new Object[len - 1];
                //分段进行copy的操作
                System.arraycopy(elements, 0, newElements, 0, index);
                System.arraycopy(elements, index + 1, newElements, index,
                                 numMoved);
                setArray(newElements);
            }
            return oldValue;
        }
    }

最后看一下Get的方法实现

    public E get(int index) {
        return get(getArray(), index);
    }

CopyOnWrite的应用场景

根据上面CopyOnWrite的实现，我们可以看到，CopyOnWrite适用于读多写少的场景。如白名单，黑名单，商品类目的访问和更新场景等。

优缺点

优点

CopyOnWrite使用了一种读写分离的思想解决了线程安全的问题，不需要加锁，效率会高一点。

缺点

1. 内存占用的问题。因为CopyOnWrite的写时复制的机制，所以再每次进行写操作的时候，都会新申请一块内存区域，特别是原内存占用比较大的时候，就很容易触发GC。