Java并发包——线程安全的Collection相关类
摘要:本文主要学习了Java并发包下线程安全的Collection相关的类。
部分内容来自以下博客:
https://www.cnblogs.com/skywang12345/p/3498483.html
https://www.cnblogs.com/skywang12345/p/3498652.html
https://www.cnblogs.com/skywang12345/p/3503458.html
https://www.cnblogs.com/skywang12345/p/3498995.html
分类
参照之前在学习集合时候的分类,可以将JUC下有关Collection相关的类进行分类。
CopyOnWriteArrayList:实现了List接口,相当于线程安全的ArrayList。
CopyOnWriteArraySet:继承于AbstractSet类,相当于线程安全的HashSet。CopyOnWriteArraySet内部包含一个CopyOnWriteArrayList对象,它是通过CopyOnWriteArrayList实现的。
ConcurrentSkipListSet:继承于AbstractSet类,相当于线程安全的TreeSet。ConcurrentSkipListSet是通过ConcurrentSkipListMap实现的。
ArrayBlockingQueue:继承于AbstractQueue类,是数组实现的线程安全的有界的阻塞队列。
LinkedBlockingQueue:继承于AbstractQueue类,是单向链表实现的(指定大小)阻塞队列,该队列按FIFO(先进先出)排序元素。
LinkedBlockingDeque:继承于AbstractQueue类,是双向链表实现的(指定大小)双向并发阻塞队列,该阻塞队列同时支持FIFO和FILO两种操作方式。
ConcurrentLinkedQueue:继承于AbstractQueue类,是单向链表实现的*队列,该队列按FIFO(先进先出)排序元素。
ConcurrentLinkedDeque:继承于AbstractQueue类,是双向链表实现的*队列,该队列同时支持FIFO和FILO两种操作方式。
CopyOnWriteArrayList
说明
CopyOnWriteArrayList的内部有个“volatile数组”来保持数据。在“添加/修改/删除”数据时,都会新建一个数组,并将更新后的数据拷贝到新建的数组中,最后再将该数组赋值给“volatile数组”,这就是它叫做CopyOnWriteArrayList的原因。CopyOnWriteArrayList就是通过这种方式实现的动态数组,不过正由于它在“添加/修改/删除”数据时,都会新建数组,所以涉及到修改数据的操作,CopyOnWriteArrayList效率很低,但是单单只是进行遍历查找的话,效率比较高。
CopyOnWriteArrayList是通过“volatile数组”来保存数据的。一个线程读取volatile数组时,总能看到其它线程对该volatile变量最后的写入,就这样,通过volatile提供了“读取到的数据总是最新的”这个机制的
保证。
CopyOnWriteArrayList通过互斥锁来保护数据。在“添加/修改/删除”数据时,会先“获取互斥锁”,再修改完毕之后,先将数据更新到“volatile数组”中,然后再“释放互斥锁”,这样,就达到了保护数据的目的。
使用迭代器进行遍历的速度很快,并且不会与其他线程发生冲突。在构造迭代器时,迭代器依赖于不变的数组快照。迭代器支持hasNext()、next()等不可变操作,但不支持add()、remove()等可变操作。
构造方法:
public CopyOnWriteArrayList() {
setArray(new Object[0]);
} public CopyOnWriteArrayList(E[] toCopyIn) {
setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
} public CopyOnWriteArrayList(Collection<? extends E> c) {
Object[] elements;
if (c.getClass() == CopyOnWriteArrayList.class)
elements = ((CopyOnWriteArrayList<?>)c).getArray();
else {
elements = c.toArray();
// c.toArray might (incorrectly) not return Object[] (see 6260652)
if (elements.getClass() != Object[].class)
elements = Arrays.copyOf(elements, elements.length, Object[].class);
}
setArray(elements);
}
获取和设置array的方法
array是被volatile和transient修饰的一个数组。
关于volatile关键字,我们知道“volatile能让变量变得可见”,即对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。正在由于这种特性,每次更新了“volatile数组”之后,其它线程都能看到对它所做的更新。
关于transient关键字,它是在序列化中才起作用,transient变量不会被自动序列化。
private transient volatile Object[] array; final Object[] getArray() {
return array;
} final void setArray(Object[] a) {
array = a;
}
添加元素
因为array数组是volatile修饰的,不能保证线程安全,所以在添加元素时使用锁来保证线程安全。
又因为array数组是volatile修饰的,所以在调用了setArray()方法后,能保证其它线程都能看到新添加的元素。
public void add(int index, E element) {
// 使用锁来保证线程安全。
final ReentrantLock lock = this.lock;
lock.lock();
try {
// 获得array指向的引用地址。
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)
// 将原数组进行拷贝并扩大一个容量。
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;
// 将array引用的地址指向新的数组。
setArray(newElements);
} finally {
lock.unlock();
}
}
删除元素
删除元素就是将array数组中指定位置的元素删除。
它的实现方式是,如果被删除的是最后一个元素,则直接通过Arrays.copyOf()进行处理,而不需要新建数组。否则,新建数组,然后将array数组中被删除元素之外的其它元素拷贝到新数组中。最后,将新数组赋值给array数组。
public E remove(int index) {
// 使用锁来保证线程安全。
final ReentrantLock lock = this.lock;
lock.lock();
try {
// 获得array指向的引用地址。
Object[] elements = getArray();
int len = elements.length;
// 根据指定的位置获取元素。
E oldValue = get(elements, index);
// 如果指定的元素是最后一个元素。
int numMoved = len - index - 1;
if (numMoved == 0)
// 将原数组进行拷贝截取并将array的引用地址指向新的数组。
setArray(Arrays.copyOf(elements, len - 1));
else {
// 如果不是最后一个元素,则创建减少一个容量的数组。
Object[] newElements = new Object[len - 1];
// 分段复制原数组,并空出指定位置。
System.arraycopy(elements, 0, newElements, 0, index);
System.arraycopy(elements, index + 1, newElements, index, numMoved);
// 将array的引用地址指向新的数组。
setArray(newElements);
}
// 返回该位置上的元素。
return oldValue;
} finally {
lock.unlock();
}
}
获取元素
获取元素很简单,就是返回array数组的指定位置的元素。
public E get(int index) {
return get(getArray(), index);
} private E get(Object[] a, int index) {
return (E) a[index];
}
设置元素
在设置元素之前判断指定位置的旧元素是否和新元素相等,如果相等则不进行替换,但仍然要调用setArray()方法。
public E set(int index, E element) {
// 使用锁来保证线程安全。
final ReentrantLock lock = this.lock;
lock.lock();
try {
// 获得array指向的引用地址。
Object[] elements = getArray();
// 获取指定位置的旧元素。
E oldValue = get(elements, index);
// 如果旧元素的引用和新元素的引用不同。
if (oldValue != element) {
// 创建新的数组并拷贝array数组的值,替换新数组指定位置的元素。
int len = elements.length;
Object[] newElements = Arrays.copyOf(elements, len);
newElements[index] = element;
// 将array的引用地址指向新的数组
setArray(newElements);
} else {
// 为了确保voliatile的语义,任何一个读操作都应该是写操作的结构,所以尽管写操作没有改变数据,还是调用set方法,当然这仅仅是语义的说明,去掉也是可以的。
setArray(elements);
}
return oldValue;
} finally {
lock.unlock();
}
}
遍历
CopyOnWriteArrayList类的迭代方法返回的是一个COWIterator类的对象。
public Iterator<E> iterator() {
return new COWIterator<E>(getArray(), 0);
}
CopyOnWriteArrayList在类里维护了一个用于遍历的COWIterator类,COWIterator类实现了ListIterator接口。
static final class COWIterator<E> implements ListIterator<E> {
// 数组的快照。
private final Object[] snapshot;
// 指定下标。
private int cursor; // 构造方法。
private COWIterator(Object[] elements, int initialCursor) {
cursor = initialCursor;
snapshot = elements;
} // 判断是否存在下一个元素。
public boolean hasNext() {
return cursor < snapshot.length;
} // 判断是否存在上一个元素。
public boolean hasPrevious() {
return cursor > 0;
} // 获取下一个元素。
@SuppressWarnings("unchecked")
public E next() {
if (! hasNext())
throw new NoSuchElementException();
return (E) snapshot[cursor++];
} // 获取上一个元素。
@SuppressWarnings("unchecked")
public E previous() {
if (! hasPrevious())
throw new NoSuchElementException();
return (E) snapshot[--cursor];
} // 获取下一个元素的位置。
public int nextIndex() {
return cursor;
} // 获取上一个元素的位置。
public int previousIndex() {
return cursor-1;
} // 不支持删除元素。
public void remove() {
throw new UnsupportedOperationException();
} // 不支持修改元素。
public void set(E e) {
throw new UnsupportedOperationException();
} // 不支持添加元素。
public void add(E e) {
throw new UnsupportedOperationException();
} // JDK1.8新增的方法,使用迭代器Iterator的所有元素,并且第二次调用它将不会做任何事情。
@Override
public void forEachRemaining(Consumer<? super E> action) {
Objects.requireNonNull(action);
Object[] elements = snapshot;
final int size = elements.length;
for (int i = cursor; i < size; i++) {
@SuppressWarnings("unchecked") E e = (E) elements[i];
action.accept(e);
}
cursor = size;
}
}
ArrayBlockingQueue
说明
ArrayBlockingQueue内部是通过Object[]数组保存数据的,也就是说ArrayBlockingQueue本质上是通过数组实现的。ArrayBlockingQueue的大小,即数组的容量是创建ArrayBlockingQueue时指定的。
ArrayBlockingQueue与ReentrantLock是组合关系,ArrayBlockingQueue中包含一个ReentrantLock对象。ReentrantLock是可重入的互斥锁,ArrayBlockingQueue就是根据该互斥锁实现“多线程对竞争资源的互斥访问”。而且,ReentrantLock分为公平锁和非公平锁,关于具体使用公平锁还是非公平锁,在创建ArrayBlockingQueue时可以指定,ArrayBlockingQueue默认会使用非公平锁。
ArrayBlockingQueue与Condition是组合关系,ArrayBlockingQueue中包含两个Condition对象。而且,Condition又依赖于ArrayBlockingQueue而存在,通过Condition可以实现对ArrayBlockingQueue的更精确的访问。
构造方法
public ArrayBlockingQueue(int capacity) {
this(capacity, false);
} public ArrayBlockingQueue(int capacity, boolean fair) {
if (capacity <= 0)
throw new IllegalArgumentException();
this.items = new Object[capacity];
lock = new ReentrantLock(fair);
notEmpty = lock.newCondition();
notFull = lock.newCondition();
} public ArrayBlockingQueue(int capacity, boolean fair, Collection<? extends E> c) {
this(capacity, fair);
// 加锁是为了保证可见性,因为可能存在其他线程在初始化之后修改集合。
final ReentrantLock lock = this.lock;
lock.lock();
try {
int i = 0;
try {
for (E e : c) {
checkNotNull(e);
items[i++] = e;
}
} catch (ArrayIndexOutOfBoundsException ex) {
throw new IllegalArgumentException();
}
count = i;
putIndex = (i == capacity) ? 0 : i;
} finally {
lock.unlock();
}
}
添加元素
ArrayBlockingQueue提供了offer()方法和put()方法两种方式添加元素。
offer()方法添加失败会立即返回false,并且添加过程中不允许被其他线程中断。
put()方法添加失败会等待,并且在添加过程中可以被其他线程中断,抛出InterruptedException异常。
// 不允许被其他线程中断,添加失败则立即返回false。
public boolean offer(E e) {
checkNotNull(e);
final ReentrantLock lock = this.lock;
lock.lock();
try {
if (count == items.length)
return false;
else {
enqueue(e);
return true;
}
} finally {
lock.unlock();
}
} // 允许被其他线程中断,抛出InterruptedException,并且添加失败会等待。
public void put(E e) throws InterruptedException {
checkNotNull(e);
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == items.length)
notFull.await();
enqueue(e);
} finally {
lock.unlock();
}
} // 实际上的添加方法,添加成功后会唤醒一个等待删除元素的线程。
private void enqueue(E x) {
final Object[] items = this.items;
items[putIndex] = x;
if (++putIndex == items.length)
putIndex = 0;
count++;
notEmpty.signal();
}
删除元素
ArrayBlockingQueue提供了poll()方法和take()方法两种方式删除元素。
poll()方法删除失败会立即返回false,并且添加过程中不允许被其他线程中断。
take()方法删除失败会等待,并且在删除过程中可以被其他线程中断,抛出InterruptedException异常。
// 不允许被其他线程中断,删除失败则立即返回null。
public E poll() {
final ReentrantLock lock = this.lock;
lock.lock();
try {
return (count == 0) ? null : dequeue();
} finally {
lock.unlock();
}
} // 允许被其他线程中断,抛出InterruptedException,并且删除失败会等待。
public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == 0)
notEmpty.await();
return dequeue();
} finally {
lock.unlock();
}
} // 实际上的删除方法,删除成功后会唤醒一个等待添加元素的线程。
private E dequeue() {
final Object[] items = this.items;
@SuppressWarnings("unchecked")
E x = (E) items[takeIndex];
items[takeIndex] = null;
if (++takeIndex == items.length)
takeIndex = 0;
count--;
if (itrs != null)
itrs.elementDequeued();
notFull.signal();
return x;
}
LinkedBlockingQueue
说明
LinkedBlockingQueue是一个单向链表实现的阻塞队列。该队列按FIFO(先进先出)排序元素,新元素插入到队列的尾部,并且队列获取操作会获得位于队列头部的元素。链接队列的吞吐量通常要高于基于数组的队列,但是在大多数并发应用程序中,其可预知的性能要低。
LinkedBlockingQueue是可选容量的(防止过度膨胀),即可以指定队列的容量。如果不指定,默认容量大小等于Integer.MAX_VALUE。
LinkedBlockingQueue实现了BlockingQueue接口,它支持多线程并发。当多线程竞争同一个资源时,某线程获取到该资源之后,其它线程需要阻塞等待。
LinkedBlockingQueue在实现多线程对竞争资源的互斥访问时,对于插入和取出操作分别使用了不同的锁。此外,插入锁putLock和非满条件notFull相关联,取出锁takeLock和非空条件notEmpty相关联。通过notFull和notEmpty更细腻的控制锁。
属性
head是链表的表头。取出数据时,都是从表头head处插入。
last是链表的表尾。新增数据时,都是从表尾last处插入。
count是链表的实际大小,即当前链表中包含的节点个数。
capacity是列表的容量,它是在创建链表时指定的。
putLock是插入锁。
takeLock是取出锁。
notEmpty是非空条件。
notFull是非满条件。
构造方法
// 创建一个容量为Integer.MAX_VALUE的LinkedBlockingQueue。
LinkedBlockingQueue()
// 创建一个指定容量的LinkedBlockingQueue。
LinkedBlockingQueue(int capacity)
// 创建一个容量是Integer.MAX_VALUE的LinkedBlockingQueue,最初包含给定collection的元素,元素按该collection迭代器的遍历顺序添加。
LinkedBlockingQueue(Collection<? extends E> c)
其他方法
// 将指定元素插入到此队列的尾部,如果队列已满,则等待。
void put(E e)
// 将指定元素插入到此队列的尾部,如果队列已满,则返回false。
boolean offer(E e)
// 将指定元素插入到此队列的尾部,如果队列已满,则等待指定的时间。
boolean offer(E e, long timeout, TimeUnit unit)
// 获取并移除此队列的头部,如果队列为空,则等待。
E take()
// 获取并移除此队列的头部,如果队列为空,则返回null。
E poll()
// 获取并移除此队列的头部,如果队列为空,则等待指定的时间。
E poll(long timeout, TimeUnit unit)
// 获取但不移除此队列的头,如果此队列为空,则返回null。
E peek()
// 返回在队列中的元素上按适当顺序进行迭代的迭代器。
Iterator<E> iterator()
ConcurrentLinkedQueue
说明
ConcurrentLinkedQueue是线程安全的队列,它适用于“高并发”的场景。ConcurrentLinkedQueue使用CAS来保证更新的线程安全,是一个非阻塞队列。
ConcurrentLinkedQueue是一个基于链表的*线程安全队列,按照FIFO(先进先出)原则对元素进行排序。队列元素中不可以放置null元素(内部实现的特殊节点除外)。
构造方法
// 创建一个最初为空的ConcurrentLinkedQueue。
ConcurrentLinkedQueue()
// 创建一个最初包含给定collection元素的ConcurrentLinkedQueue,按照此collection迭代器的遍历顺序来添加元素。
ConcurrentLinkedQueue(Collection<? extends E> c)
其他方法
// 将指定元素插入此队列的尾部。
boolean offer(E e)
// 获取并移除此队列的头,如果队列为空,则返回null。
E poll()
// 获取但不移除此队列的头,如果队列为空,则返回null。
E peek()
// 返回在此队列元素上以恰当顺序进行迭代的迭代器。
Iterator<E> iterator()
// 返回此队列中的元素数量。
int size()