详解CopyOnWriteArrayList及浅谈COW思想

CopyOnWriteArrayList

1.CopyOnWriteArrayList是什么？

想知道它是什么，首先先了解一下CopyOnWrtie（COW）思想,写入时复制。它是一种计算机程序设计领域的一种优化策略。核心思想是，如果有多个调用者（Caller）同时要求相同的资源。他们会共同获取相同的指针指向的的资源，直到有调用者需要修改资源内容的时候，系统才会复制一份专用副本（private Copy）给该调用者。其他的调用者见到的资源还是仍然保持不变的。这个修改过程对于其他的读取调用者是透明的。此做法的有点在于如果调用者没有修改资源。那么就不会有副本会被创建。多个调用者共享一份资源。

所以顾名思义CopyOnWriteArrayList是一个使用了COW思想的一个具有线程安全性的数组。底层也是通过复制数组的方式来实现的。

2.它是用来干什么的？

      主要是因为ArrayList是线程不安全的，Vector效率低的情况下。来使用它来进行代替。

3.他的实现原理是什么呢？

先看声明，使用了volatile关键字，被volatile关键字修饰的变量，每次被线程访问的时候，都会被强迫从共享内存中重读该成员变量的值。当成员变量发生变化的时候，强迫线程将变化值回写到共享内存中，这样就实现了，多个线程总会看到某个成员变量的同一个值。

再说说它的添加，通过看它的add()方法可以看出 它是在添加的时候进行了加锁。防止了多线程的时候会Copy多个副本出来。所以说是线程安全的。

     再来看读取。可以看到是没有加锁的。读取的时候如果有人正在写入，读取的依旧是旧数据。

4.那么它缺点嘛？

第一,它的set()和add()都会复制一个数组出来，这样做无疑是非常耗费内存的。

第二，它只能保证数据的最终一致性。不能保持数据的实时一致性。假如说有个读取线程正在读取，还没有读取完，另一个修改线程进来把某个数据修改了或者删除了。他还是会读到本该被修改的数据。所以说如果你希望写入同时能过读到。还是不要用CopyOnWrite容器了。

5.它的应用场景呢？

    常用于读多改少，并且不要求数据实时一致性的场景中。

6.CopyOnWriteArrayList真的完全线程安全嘛？它如果真的放在了实时一致性的场景下会发生什么呢？

      不一定真的完全安全。可能发生数组越界的情况。

 可以看到如果同时在这种模拟数据实时一致性较高的情况下。有可能会造成数组越界问题。

7.思维发散

其实可以从CopyOnWriteArrayList中可以看到多种思想。比如COW策略。悲乐观锁。COW策略在kafka中的源码中也有提及。

比如在客户端在向kafka写数据的时候，会把消息先写入客户端本地的内存中，然后在缓存中形成一个batch之后再发送到kafka服务器上去,这样有助于吞吐量。不过kafka使用的是Map的数据结构，不是List。而是map。之所以kafka运用Map是因为Map的键值对没有那么频繁更新。也就是说TopicPartition-Deque这个键值对更新频率低。

但是他的get操作是高频的操作。因此会高频读出来一个TopicPartition对应的Deque数据结构，来对这个队列进行频繁的出队入队操作，所以这个Map高频发的是get操作。

这个时候运用采用的COW策略就有了很好的优化效果。避免了高频发更新会阻塞住读取的操作。实现了无锁化。提高了效率。优化了并发的性能。

那么让我们使用CopyOnWriteArrayList来实现一个CopyOnWriteMap。