溫馨提示×

您好,登錄后才能下訂單哦!

密碼登錄×
登錄注冊(cè)×
其他方式登錄
點(diǎn)擊 登錄注冊(cè) 即表示同意《億速云用戶服務(wù)條款》

深入淺析Java中 concurrency集合的CopyOnWriteArrayList

發(fā)布時(shí)間:2020-11-23 16:54:09 來(lái)源:億速云 閱讀:345 作者:Leah 欄目:編程語(yǔ)言

深入淺析Java中 concurrency集合的CopyOnWriteArrayList?針對(duì)這個(gè)問題,這篇文章詳細(xì)介紹了相對(duì)應(yīng)的分析和解答,希望可以幫助更多想解決這個(gè)問題的小伙伴找到更簡(jiǎn)單易行的方法。

CopyOnWriteArrayList介紹

它相當(dāng)于線程安全的ArrayList。和ArrayList一樣,它是個(gè)可變數(shù)組;但是和ArrayList不同的時(shí),它具有以下特性:

1. 它最適合于具有以下特征的應(yīng)用程序:List 大小通常保持很小,只讀操作遠(yuǎn)多于可變操作,需要在遍歷期間防止線程間的沖突。

2. 它是線程安全的。

3. 因?yàn)橥ǔP枰獜?fù)制整個(gè)基礎(chǔ)數(shù)組,所以可變操作(add()、set() 和 remove() 等等)的開銷很大。

4. 迭代器支持hasNext(), next()等不可變操作,但不支持可變 remove()等操作。

5. 使用迭代器進(jìn)行遍歷的速度很快,并且不會(huì)與其他線程發(fā)生沖突。在構(gòu)造迭代器時(shí),迭代器依賴于不變的數(shù)組快照。 

CopyOnWriteArrayList原理和數(shù)據(jù)結(jié)構(gòu)

CopyOnWriteArrayList的數(shù)據(jù)結(jié)構(gòu),如下圖所示:

深入淺析Java中 concurrency集合的CopyOnWriteArrayList

說明:

1. CopyOnWriteArrayList實(shí)現(xiàn)了List接口,因此它是一個(gè)隊(duì)列。

2. CopyOnWriteArrayList包含了成員lock。每一個(gè)CopyOnWriteArrayList都和一個(gè)互斥鎖lock綁定,通過lock,實(shí)現(xiàn)了對(duì)CopyOnWriteArrayList的互斥訪問。

3. CopyOnWriteArrayList包含了成員array數(shù)組,這說明CopyOnWriteArrayList本質(zhì)上通過數(shù)組實(shí)現(xiàn)的。

下面從“動(dòng)態(tài)數(shù)組”和“線程安全”兩個(gè)方面進(jìn)一步對(duì)CopyOnWriteArrayList的原理進(jìn)行說明。

1. CopyOnWriteArrayList的“動(dòng)態(tài)數(shù)組”機(jī)制 -- 它內(nèi)部有個(gè)“volatile數(shù)組”(array)來(lái)保持?jǐn)?shù)據(jù)。在“添加/修改/刪除”數(shù)據(jù)時(shí),都會(huì)新建一個(gè)數(shù)組,并將更新后的數(shù)據(jù)拷貝到新建的數(shù)組中,最后再將該數(shù)組賦值給“volatile數(shù)組”。這就是它叫做CopyOnWriteArrayList的原因!CopyOnWriteArrayList就是通過這種方式實(shí)現(xiàn)的動(dòng)態(tài)數(shù)組;不過正由于它在“添加/修改/刪除”數(shù)據(jù)時(shí),都會(huì)新建數(shù)組,所以涉及到修改數(shù)據(jù)的操作,CopyOnWriteArrayList效率很
低;但是單單只是進(jìn)行遍歷查找的話,效率比較高。

