线程安全的集合类CopyOnWriteArrayList
对于ArrayList集合并没有做关于并发的安全控制,Vector关于并发安全的实现使用的是synchronized关键字实现的,这两种集合在增强for循环中如果出现了对集合的修改就会报出ConcurrentModificationException的异常。
每一次对集合的操作都会有modCount进行++运算,增强for的本质是使用到了集合的Iterator迭代器。先看看迭代器内部的原理。
进入checkForComodification方法就可以看到如果在遍历时对集合进行了修改导致modCount改变就会抛出并发修改异常。
但是JUC的内部的CopyOnWriteArrayList可以实现并发下修改集合,不过在并发下修改集合是牺牲了一致性的,可能读到的数据并不是最新的。CopyOnWriteArrayList是最终一致性。CopyOnWriteArrayList使用了写时复制,每一次写入都会使用新的数组,然后把成员引用到新的数组。修改时是加了Lock锁。对与迭代器,每一次遍历,就会获取当前的成员变量数组。CopyOnWriteArrayList对存放数据的数组提供了两个方法进行操作分别是getArray()和setArray()。
CopyOnWriteArrayList的迭代器
大致过程是这样
查看关键的几个方法
- 构造方法
- add()方法
public boolean add(E e) {
// 使用ReentrantLock锁
final ReentrantLock lock = this.lock;
lock.lock();
try {
// getArray()获得原来的数组
Object[] elements = getArray();
int len = elements.length;
// 复制了新的数组
Object[] newElements = Arrays.copyOf(elements, len + 1);
// 添加新值
newElements[len] = e;
// 该变引用
setArray(newElements);
return true;
} finally {
lock.unlock();
}
}
- addIfAbsent方法 作用是添加一个集合中没有的元素(也就是去重)
public boolean addIfAbsent(E e) {
Object[] snapshot = getArray();
// indexOf可以看成一个黑盒方法查看集合中是否有e这个元素 返回-1表示集合中并没有这个e元素
return indexOf(e, snapshot, 0, snapshot.length) >= 0 ? false :
addIfAbsent(e, snapshot);
}
private boolean addIfAbsent(E e, Object[] snapshot) {
final ReentrantLock lock = this.lock;
lock.lock();
try {
Object[] current = getArray();
int len = current.length;
// 数组已经修改了元素
if (snapshot != current) {
// Optimize for lost race to another addXXX operation
int common = Math.min(snapshot.length, len);
for (int i = 0; i < common; i++)
// 表示i位置的元素已经修改了 并且和e相等 那就表明数组中已经有这个元素了 返回false
if (current[i] != snapshot[i] && eq(e, current[i]))
return false;
// 还是检查是否含有e
if (indexOf(e, current, common, len) >= 0)
return false;
}
// 和add方法原理相同
Object[] newElements = Arrays.copyOf(current, len + 1);
newElements[len] = e;
setArray(newElements);
return true;
} finally {
lock.unlock();
}
}
CopyOnWriteArraySet内部并不是基于散列表实现的而是基于CopyOnWriteArrayList实现的主要用到了最后提到的两个方法
总结:这两个并发安全的集合类主要应用与读多写少的情况。