1. java.util.concurrent所提供的併發容器
java.util.concurrent提供了多種併發容器,總體上來說有4類:隊列類型的BlockingQueue和 ConcurrentLinkedQueue,Map類型的ConcurrentMap,Set類型的ConcurrentSkipListSet和CopyOnWriteArraySet,List類型的CopyOnWriteArrayList.
這些併發容器都採用了多種手段控制併發的存取操作,並且儘可能減小控制併發所帶來的性能損耗。接下來我們會對每一種類型的實現類進行代碼分析,進而得到java.util.con current包所提供的併發容器在傳統容器上所做的工作。
2. BlockingQueue
BlockingQueue接口定義的所有方法實現都是線程安全的,它的實現類裏面都會用鎖和其他控制併發的手段保證這種線程安全,但是這些類同時也實現了Collection接口(主要是AbstractQueue實現),所以會出現BlockingQueue的實現類也能同時使用Conllection接口方法,而這時會出現的問題就是像addAll,containsAll,retainAll和removeAll這類批量方法的實現不保證線程安全,舉個例子就是addAll 10個items到一個ArrayBlockingQueue,可能中途失敗但是卻有幾個item已經被放進這個隊列裏面了。
下面我們根據這幅類圖來逐個解析不同實現類的特性和特性實現代碼
DelayQueue提供了一個只返回超時元素的阻塞隊列,也就是說,即使隊列中已經有數據了,但是poll或者take的時候還要判定這個element有沒達到規定的超時時間,poll方法在element還沒達到規定的超時時間返回null,take則會通過condition.waitNanos()進入等待狀態。一般存儲的element類型爲Delayed,這個接口JDK中實現的類有ScheduledFutureTask,而DelayQueue爲DelayedWorkQueue的Task容器,後者是ScheduledThreadPoolExecutor的工作隊列,所以DelayQueue所具有的超時提供元素和線程安全特性對於併發的定時任務有很大的意義。
- public E take() throws InterruptedException {
- final ReentrantLock lock = this.lock;
- //控制併發
- lock.lockInterruptibly();
- try {
- for (;;) {
- E first = q.peek();
- if (first == null) {
- //condition協調隊列裏面元素
- available.await();
- } else {
- long delay = first.getDelay(TimeUnit.NANOSECONDS);
- if (delay > 0) {
- //因爲first在隊列裏面的delay最短的(優先隊列保證),所以wait這個時間那麼隊列中最短delay的元素就超時了.即
- //隊列有元素供應了.
- long tl = available.awaitNanos(delay);
- } else {
- E x = q.poll();
- assert x != null;
- if (q.size() != 0)
- available.signalAll(); // wake up other takers
- return x;
- }
- }
- }
- } finally {
- lock.unlock();
- }
- }
DelayQueue的內部數據結構是PriorityQueue,因爲Delayed接口同時繼承了Comparable接口,並且Delayed的實現類對於這個compareTo方法的實現是基於超時時間進行大小比較,所以DelayQueue無需關心數據的排序問題,只需要做好存取的併發控制(ReetranLock)和超時判定即可。另外,DelayQueue有一個實現細節就是通過一個Condition來協調隊列中是否有數據可以提供,這對於take和帶有提取超時時間的poll是有意義的(生產者,消費者的實現)。
PriorityBlockingQueue實現對於外部而言是按照元素的某種順序返回元素,同時對存取提供併發保護(ReetranLock),使用Condition協調隊列是否有新元素提供。PriorityBlocking Queue內部的數據結構爲PriorityQueue,優先級排序工作交給PriorityQueue,至於怎麼排序,需要根據插入元素的Comparable的接口實現,和DelayQueue比起來,它沒有限定死插入數據的Comparable實現,而DelayQueue的元素實現Comparable必須按照超時時間的長短進行比較,否則DelayQueue返回的元素就很可能是錯誤的。
ArrayBlockingQueue是一個先入先出的隊列,內部數據結構爲一個數組,並且一旦創建這個隊列的長度是不可改變的,當然put數據時,這個隊列也不會自動增長。ArrayBlockingQueue也是使用ReetranLock來保證存取的原子性,不過使用了notEmpty和notFull兩個Condition來協調隊列爲空和隊列爲滿的狀態轉換,插入數據的時候,判定當前內部數據結構數組E[] items的長度是否等於元素計數,如果相等,說明隊列滿,notFull.await(),直到items數組重新不爲滿(removeAt,poll等),插入數據後notEmpty.sinal()通知所有取數據或者移除數據並且因爲items爲空而等待的線程可以繼續進行操作了。提取數據或者移除數據的過程剛好相反。
ArrayBlockingQueue使用三個數字來維護隊列裏面的數據變更,包括takeIndex,putIndex,count,這裏需要講一下 takeIndex和putIndex,其中takeIndex指向下一個能夠被提取的元素,而putIndex指向下一個能夠插入數據的位置,實現類似下圖的結構,當takeIndex移到內部數組items最大長度時,重新賦值爲0,也就是回到數組頭部,putIndex也是相同的策略.
- /**
- * 循環增加putIndex和takeIndex,如果到數組尾部,那麼
- * 置爲0
- */
- final int inc(int i) {
- return (++i == items.length)? 0 : i;
- }
- //**
- * 插入一個item,需要執行線程獲得了鎖
- */
- private void insert(E x) {
- items[putIndex] = x;
- //累加putIndex,可能到數組尾部,那麼重新指向0位置
- putIndex = inc(putIndex);
- ++count;
- //put後,使用Condition通知正在等待take的線程可以做提取操作
- notEmpty.signal();
- }
- /**
- * 獲取一個元素,執行這個操作的前提是線程已經獲得鎖,
- * 內部調用
- */
- private E extract() {
- final E[] items = this.items;
- E x = items[takeIndex];
- items[takeIndex] = null;
- //累加takeIndex,有可能到數組尾部,重新調到數組頭部
- takeIndex = inc(takeIndex);
- --count;
- //take後,使用Condition通知正在等待插入的線程可以插入
- notFull.signal();
- return x;
- }
- public final void await() throws InterruptedException {
- if (Thread.interrupted())
- throw new InterruptedException();
- //加一個新的condition等待節點
- Node node = addConditionWaiter();
- //釋放自己佔用的鎖
- int savedState = fullyRelease(node);
- int interruptMode = 0;
- while (!isOnSyncQueue(node)) {
- //如果當前線程等待狀態是CONDITION,park住當前線程,等待condition的signal來解除
- LockSupport.park(this);
- if ((interruptMode =checkInterruptWhileWaiting(node)) != 0)
- break;
- }
- if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
- interruptMode = REINTERRUPT;
- if (node.nextWaiter != null)
- unlinkCancelledWaiters();
- if (interruptMode != 0)
- reportInterruptAfterWait(interruptMode);
- }
- private E dequeue() {
- Node<E> h = head;
- Node<E> first = h.next;
- //將原始節點的next指針指向自己,這樣就能GC到自己否則虛擬機會認爲這個節點仍然在用而不銷燬(不知道是否理解有誤)
- h.next = h; // help GC
- head = first;
- E x = first.item;
- first.item = null;
- return x;
- }
- //無論是offerLast,offerFirst,pollFirst,pollLast等等方法都會使用同一把鎖.
- public E pollFirst() {
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- return unlinkFirst();
- } finally {
- lock.unlock();
- }
- }
- public E pollLast() {
- final ReentrantLock lock = this.lock;
- lock.lock();
- try {
- return unlinkLast();
- } finally {
- lock.unlock();
- }
- }
ConcurrentMap定義了V putIfAbsent(K key,V value),Boolean remove(Object Key,Object value),Boolean replace(K key,V oldValue,V newValue)以及V replace(K key,V value)四個方法,幾個方法的特性並不難理解,4個方法都是線程安全的。
ConcurrentHashMap是ConcurrentMap的一個實現類,這個類的實現相當經典,基本思想就是分拆鎖,默認ConcurrentHashMap會實例化一個持有16個Segment對象的數組,Segment數組大小是可以設定的,構造函數裏的concurrencyLevel指定這個值,但是需要注意的是,這個值並不是直接賦值.Segment數組最大長度爲MAX_SEGMENTS = 1 << 16
- int sshift = 0;
- int ssize = 1;
- //ssize是左移位的,也就是2,4,8,16,32增長(*2),所以你設定concurrencyLevel爲10的時候,這個時候併發數最大爲8.
- while (ssize < concurrencyLevel) {
- ++sshift;
- ssize <<= 1;
- }
- 每個Segment維持一個自動增長的HashEntry數組(根據一個閾值確定是否要增長長度,並不是滿了才做).
- int c = count;
- //threshold一般(int)(capacity * loadFactor),
- if (c++ > threshold)
- rehash();
- 下面3段代碼是ConcurrentHashMap的初始化Segment,計算hash值,以及如何選擇Segment的代碼以及示例註解.
- public ConcurrentHashMap(int initialCapacity,
- float loadFactor, int concurrencyLevel) {
- if (!(loadFactor > 0) || initialCapacity < 0 || concurrencyLevel <= 0)
- throw new IllegalArgumentException();
- //首先確定segment的個數,左移位,並且記錄移了幾次,比如conurrencyLevel爲30,那麼2->4->8->16,ssize爲16,sshift爲4
- if (concurrencyLevel > MAX_SEGMENTS)
- concurrencyLevel = MAX_SEGMENTS;
- int sshift = 0;
- int ssize = 1;
- while (ssize < concurrencyLevel) {
- ++sshift;
- ssize <<= 1;
- }
- //segmentShift爲28
- segmentShift = 32 - sshift;
- //segmentMask爲15
- segmentMask = ssize - 1;
- //this.segments=new Segment[16]
- this.segments = Segment.newArray(ssize);
- if (initialCapacity > MAXIMUM_CAPACITY)
- initialCapacity = MAXIMUM_CAPACITY;
- //假設initialCapacity使用32,那麼c=2
- int c = initialCapacity / ssize;
- if (c * ssize < initialCapacity)
- ++c;
- int cap = 1;
- //cap爲2
- while (cap < c)
- cap <<= 1;
- //每個Segment的容量爲2
- for (int i = 0; i < this.segments.length; ++i)
- this.segments[i] = new Segment<K,V>(cap, loadFactor);
- }
- /** *//**
- *segmentShift爲28,segmentMask爲15(1111)
- *因爲hash值爲int,所以32位的
- *hash >>> segentShift會留下最高的4位,
- *再與mask 1111做&操作
- *所以這個最終會產生 0-15的序列.
- */
- final Segment<K,V> segmentFor(int hash) {
- return segments[(hash >>> segmentShift) & segmentMask];
- }
- /**
- *將計算的hash值補充到原始hashCode中,這是爲了防止
- *外部用戶傳進來劣質的hash值(比如重複度很高)所帶來
- *的危害.
- */
- private static int hash(int h) {
- // Spread bits to regularize both segment and index locations,
- // using variant of single-word Wang/Jenkins hash.
- h += (h << 15) ^ 0xffffcd7d;
- h ^= (h >>> 10);
- h += (h << 3);
- h ^= (h >>> 6);
- h += (h << 2) + (h << 14);
- return h ^ (h >>> 16);
- }
當put進來一個key、value對,ConcurrentHashMap會計算Key的hash值,然後從Segment數組根據key的Hash值選出一個Segment,調用其put方法,Segment級別的put方法通過ReetranLock來控制讀取的併發,其實Segment本身繼承了ReetranLock類。
Segment的put方法在lock()後,首先對數組長度加了新的元素之後是否會超過閾值threshold進行了判定,如果超過,那麼進行rehash(),rehash()的過程相對繁瑣,首先數組會自動增長一倍,然後需要對HashEntry數組中的所有元素都需要重新計算hash值,並且置到新數組的新的位置,同時爲了減小操作損耗,將原來不需要移動的數據不做移動操作(power-of-two expansion,在默認threshold,在數組擴大一倍時只需要移動1/6元素,其他都可以不動)。所有動作完成之後,通過一個while循環尋找Segment中是否有相同Key存在,如果已經存在,那麼根據onlyIfAbsent參數確定是否替換(如果爲true,不替換,如果爲false,替換掉value),然後返回替換的value,如果不存在,那麼新生成一個HashEntry,並且根據一開始計算出來的index放到數組指定位置,並且累積元素計數,返回put的值。最後unlock()釋放掉鎖.
4. CopyOnWriteArrayList和CopyOnWriteArraySet
CopyOnWriteList是線程安全的List實現,其底層數據存儲結構爲數組(Object[] array),它在讀操作遠遠多於寫操作的場景下表現良好,這其中的原因在於其讀操作(get(),indexOf(),isEmpty(),contains())不加任何鎖,而寫操作(set(),add(),remove())通過Arrays.copyOf()操作拷貝當前底層數據結構(array),在其上面做完增刪改等操作,再將新的數組置爲底層數據結構,同時爲了避免併發增刪改, CopyOnWriteList在這些寫操作上通過一個ReetranLock進行併發控制。另外需要注意的是,CopyOnWriteList所實現的迭代器其數據也是底層數組鏡像,所以在CopyOnWriteList進行interator,同時併發增刪改CopyOnWriteList裏的數據實不會拋“ConcurrentModificationException”,當然在迭代器上做remove,add,set也是無效的(拋UnsupportedOperationExcetion),因爲迭代器上的數據只是當前List的數據數組的一個拷貝而已。
CopyOnWriteSet是一個線程安全的Set實現,然後持有一個CopyOnWriteList實例,其所有的操作都是這個CopyOnWriteList實例來實現的。CopyOnWriteSet與CopyOnWriteList的區別實際上就是Set與List的區別,前者不允許有重複的元素,後者是可以的,所以CopyOnWriteSet的add和addAll兩個操作使用的是其內部CopyOnWriteList實例的addAbsent()和addAllAbsent()兩個防止重複元素的方法,addAbsent()實現是拷貝底層數據數組,然後逐一比較是否相同,如果有一個相同,那麼直接返回false,說明插入失敗,如果和其他元素不同,那麼將元素加入到新的數組中,最後置回新的數組, addAllAbsent()方法實現則是能有多少數據插入就插入,也就是說addAllAbsent一個集合的數據,可能只有一部分插入成功,另外一部分因爲元素相同而遭丟棄,完成後返回插入的元素。