CountDownLatch 用法和源碼解析
CountDownLatch 是多線程控制的一種工具,它被稱為 門閥、 計數器或者 閉鎖。這個工具經常用來用來協調多個線程之間的同步,或者說起到線程之間的通信(而不是用作互斥的作用)。下面我們就來一起認識一下 CountDownLatch
我把自己以往的文章匯總成為了 Github ,歡迎各位大佬 star
https://github.com/crisxuan/bestJavaer
認識 CountDownLatch
CountDownLatch 能夠使一個線程在等待另外一些線程完成各自工作之后,再繼續執行。它相當于是一個計數器,這個計數器的初始值就是線程的數量,每當一個任務完成后,計數器的值就會減一,當計數器的值為 0 時,表示所有的線程都已經任務了,然后在 CountDownLatch 上等待的線程就可以恢復執行接下來的任務。
CountDownLatch 的使用
CountDownLatch 提供了一個構造方法,你必須指定其初始值,還指定了 countDown 方法,這個方法的作用主要用來減小計數器的值,當計數器變為 0 時,在 CountDownLatch 上 await 的線程就會被喚醒,繼續執行其他任務。當然也可以延遲喚醒,給 CountDownLatch 加一個延遲時間就可以實現。
其主要方法如下
CountDownLatch 主要有下面這幾個應用場景
CountDownLatch 應用場景
典型的應用場景就是當一個服務啟動時,同時會加載很多組件和服務,這時候主線程會等待組件和服務的加載。當所有的組件和服務都加載完畢后,主線程和其他線程在一起完成某個任務。
CountDownLatch 還可以實現學生一起比賽跑步的程序,CountDownLatch 初始化為學生數量的線程,鳴槍后,每個學生就是一條線程,來完成各自的任務,當第一個學生跑完全程后,CountDownLatch 就會減一,直到所有的學生完成后,CountDownLatch 會變為 0 ,接下來再一起宣布跑步成績。
順著這個場景,你自己就可以延伸、拓展出來很多其他任務場景。
CountDownLatch 用法
下面我們通過一個簡單的計數器來演示一下 CountDownLatch 的用法
public class TCountDownLatch { public static void main(String[] args) { CountDownLatch latch = new CountDownLatch(5); Increment increment = new Increment(latch); Decrement decrement = new Decrement(latch); new Thread(increment).start(); new Thread(decrement).start(); try { Thread.sleep(6000); } catch (InterruptedException e) { e.printStackTrace(); } } } class Decrement implements Runnable { CountDownLatch countDownLatch; public Decrement(CountDownLatch countDownLatch){ this.countDownLatch = countDownLatch; } @Override public void run() { try { for(long i = countDownLatch.getCount();i > 0;i--){ Thread.sleep(1000); System.out.println("countdown"); this.countDownLatch.countDown(); } } catch (InterruptedException e) { e.printStackTrace(); } } } class Increment implements Runnable { CountDownLatch countDownLatch; public Increment(CountDownLatch countDownLatch){ this.countDownLatch = countDownLatch; } @Override public void run() { try { System.out.println("await"); countDownLatch.await(); } catch (InterruptedException e) { e.printStackTrace(); } System.out.println("Waiter Released"); } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
在 main 方法中我們初始化了一個計數器為 5 的 CountDownLatch,在 Decrement 方法中我們使用 countDown 執行減一操作,然后睡眠一段時間,同時在 Increment 類中進行等待,直到 Decrement 中的線程完成計數減一的操作后,喚醒 Increment 類中的 run 方法,使其繼續執行。
下面我們再來通過學生賽跑這個例子來演示一下 CountDownLatch 的具體用法
public class StudentRunRace { CountDownLatch stopLatch = new CountDownLatch(1); CountDownLatch runLatch = new CountDownLatch(10); public void waitSignal() throws Exception{ System.out.println("選手" + Thread.currentThread().getName() + "正在等待裁判發布口令"); stopLatch.await(); System.out.println("選手" + Thread.currentThread().getName() + "已接受裁判口令"); Thread.sleep((long) (Math.random() * 10000)); System.out.println("選手" + Thread.currentThread().getName() + "到達終點"); runLatch.countDown(); } public void waitStop() throws Exception{ Thread.sleep((long) (Math.random() * 10000)); System.out.println("裁判"+Thread.currentThread().getName()+"即將發布口令"); stopLatch.countDown(); System.out.println("裁判"+Thread.currentThread().getName()+"已發送口令,正在等待所有選手到達終點"); runLatch.await(); System.out.println("所有選手都到達終點"); System.out.println("裁判"+Thread.currentThread().getName()+"匯總成績排名"); } public static void main(String[] args) { ExecutorService service = Executors.newCachedThreadPool(); StudentRunRace studentRunRace = new StudentRunRace(); for (int i = 0; i < 10; i++) { Runnable runnable = () -> { try { studentRunRace.waitSignal(); } catch (Exception e) { e.printStackTrace(); } }; service.execute(runnable); } try { studentRunRace.waitStop(); } catch (Exception e) { e.printStackTrace(); } service.shutdown(); } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
下面我們就來一起分析一下 CountDownLatch 的源碼
CountDownLatch 源碼分析
CountDownLatch 使用起來比較簡單,但是卻非常有用,現在你可以在你的工具箱中加上 CountDownLatch 這個工具類了。下面我們就來深入認識一下 CountDownLatch。
CountDownLatch 的底層是由 AbstractQueuedSynchronizer 支持,而 AQS 的數據結構的核心就是兩個隊列,一個是 同步隊列(sync queue),一個是條件隊列(condition queue)。
Sync 內部類
CountDownLatch 在其內部是一個 Sync ,它繼承了 AQS 抽象類。
private static final class Sync extends AbstractQueuedSynchronizer {...}
1
CountDownLatch 其實其內部只有一個 sync 屬性,并且是 final 的
private final Sync sync;
1
CountDownLatch 只有一個帶參數的構造方法
public CountDownLatch(int count) { if (count < 0) throw new IllegalArgumentException("count < 0"); this.sync = new Sync(count); }
1
2
3
4
也就是說,初始化的時候必須指定計數器的數量,如果數量為負會直接拋出異常。
然后把 count 初始化為 Sync 內部的 count,也就是
Sync(int count) { setState(count); }
1
2
3
注意這里有一個 setState(count),這是什么意思呢?見聞知意這只是一個設置狀態的操作,但是實際上不單單是,還有一層意思是 state 的值代表著待達到條件的線程數。這個我們在聊 countDown 方法的時候再討論。
getCount() 方法的返回值是 getState() 方法,它是 AbstractQueuedSynchronizer 中的方法,這個方法會返回當前線程計數,具有 volatile 讀取的內存語義。
// ---- CountDownLatch ---- int getCount() { return getState(); } // ---- AbstractQueuedSynchronizer ---- protected final int getState() { return state; }
1
2
3
4
5
6
7
8
9
10
11
tryAcquireShared() 方法用于獲取·共享狀態下對象的狀態,判斷對象是否為 0 ,如果為 0 返回 1 ,表示能夠嘗試獲取,如果不為 0,那么返回 -1,表示無法獲取。
protected int tryAcquireShared(int acquires) { return (getState() == 0) ? 1 : -1; } // ---- getState() 方法和上面的方法相同 ----
1
2
3
4
5
這個 共享狀態 屬于 AQS 中的概念,在 AQS 中分為兩種模式,一種是 獨占模式,一種是 共享模式。
tryAcquire 獨占模式,嘗試獲取資源,成功則返回 true,失敗則返回 false。
tryAcquireShared 共享方式,嘗試獲取資源。負數表示失敗;0 表示成功,但沒有剩余可用資源;正數表示成功,且有剩余資源。
tryReleaseShared() 方法用于共享模式下的釋放
protected boolean tryReleaseShared(int releases) { // 減小數量,變為 0 的時候進行通知。 for (;;) { int c = getState(); if (c == 0) return false; int nextc = c-1; if (compareAndSetState(c, nextc)) return nextc == 0; } }
1
2
3
4
5
6
7
8
9
10
11
這個方法是一個無限循環,獲取線程狀態,如果線程狀態是 0 則表示沒有被線程占有,沒有占有的話那么直接返回 false ,表示已經釋放;然后下一個狀態進行 - 1 ,使用 compareAndSetState CAS 方法進行和內存值的比較,如果內存值也是 1 的話,就會更新內存值為 0 ,判斷 nextc 是否為 0 ,如果 CAS 比較不成功的話,會再次進行循環判斷。
如果 CAS 用法不清楚的話,讀者朋友們可以參考這篇文章 告訴你一個 AtomicInteger 的驚天大秘密!
await 方法
await() 方法是 CountDownLatch 一個非常重要的方法,基本上可以說只有 countDown 和 await 方法才是 CountDownLatch 的精髓所在,這個方法將會使當前線程在 CountDownLatch 計數減至零之前一直等待,除非線程被中斷。
CountDownLatch 中的 await 方法有兩種,一種是不帶任何參數的 await(),一種是可以等待一段時間的await(long timeout, TimeUnit unit)。下面我們先來看一下 await() 方法。
public void await() throws InterruptedException { sync.acquireSharedInterruptibly(1); }
1
2
3
await 方法內部會調用 acquireSharedInterruptibly 方法,這個 acquireSharedInterruptibly 是 AQS 中的方法,以共享模式進行中斷。
public final void acquireSharedInterruptibly(int arg) throws InterruptedException { if (Thread.interrupted()) throw new InterruptedException(); if (tryAcquireShared(arg) < 0) doAcquireSharedInterruptibly(arg); }
1
2
3
4
5
6
7
可以看到,acquireSharedInterruptibly 方法的內部會首先判斷線程是否中斷,如果線程中斷,則直接拋出線程中斷異常。如果沒有中斷,那么會以共享的方式獲取。如果能夠在共享的方式下不能獲取鎖,那么就會以共享的方式斷開鏈接。
private void doAcquireSharedInterruptibly(int arg) throws InterruptedException { final Node node = addWaiter(Node.SHARED); boolean failed = true; try { for (;;) { final Node p = node.predecessor(); if (p == head) { int r = tryAcquireShared(arg); if (r >= 0) { setHeadAndPropagate(node, r); p.next = null; // help GC failed = false; return; } } if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt()) throw new InterruptedException(); } } finally { if (failed) cancelAcquire(node); } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
這個方法有些長,我們分開來看
首先,會先構造一個共享模式的 Node 入隊
然后使用無限循環判斷新構造 node 的前驅節點,如果 node 節點的前驅節點是頭節點,那么就會判斷線程的狀態,這里調用了一個 setHeadAndPropagate ,其源碼如下
private void setHeadAndPropagate(Node node, int propagate) { Node h = head; setHead(node); if (propagate > 0 || h == null || h.waitStatus < 0 || (h = head) == null || h.waitStatus < 0) { Node s = node.next; if (s == null || s.isShared()) doReleaseShared(); } }
1
2
3
4
5
6
7
8
9
10
首先會設置頭節點,然后進行一系列的判斷,獲取節點的獲取節點的后繼,以共享模式進行釋放,就會調用 doReleaseShared 方法,我們再來看一下 doReleaseShared 方法
private void doReleaseShared() { for (;;) { Node h = head; if (h != null && h != tail) { int ws = h.waitStatus; if (ws == Node.SIGNAL) { if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0)) continue; // loop to recheck cases unparkSuccessor(h); } else if (ws == 0 && !compareAndSetWaitStatus(h, 0, Node.PROPAGATE)) continue; // loop on failed CAS } if (h == head) // loop if head changed break; } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
這個方法會以無限循環的方式首先判斷頭節點是否等于尾節點,如果頭節點等于尾節點的話,就會直接退出。如果頭節點不等于尾節點,會判斷狀態是否為 SIGNAL,不是的話就繼續循環 compareAndSetWaitStatus,然后斷開后繼節點。如果狀態不是 SIGNAL,也會調用 compareAndSetWaitStatus 設置狀態為 PROPAGATE,狀態為 0 并且不成功,就會繼續循環。
也就是說 setHeadAndPropagate 就是設置頭節點并且釋放后繼節點的一系列過程。
我們來看下面的 if 判斷,也就是 shouldParkAfterFailedAcquire(p, node) 這里
if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt()) throw new InterruptedException();
1
2
3
如果上面 Node p = node.predecessor() 獲取前驅節點不是頭節點,就會進行 park 斷開操作,判斷此時是否能夠斷開,判斷的標準如下
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) { int ws = pred.waitStatus; if (ws == Node.SIGNAL) return true; if (ws > 0) { do { node.prev = pred = pred.prev; } while (pred.waitStatus > 0); pred.next = node; } else { compareAndSetWaitStatus(pred, ws, Node.SIGNAL); } return false; }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
這個方法會判斷 Node p 的前驅節點的結點狀態(waitStatus),節點狀態一共有五種,分別是
CANCELLED(1):表示當前結點已取消調度。當超時或被中斷(響應中斷的情況下),會觸發變更為此狀態,進入該狀態后的結點將不會再變化。
SIGNAL(-1):表示后繼結點在等待當前結點喚醒。后繼結點入隊時,會將前繼結點的狀態更新為 SIGNAL。
CONDITION(-2):表示結點等待在 Condition 上,當其他線程調用了 Condition 的 signal() 方法后,CONDITION狀態的結點將從等待隊列轉移到同步隊列中,等待獲取同步鎖。
PROPAGATE(-3):共享模式下,前繼結點不僅會喚醒其后繼結點,同時也可能會喚醒后繼的后繼結點。
0:新結點入隊時的默認狀態。
如果前驅節點是 SIGNAL 就會返回 true 表示可以斷開,如果前驅節點的狀態大于 0 (此時為什么不用 ws == Node.CANCELLED ) 呢?因為 ws 大于 0 的條件只有 CANCELLED 狀態了。然后就是一系列的查找遍歷操作直到前驅節點的 waitStatus > 0。如果 ws <= 0 ,而且還不是 SIGNAL 狀態的話,就會使用 CAS 替換前驅節點的 ws 為 SIGNAL 狀態。
如果檢查判斷是中斷狀態的話,就會返回 false。
private final boolean parkAndCheckInterrupt() { LockSupport.park(this); return Thread.interrupted(); }
1
2
3
4
這個方法使用 LockSupport.park 斷開連接,然后返回線程是否中斷的標志。
cancelAcquire() 用于取消等待隊列,如果等待過程中沒有成功獲取資源(如timeout,或者可中斷的情況下被中斷了),那么取消結點在隊列中的等待。
private void cancelAcquire(Node node) { if (node == null) return; node.thread = null; Node pred = node.prev; while (pred.waitStatus > 0) node.prev = pred = pred.prev; Node predNext = pred.next; node.waitStatus = Node.CANCELLED; if (node == tail && compareAndSetTail(node, pred)) { compareAndSetNext(pred, predNext, null); } else { int ws; if (pred != head && ((ws = pred.waitStatus) == Node.SIGNAL || (ws <= 0 && compareAndSetWaitStatus(pred, ws, Node.SIGNAL))) && pred.thread != null) { Node next = node.next; if (next != null && next.waitStatus <= 0) compareAndSetNext(pred, predNext, next); } else { unparkSuccessor(node); } node.next = node; // help GC } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
所以,對 CountDownLatch 的 await 調用大致會有如下的調用過程。
一個和 await 重載的方法是 await(long timeout, TimeUnit unit),這個方法和 await 最主要的區別就是這個方法能夠可以等待計數器一段時間再執行后續操作。
countDown 方法
countDown 是和 await 同等重要的方法,countDown 用于減少計數器的數量,如果計數減為 0 的話,就會釋放所有的線程。
public void countDown() { sync.releaseShared(1); }
1
2
3
這個方法會調用 releaseShared 方法,此方法用于共享模式下的釋放操作,首先會判斷是否能夠進行釋放,判斷的方法就是 CountDownLatch 內部類 Sync 的 tryReleaseShared 方法
public final boolean releaseShared(int arg) { if (tryReleaseShared(arg)) { doReleaseShared(); return true; } return false; } // ---- CountDownLatch ---- protected boolean tryReleaseShared(int releases) { for (;;) { int c = getState(); if (c == 0) return false; int nextc = c-1; if (compareAndSetState(c, nextc)) return nextc == 0; } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
tryReleaseShared 會進行 for 循環判斷線程狀態值,使用 CAS 不斷嘗試進行替換。
如果能夠釋放,就會調用 doReleaseShared 方法
private void doReleaseShared() { for (;;) { Node h = head; if (h != null && h != tail) { int ws = h.waitStatus; if (ws == Node.SIGNAL) { if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0)) continue; // loop to recheck cases unparkSuccessor(h); } else if (ws == 0 && !compareAndSetWaitStatus(h, 0, Node.PROPAGATE)) continue; // loop on failed CAS } if (h == head) // loop if head changed break; } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
可以看到,doReleaseShared 其實也是一個無限循環不斷使用 CAS 嘗試替換的操作。
總結
本文是 CountDownLatch 的基本使用和源碼分析,CountDownLatch 就是一個基于 AQS 的計數器,它內部的方法都是圍繞 AQS 框架來談的,除此之外還有其他比如 ReentrantLock、Semaphore 等都是 AQS 的實現,所以要研究并發的話,離不開對 AQS 的探討。CountDownLatch 的源碼看起來很少,比較簡單,但是其內部比如 await 方法的調用鏈路卻很長,也值得花費時間深入研究。
我是 cxuan,一枚技術創作的程序員。如果本文你覺得不錯的話,跪求讀者、在看、分享!
另外,我自己肝了六本 PDF,微信搜索「程序員cxuan」關注公眾號后,在后臺回復 cxuan ,領取全部 PDF,這些 PDF 如下
六本 PDF 鏈接
[外鏈圖片轉存中…(img-mIwVVwzT-1608513189190)]
await 任務調度
版權聲明:本文內容由網絡用戶投稿,版權歸原作者所有,本站不擁有其著作權,亦不承擔相應法律責任。如果您發現本站中有涉嫌抄襲或描述失實的內容,請聯系我們jiasou666@gmail.com 處理,核實后本網站將在24小時內刪除侵權內容。
版權聲明:本文內容由網絡用戶投稿,版權歸原作者所有,本站不擁有其著作權,亦不承擔相應法律責任。如果您發現本站中有涉嫌抄襲或描述失實的內容,請聯系我們jiasou666@gmail.com 處理,核實后本網站將在24小時內刪除侵權內容。