【JavaSE】CopyOnWriteArrayList

参考： CopyOnWriteArrayList,冷门容器却每次面试都问

1. CopyOnWriteArrayList的出现原因

一些案例说明了ArrayList使用的局限性，既然是非线程安全，会出现并发修改异常问题，也就是读写时的加锁问题。

那我们就使用一些机制把它变安全不就好了。变安全的方法有很多。比如说替换成Vector，再或者是使用Collections.synchronizedlist()方法，可以将 ArrayList 包装成一个线程安全的类。不过这两种方法也有很大的缺点，那就是他们使用的都是独占锁，独占式锁在同一时刻只有一个线程能够获取，效率太低。于是CopyOnWriteArrayList 应运而生了。

2、CopyOnWriteArrayList 介绍

（1）独占锁效率低：采用读写分离思想解决

既然独占锁的效率低下，那我们可以换一种方式，采用读写分离式的思想将读操作和写操作进行分开即可。

读操作不加锁，所有线程都不会阻塞。写操作加锁，线程会阻塞。

（2）写线程获取到锁，其他线程包括读线程阻塞

但是这时候又出现了另外一个问题了：写线程获取到锁之后，其他的读线程会陷入阻塞。

（3）复制思想：解决问题2

这咋办呢？我们可以再转化一下思想：

当我们往一个容器添加元素的时候，不直接往当前容器添加，而是先将当前容器进行 Copy，复制出一个新的容器，然后新的容器里添加元素，添加完元素之后，再将原容器的引用指向新的容器。

这时候会抛出来一个新的问题，也就是数据不一致的问题。如果写线程还没来得及写会内存，其他的线程就会读到了脏数据。

这就是CopyOnWriteArrayList 的思想和原理。就是拷贝一份写。所以使用条件也很局限，那就是在读多写少的情况下比较好。

3、源码分析（基于JDK1.8）

• 读取

public class CopyOnWriteArrayList<E>
    implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
    
    private transient volatile Object[] array;
    //volatile修饰？volatile与synchonazi有什么不同？
 
    final Object[] getArray() {
        return array;
    }
    
    public E get(int index) {
        return get(getArray(), index);
    }
 
    
    private E get(Object[] a, int index) {
        return (E) a[index];
    }

可以看到，读取代码没有任何同步控制和锁操作，因为内部数组array不会发生修改，只会被另一个array替换，可以保证数据安全。
而 volatile关键字修饰了底层数组，正是写时拷贝的思想原理，而读取数组时每个线程都会去主内存中读取最新值。

• 写操作

public boolean add(E e) {
//锁：可重入锁，实现自Lock接口
    final ReentrantLock lock = this.lock;
    //加锁
    lock.lock();
    try {
    	//获取当前数组
        Object[] elements = getArray();
        //获取当前数组长度
        int len = elements.length;
        //拷贝一份数组
        Object[] newElements = Arrays.copyOf(elements, len + 1);
        //将写入的值存放到拷贝数组中
        newElements[len] = e;
        //将拷贝数组又赋值给原数组
        setArray(newElements);
        //添加成功
        return true;
    } finally {
   		 //释放锁
        lock.unlock();
    }
}

可以看到，写操作使用了锁 ReentrantLock ，
重点在 Object[] newElements = Arrays.copyOf(elements, len + 1);这里在生成一个新的数组，然后将新的元素加入到newElements中，再将新的数组替换成老的数组。

整个过程不会影响到读取的线程。当修改完成后，读取线程可以立即察觉到这个修改，因为array被volatile修饰了。

4、总结

虽然是采用了读写分离的思想，但是却有很大不同，不同之处在于copy。

1、读写锁

读线程具有实时性，写线程会阻塞。解决了数据不一致的问题。但是读写锁依然会出现读线程阻塞等待的情况

2、CopyOnWriteArrayList

读线程具有实时性，写线程会阻塞。不能解决数据不一致的问题。但是CopyOnWriteArrayList 不会出现读线程阻塞等待的情况