目录
Copy-On-Write是一种用于集合的并发访问的优化策略。
基本思想:
当我们往集合容器中写入元素的时候(添加、修改、删除),并不会直接在容器中写入,而是先将当前集合进行Copy,复制出一个新的容器,然后新容器里写入元素,写入操作完成后,再将原容器的引用指向新的容器。
好处:
实现对CopyOnWrite集合容器写入操作时的线程安全,但同时并不影响进行并发的读取操作。所以CopyOnWrite容器也是一种读写分离的思想。从JDK1.5开始Java并发包里提供了两个使用CopyOnWrite机制实现的并发集合容器,它们是CopyOnWriteArrayList和CopyOnWriteArraySet。
CopyOnWriteArrayList相当于线程安全的ArrayList,内壁存储结构采用Object[]数组,线程安全ReentrantLock实现,允许多个线程并发读取,但只有一个线程写入。
- //修改当前集合与当前集合的交集,如果集合内部改变返回true,否则返回false;
- public boolean retainAll(Collection> c) {
- //如果集合为空,抛出异常NullPointerException
- if (c == null) throw new NullPointerException();
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- //获取数组
- Object[] elements = getArray();
- //获取数组的长度
- int len = elements.length;
- //判断数组是否为空
- if (len != 0) {
- // temp array holds those elements we know we want to keep
- int newlen = 0;
- //如果不为空,创建一个新数组
- Object[] temp = new Object[len];
- for (int i = 0; i < len; ++i) {
- //循环取出数组元素
- Object element = elements[i];
- //判断传入集合中是否含有此元素
- if (c.contains(element))
- //如果有,加入新数组
- temp[newlen++] = element;
- }
- //判断新数组长度是否与原数组长度相同
- if (newlen != len) {
- //如果不相同,复制新数组,存入定义数组
- setArray(Arrays.copyOf(temp, newlen));
- //返回true
- return true;
- }
- }
- //返回false
- return false;
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- //将集合全部加入指定下标
- public boolean addAll(int index, Collection extends E> c) {
- //将集合转入数组
- Object[] cs = c.toArray();
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- //获取数组及其长度
- Object[] elements = getArray();
- int len = elements.length;
- //判断传入下标是否越界,越界则抛出异常
- if (index > len || index < 0)
- throw new IndexOutOfBoundsException("Index: "+index+
- ", Size: "+len);
- //如果传入集合长度为0,则返回false
- if (cs.length == 0)
- return false;
- int numMoved = len - index;
- Object[] newElements;
- //判断是否添加在数组尾部
- if (numMoved == 0)
- //复制数组,长度为len + cs.length
- newElements = Arrays.copyOf(elements, len + cs.length);
- else {
- //否则,创建新数组,长度为数组长度+集合长度
- newElements = new Object[len + cs.length];
- System.arraycopy(elements, 0, newElements, 0, index);
- System.arraycopy(elements, index,
- newElements, index + cs.length,
- numMoved);
- }
- //复制集合数组元素至新数组
- System.arraycopy(cs, 0, newElements, index, cs.length);
- //调用setArray()方法
- setArray(newElements);
- //返回true
- return true;
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- //删除区间范围数据
- void removeRange(int fromIndex, int toIndex) {
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- //获取数组
- Object[] elements = getArray();
- //获取数组长度
- int len = elements.length;
- if (fromIndex < 0 || toIndex > len || toIndex < fromIndex)
- throw new IndexOutOfBoundsException();
- //计算删除后的新数组长度
- int newlen = len - (toIndex - fromIndex);
-
- int numMoved = len - toIndex;
- //判断是否删除至最后一个元素
- if (numMoved == 0)
- //如果是,则直接复制开始下标之前的元素
- setArray(Arrays.copyOf(elements, newlen));
- else {
- //如果删除的是中间内容,则创建一个新数组长度的数组
- Object[] newElements = new Object[newlen];
- //复制除删除区间元素外其他元素
- System.arraycopy(elements, 0, newElements, 0, fromIndex);
- System.arraycopy(elements, toIndex, newElements,
- fromIndex, numMoved);
- //更新数组
- setArray(newElements);
- }
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- //删除
- public E remove(int index) {
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- Object[] elements = getArray();
- //获取数组长度
- int len = elements.length;
- //获取指定下标元素
- E oldValue = get(elements, index);
-
- int numMoved = len - index - 1;
- //判断删除的是否是最后一个元素
- if (numMoved == 0)
- //如果是,复制原数组,长度为len-1
- setArray(Arrays.copyOf(elements, len - 1));
- else {
- //创建一个新数组,长度为len-1
- Object[] newElements = new Object[len - 1];
- //复制原数组除指定删除外其他元素
- System.arraycopy(elements, 0, newElements, 0, index);
- System.arraycopy(elements, index + 1, newElements, index,
- numMoved);
- //更新数组
- setArray(newElements);
- }
- //返回原值
- return oldValue;
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- //在指定数组的指定位置添加
- public void add(int index, E element) {
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- Object[] elements = getArray();
- //获取数组长度
- int len = elements.length;
- //判断传入下标是否越界
- if (index > len || index < 0)
- throw new IndexOutOfBoundsException("Index: "+index+
- ", Size: "+len);
- Object[] newElements;
- int numMoved = len - index;
- //判断是否在末尾添加
- if (numMoved == 0)
- //复制传入数组,长度为len+1
- newElements = Arrays.copyOf(elements, len + 1);
- else {
- //如果不是最后一个则创建一个新数组,长度比原来多一个
- newElements = new Object[len + 1];
- //越过传入下标,复制原数组中的数据
- System.arraycopy(elements, 0, newElements, 0, index);
- System.arraycopy(elements, index, newElements, index + 1,
- numMoved);
- }
- //将传入值添加至传入下标位置
- newElements[index] = element;
- //调用setArray()方法:将新数组赋值给定义数组
- setArray(newElements);
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- //添加元素至末尾
- 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);
- //添加成功,返回true
- return true;
- } finally {
- //释放锁
- lock.unlock();
- }
- }
- public E set(int index, E element) {
- //加锁
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- //获取数组
- Object[] elements = getArray();
-
- //获取指定修改下标元素
- E oldValue = get(elements, index);
-
- //判断修改后元素是否等于原值
- if (oldValue != element) {
- //如果不是,则得到数组长度
- int len = elements.length;
-
- //复制数组
- Object[] newElements = Arrays.copyOf(elements, len);
-
- //在复制后的数组中修改指定位置元素
- newElements[index] = element;
-
- //更新数组
- setArray(newElements);
- } else {
- // Not quite a no-op; ensures volatile write semantics
- //如果与修改前的值相同,之间赋值给定义数组
- setArray(elements);
- }
- //返回修改前元素
- return oldValue;
- } finally {
- //释放锁
- lock.unlock();
- }
- }
1.在保证并发读取的前提下,确保了写入时的线程安全;
2.由于每次写入操作时,进行了Copy复制原数组,所以无需扩容;
3.适合读多写少的应用场景。由于add() set() remove()等修改操作需要复制整个数组,所以会有内存开销大的问题;
4.CopyOnWriteArrayList由于只在写入时加锁,所以只能保证数据的一致性,不能保证数据的实时一致性。