2. CopyOnWriteArrayList的“線程安全”機(jī)制 -- 是通過volatile和互斥鎖來(lái)實(shí)現(xiàn)的。(01) CopyOnWriteArrayList是通過“volatile數(shù)組”來(lái)保存數(shù)據(jù)的。一個(gè)線程讀取volatile數(shù)組時(shí),總能看到其它線程對(duì)該volatile變量最后的寫入;就這樣,通過volatile提供了“讀取到的數(shù)據(jù)總是最新的”這個(gè)機(jī)制的

保證。(02) CopyOnWriteArrayList通過互斥鎖來(lái)保護(hù)數(shù)據(jù)。在“添加/修改/刪除”數(shù)據(jù)時(shí),會(huì)先“獲取互斥鎖”,再修改完畢之后,先將數(shù)據(jù)更新到“volatile數(shù)組”中,然后再“釋放互斥鎖”;這樣,就達(dá)到了保護(hù)數(shù)據(jù)的目的。 

CopyOnWriteArrayList函數(shù)列表

// 創(chuàng)建一個(gè)空列表。
CopyOnWriteArrayList()
// 創(chuàng)建一個(gè)按 collection 的迭代器返回元素的順序包含指定 collection 元素的列表。
CopyOnWriteArrayList(Collection<&#63; extends E> c)
// CopyOnWriteArrayList(E[] toCopyIn)

創(chuàng)建一個(gè)保存給定數(shù)組的副本的列表。

// 將指定元素添加到此列表的尾部。
boolean add(E e)
// 在此列表的指定位置上插入指定元素。
void add(int index, E element)
// 按照指定 collection 的迭代器返回元素的順序,將指定 collection 中的所有元素添加此列表的尾部。
boolean addAll(Collection<&#63; extends E> c)
// 從指定位置開始,將指定 collection 的所有元素插入此列表。
boolean addAll(int index, Collection<&#63; extends E> c)
// 按照指定 collection 的迭代器返回元素的順序,將指定 collection 中尚未包含在此列表中的所有元素添加列表的尾部。
int addAllAbsent(Collection<&#63; extends E> c)
// 添加元素(如果不存在)。
boolean addIfAbsent(E e)
// 從此列表移除所有元素。
void clear()
// 返回此列表的淺表副本。
Object clone()
// 如果此列表包含指定的元素,則返回 true。
boolean contains(Object o)
// 如果此列表包含指定 collection 的所有元素,則返回 true。
boolean containsAll(Collection<&#63;> c)
// 比較指定對(duì)象與此列表的相等性。
boolean equals(Object o)
// 返回列表中指定位置的元素。
E get(int index)
// 返回此列表的哈希碼值。
int hashCode()
// 返回第一次出現(xiàn)的指定元素在此列表中的索引,從 index 開始向前搜索,如果沒有找到該元素,則返回 -1。
int indexOf(E e, int index)
// 返回此列表中第一次出現(xiàn)的指定元素的索引;如果此列表不包含該元素,則返回 -1。
int indexOf(Object o)
// 如果此列表不包含任何元素,則返回 true。
boolean isEmpty()
// 返回以恰當(dāng)順序在此列表元素上進(jìn)行迭代的迭代器。
Iterator<E> iterator()
// 返回最后一次出現(xiàn)的指定元素在此列表中的索引,從 index 開始向后搜索,如果沒有找到該元素,則返回 -1。
int lastIndexOf(E e, int index)
// 返回此列表中最后出現(xiàn)的指定元素的索引;如果列表不包含此元素,則返回 -1。
int lastIndexOf(Object o)
// 返回此列表元素的列表迭代器(按適當(dāng)順序)。
ListIterator<E> listIterator()
// 返回列表中元素的列表迭代器(按適當(dāng)順序),從列表的指定位置開始。
ListIterator<E> listIterator(int index)
// 移除此列表指定位置上的元素。
E remove(int index)
// 從此列表移除第一次出現(xiàn)的指定元素(如果存在)。
boolean remove(Object o)
// 從此列表移除所有包含在指定 collection 中的元素。
boolean removeAll(Collection<&#63;> c)
// 只保留此列表中包含在指定 collection 中的元素。
boolean retainAll(Collection<&#63;> c)
// 用指定的元素替代此列表指定位置上的元素。
E set(int index, E element)
// 返回此列表中的元素?cái)?shù)。
int size()
// 返回此列表中 fromIndex(包括)和 toIndex(不包括)之間部分的視圖。
List<E> subList(int fromIndex, int toIndex)
// 返回一個(gè)按恰當(dāng)順序(從第一個(gè)元素到最后一個(gè)元素)包含此列表中所有元素的數(shù)組。
Object[] toArray()
// 返回以恰當(dāng)順序(從第一個(gè)元素到最后一個(gè)元素)包含列表所有元素的數(shù)組;返回?cái)?shù)組的運(yùn)行時(shí)類型是指定數(shù)組的運(yùn)行時(shí)類型。
<T> T[] toArray(T[] a)
// 返回此列表的字符串表示形式。
String toString() 

下面我們從“創(chuàng)建,添加,刪除,獲取,遍歷”這5個(gè)方面去分析CopyOnWriteArrayList的原理。

1. 創(chuàng)建

CopyOnWriteArrayList共3個(gè)構(gòu)造函數(shù)。它們的源碼如下:

public CopyOnWriteArrayList() {
 setArray(new Object[0]);
}
public CopyOnWriteArrayList(Collection<&#63; extends E> c) {
 Object[] elements = c.toArray();
 if (elements.getClass() != Object[].class)
  elements = Arrays.copyOf(elements, elements.length, Object[].class);
 setArray(elements);
}
public CopyOnWriteArrayList(E[] toCopyIn) {
 setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
}
說明:這3個(gè)構(gòu)造函數(shù)都調(diào)用了setArray(),setArray()的源碼如下:
private volatile transient Object[] array;
final Object[] getArray() {
 return array;
}
final void setArray(Object[] a) {
 array = a;
}

說明:setArray()的作用是給array賦值;其中,array是volatile transient Object[]類型,即array是“volatile數(shù)組”。

關(guān)于volatile關(guān)鍵字,我們知道“volatile能讓變量變得可見”,即對(duì)一個(gè)volatile變量的讀,總是能看到(任意線程)對(duì)這個(gè)volatile變量最后的寫入。正在由于這種特性,每次更新了“volatile數(shù)組”之后,其它線程都能看到對(duì)它所做的更新。

關(guān)于transient關(guān)鍵字,它是在序列化中才起作用,transient變量不會(huì)被自動(dòng)序列化。transient不是本文關(guān)注的重點(diǎn),了解即可。

2. 添加

以add(E e)為例,來(lái)對(duì)“CopyOnWriteArrayList的添加操作”進(jìn)行說明。下面是add(E e)的代碼:

public boolean add(E e) {
 final ReentrantLock lock = this.lock;
 // 獲取“鎖”
 lock.lock();
 try {
  // 獲取原始”volatile數(shù)組“中的數(shù)據(jù)和數(shù)據(jù)長(zhǎng)度。
  Object[] elements = getArray();
  int len = elements.length;
  // 新建一個(gè)數(shù)組newElements,并將原始數(shù)據(jù)拷貝到newElements中;
  // newElements數(shù)組的長(zhǎng)度=“原始數(shù)組的長(zhǎng)度”+1
  Object[] newElements = Arrays.copyOf(elements, len + 1);
  // 將“新增加的元素”保存到newElements中。
  newElements[len] = e;
  // 將newElements賦值給”volatile數(shù)組“。
  setArray(newElements);
  return true;
 } finally {
  // 釋放“鎖”
  lock.unlock();
 }
}

說明:add(E e)的作用就是將數(shù)據(jù)e添加到”volatile數(shù)組“中。它的實(shí)現(xiàn)方式是,新建一個(gè)數(shù)組,接著將原始的”volatile數(shù)組“的數(shù)據(jù)拷貝到新數(shù)組中,然后將新增數(shù)據(jù)也添加到新數(shù)組中;最后,將新數(shù)組賦值給”volatile數(shù)組“。
在add(E e)中有兩點(diǎn)需要關(guān)注。

        第一,在”添加操作“開始前,獲取獨(dú)占鎖(lock),若此時(shí)有需要線程要獲取鎖,則必須等待;在操作完畢后,釋放獨(dú)占鎖(lock),此時(shí)其它線程才能獲取鎖。通過獨(dú)占鎖,來(lái)防止多線程同時(shí)修改數(shù)據(jù)!lock的定義如下:
transient final ReentrantLock lock = new ReentrantLock();

        第二,操作完畢時(shí),會(huì)通過setArray()來(lái)更新”volatile數(shù)組“。而且,前面我們提過”即對(duì)一個(gè)volatile變量的讀,總是能看到(任意線程)對(duì)這個(gè)volatile變量最后的寫入“;這樣,每次添加元素之后,其它線程都能看到新添加的元素。 

3. 獲取

以get(int index)為例,來(lái)對(duì)“CopyOnWriteArrayList的刪除操作”進(jìn)行說明。下面是get(int index)的代碼:

public E get(int index) {
 return get(getArray(), index);
}
private E get(Object[] a, int index) {
 return (E) a[index];
}

說明:get(int index)的實(shí)現(xiàn)很簡(jiǎn)單,就是返回”volatile數(shù)組“中的第index個(gè)元素。 

4. 刪除

以remove(int index)為例,來(lái)對(duì)“CopyOnWriteArrayList的刪除操作”進(jìn)行說明。下面是remove(int index)的代碼:

public E remove(int index) {
 final ReentrantLock lock = this.lock;
 // 獲取“鎖”
 lock.lock();
 try {
  // 獲取原始”volatile數(shù)組“中的數(shù)據(jù)和數(shù)據(jù)長(zhǎng)度。
  Object[] elements = getArray();
  int len = elements.length;
  // 獲取elements數(shù)組中的第index個(gè)數(shù)據(jù)。
  E oldValue = get(elements, index);
  int numMoved = len - index - 1;
  // 如果被刪除的是最后一個(gè)元素,則直接通過Arrays.copyOf()進(jìn)行處理,而不需要新建數(shù)組。
  // 否則,新建數(shù)組,然后將”volatile數(shù)組中被刪除元素之外的其它元素“拷貝到新數(shù)組中;最后,將新數(shù)組賦值給”volatile數(shù)組“。
  if (numMoved == 0)
   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);
   setArray(newElements);
  }
  return oldValue;
 } finally {
  // 釋放“鎖”
  lock.unlock();
 }
}

說明:remove(int index)的作用就是將”volatile數(shù)組“中第index個(gè)元素刪除。它的實(shí)現(xiàn)方式是,如果被刪除的是最后一個(gè)元素,則直接通過Arrays.copyOf()進(jìn)行處理,而不需要新建數(shù)組。否則,新建數(shù)組,然后將”volatile數(shù)組中被刪除元素之外的其它元素“拷貝到新數(shù)組中;最后,將新數(shù)組賦值給”volatile數(shù)組“。

         和add(E e)一樣,remove(int index)也是”在操作之前,獲取獨(dú)占鎖;操作完成之后,釋放獨(dú)占是“;并且”在操作完成時(shí),會(huì)通過將數(shù)據(jù)更新到volatile數(shù)組中“。 

5. 遍歷

以iterator()為例,來(lái)對(duì)“CopyOnWriteArrayList的遍歷操作”進(jìn)行說明。下面是iterator()的代碼:

public Iterator<E> iterator() {
 return new COWIterator<E>(getArray(), 0);
}

說明:iterator()會(huì)返回COWIterator對(duì)象。

COWIterator實(shí)現(xiàn)額ListIterator接口,它的源碼如下:

private static 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;
 }
 // 獲取下一個(gè)元素
 @SuppressWarnings("unchecked")
 public E next() {
  if (! hasNext())
   throw new NoSuchElementException();
  return (E) snapshot[cursor++];
 }
 // 獲取上一個(gè)元素
 @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();
 }
}

說明:COWIterator不支持修改元素的操作。例如,對(duì)于remove(),set(),add()等操作,COWIterator都會(huì)拋出異常!
另外,需要提到的一點(diǎn)是,CopyOnWriteArrayList返回迭代器不會(huì)拋出ConcurrentModificationException異常,即它不是fail-fast機(jī)制的! 

CopyOnWriteArrayList示例

下面,我們通過一個(gè)例子去對(duì)比ArrayList和CopyOnWriteArrayList。 

import java.util.*;
 import java.util.concurrent.*;
 /*
 * CopyOnWriteArrayList是“線程安全”的動(dòng)態(tài)數(shù)組,而ArrayList是非線程安全的。
 *
 * 下面是“多個(gè)線程同時(shí)操作并且遍歷list”的示例
 * (01) 當(dāng)list是CopyOnWriteArrayList對(duì)象時(shí),程序能正常運(yùn)行。
 * (02) 當(dāng)list是ArrayList對(duì)象時(shí),程序會(huì)產(chǎn)生ConcurrentModificationException異常。
 *
 * 
 */
 public class CopyOnWriteArrayListTest1 {
  // TODO: list是ArrayList對(duì)象時(shí),程序會(huì)出錯(cuò)。
  //private static List<String> list = new ArrayList<String>();
  private static List<String> list = new CopyOnWriteArrayList<String>();
  public static void main(String[] args) {
   // 同時(shí)啟動(dòng)兩個(gè)線程對(duì)list進(jìn)行操作!
   new MyThread("ta").start();
   new MyThread("tb").start();
  }
  private static void printAll() {
   String value = null;
   Iterator iter = list.iterator();
   while(iter.hasNext()) {
    value = (String)iter.next();
    System.out.print(value+", ");
   }
   System.out.println();
  }
  private static class MyThread extends Thread {
   MyThread(String name) {
    super(name);
   }
   @Override
   public void run() {
     int i = 0;
    while (i++ < 6) {
     // “線程名” + "-" + "序號(hào)"
     String val = Thread.currentThread().getName()+"-"+i;
     list.add(val);
     // 通過“Iterator”遍歷List。
     printAll();
    }
   }
  }
 }

(某一次)運(yùn)行結(jié)果:

ta-1, tb-1, ta-1, 
tb-1, 
ta-1, ta-1, tb-1, tb-1, tb-2, 
tb-2, ta-1, ta-2, 
tb-1, ta-1, tb-2, tb-1, ta-2, tb-2, tb-3, 
ta-2, ta-1, tb-3, tb-1, ta-3, 
tb-2, ta-1, ta-2, tb-1, tb-3, tb-2, ta-3, ta-2, tb-4, 
tb-3, ta-1, ta-3, tb-1, tb-4, tb-2, ta-4, 
ta-2, ta-1, tb-3, tb-1, ta-3, tb-2, tb-4, ta-2, ta-4, tb-3, tb-5, 
ta-3, ta-1, tb-4, tb-1, ta-4, tb-2, tb-5, ta-2, ta-5, 
tb-3, ta-1, ta-3, tb-1, tb-4, tb-2, ta-4, ta-2, tb-5, tb-3, ta-5, ta-3, tb-6, 
tb-4, ta-4, tb-5, ta-5, tb-6, ta-6,

結(jié)果說明:如果將源碼中的list改成ArrayList對(duì)象時(shí),程序會(huì)產(chǎn)生ConcurrentModificationException異常。

關(guān)于深入淺析Java中 concurrency集合的CopyOnWriteArrayList問題的解答就分享到這里了,希望以上內(nèi)容可以對(duì)大家有一定的幫助,如果你還有很多疑惑沒有解開,可以關(guān)注億速云行業(yè)資訊頻道了解更多相關(guān)知識(shí)。

向AI問一下細(xì)節(jié)

免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱:is@yisu.com進(jìn)行舉報(bào),并提供相關(guān)證據(jù),一經(jīng)查實(shí),將立刻刪除涉嫌侵權(quán)內(nèi)容。

AI