摘要:二什么是同步隊列同步隊列一個雙向隊列,隊列中每個節(jié)點(diǎn)等待前驅(qū)節(jié)點(diǎn)釋放共享狀態(tài)鎖被喚醒就可以了。三入列操作如上圖了解了同步隊列的結(jié)構(gòu),我們在分析其入列操作在簡單不過。
一、寫在前面
在上篇我們聊到AQS的原理,具體參見《J.U.C|AQS原理》。
這篇我們來給大家聊聊AQS中核心同步隊列(CLH)。
二、什么是同步隊列(CLH)同步隊列
一個FIFO雙向隊列,隊列中每個節(jié)點(diǎn)等待前驅(qū)節(jié)點(diǎn)釋放共享狀態(tài)(鎖)被喚醒就可以了。
AQS如何使用它?
AQS依賴它來完成同步狀態(tài)的管理,當(dāng)前線程如果獲取同步狀態(tài)失敗時,AQS則會將當(dāng)前線程已經(jīng)等待狀態(tài)等信息構(gòu)造成一個節(jié)點(diǎn)(Node)并將其加入到CLH同步隊列,同時會阻塞當(dāng)前線程,當(dāng)同步狀態(tài)釋放時,會把首節(jié)點(diǎn)喚醒(公平鎖),使其再次嘗試獲取同步狀態(tài)。
Node節(jié)點(diǎn)面貌?
static final class Node { // 節(jié)點(diǎn)分為兩種模式: 共享式和獨(dú)占式 /** 共享式 */ static final Node SHARED = new Node(); /** 獨(dú)占式 */ static final Node EXCLUSIVE = null; /** 等待線程超時或者被中斷、需要從同步隊列中取消等待(也就是放棄資源的競爭),此狀態(tài)不會在改變 */ static final int CANCELLED = 1; /** 后繼節(jié)點(diǎn)會處于等待狀態(tài),當(dāng)前節(jié)點(diǎn)線程如果釋放同步狀態(tài)或者被取消則會通知后繼節(jié)點(diǎn)線程,使后繼節(jié)點(diǎn)線程的得以運(yùn)行 */ static final int SIGNAL = -1; /** 節(jié)點(diǎn)在等待隊列中,線程在等待在Condition 上,其他線程對Condition調(diào)用singnal()方法后,該節(jié)點(diǎn)加入到同步隊列中。 */ static final int CONDITION = -2; /** * 表示下一次共享式獲取同步狀態(tài)的時會被無條件的傳播下去。 */ static final int PROPAGATE = -3; /**等待狀態(tài)*/ volatile int waitStatus; /**前驅(qū)節(jié)點(diǎn) */ volatile Node prev; /**后繼節(jié)點(diǎn)*/ volatile Node next; /**獲取同步狀態(tài)的線程 */ volatile Thread thread; /**鏈接下一個等待狀態(tài) */ Node nextWaiter; // 下面一些方法就不貼了 }
CLH同步隊列的結(jié)構(gòu)圖
這里是基于CAS(保證線程的安全)來設(shè)置尾節(jié)點(diǎn)的。
如上圖了解了同步隊列的結(jié)構(gòu), 我們在分析其入列操作在簡單不過。無非就是將tail(使用CAS保證原子操作)指向新節(jié)點(diǎn),新節(jié)點(diǎn)的prev指向隊列中最后一節(jié)點(diǎn)(舊的tail節(jié)點(diǎn)),原隊列中最后一節(jié)點(diǎn)的next節(jié)點(diǎn)指向新節(jié)點(diǎn)以此來建立聯(lián)系,來張圖幫助大家理解。
源碼
源碼我們可以通過AQS中的以下兩個方法來了解下
addWaiter方法
private Node addWaiter(Node mode) { // 以給定的模式來構(gòu)建節(jié)點(diǎn), mode有兩種模式 // 共享式SHARED, 獨(dú)占式EXCLUSIVE; Node node = new Node(Thread.currentThread(), mode); // 嘗試快速將該節(jié)點(diǎn)加入到隊列的尾部 Node pred = tail; if (pred != null) { node.prev = pred; if (compareAndSetTail(pred, node)) { pred.next = node; return node; } } // 如果快速加入失敗,則通過 anq方式入列 enq(node); return node; }
先通過addWaiter(Node node)方法嘗試快速將該節(jié)點(diǎn)設(shè)置尾成尾節(jié)點(diǎn),設(shè)置失敗走enq(final Node node)方法
enq
private Node enq(final Node node) { // CAS自旋,直到加入隊尾成功 for (;;) { Node t = tail; if (t == null) { // 如果隊列為空,則必須先初始化CLH隊列,新建一個空節(jié)點(diǎn)標(biāo)識作為Hader節(jié)點(diǎn),并將tail 指向它 if (compareAndSetHead(new Node())) tail = head; } else {// 正常流程,加入隊列尾部 node.prev = t; if (compareAndSetTail(t, node)) { t.next = node; return t; } } } }
通過“自旋”也就是死循環(huán)的方式來保證該節(jié)點(diǎn)能順利的加入到隊列尾部,只有加入成功才會退出循環(huán),否則會一直循序直到成功。
上述兩個方法都是通過compareAndSetHead(new Node())方法來設(shè)置尾節(jié)點(diǎn),以保證節(jié)點(diǎn)的添加的原子性(保證節(jié)點(diǎn)的添加的線程安全。)
四、出列操作同步隊列(CLH)遵循FIFO,首節(jié)點(diǎn)是獲取同步狀態(tài)的節(jié)點(diǎn),首節(jié)點(diǎn)的線程釋放同步狀態(tài)后,將會喚醒它的后繼節(jié)點(diǎn)(next),而后繼節(jié)點(diǎn)將會在獲取同步狀態(tài)成功時將自己設(shè)置為首節(jié)點(diǎn),這個過程非常簡單。如下圖
設(shè)置首節(jié)點(diǎn)是通過獲取同步狀態(tài)成功的線程來完成的(獲取同步狀態(tài)是通過CAS來完成),只能有一個線程能夠獲取到同步狀態(tài),因此設(shè)置頭節(jié)點(diǎn)的操作并不需要CAS來保證,只需要將首節(jié)點(diǎn)設(shè)置為其原首節(jié)點(diǎn)的后繼節(jié)點(diǎn)并斷開原首節(jié)點(diǎn)的next(等待GC回收)應(yīng)用即可。
五、總結(jié)聊完后我們來總一下,同步隊列就是一個FIFO雙向?qū)﹃犃?,其每個節(jié)點(diǎn)包含獲取同步狀態(tài)失敗的線程應(yīng)用、等待狀態(tài)、前驅(qū)節(jié)點(diǎn)、后繼節(jié)點(diǎn)、節(jié)點(diǎn)的屬性類型以及名稱描述。
其入列操作也就是利用CAS(保證線程安全)來設(shè)置尾節(jié)點(diǎn),出列就很簡單了直接將head指向新頭節(jié)點(diǎn)并斷開老頭節(jié)點(diǎn)聯(lián)系就可以了。
文章版權(quán)歸作者所有,未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址:http://systransis.cn/yun/74241.html
摘要:造成當(dāng)前線程在接到信號被中斷或到達(dá)指定最后期限之前一直處于等待狀態(tài)。該線程從等待方法返回前必須獲得與相關(guān)的鎖。如果線程已經(jīng)獲取了鎖,則將喚醒條件隊列的首節(jié)點(diǎn)。 一、寫在前面 在前幾篇我們聊了 AQS、CLH、ReentrantLock、ReentrantReadWriteLock等的原理以及其源碼解讀,具體參見專欄 《非學(xué)無以廣才》 這章我們一起聊聊顯示的Condition 對象。 ...
摘要:本章我們主要聊獨(dú)占式即同一時刻只能有一個線程獲取同步狀態(tài),其它獲取同步狀態(tài)失敗的線程則會加入到同步隊列中進(jìn)行等待。到這獨(dú)占式獲取同步和釋放同步狀態(tài)的源碼已經(jīng)分析完了。 一、寫在前面 上篇文章通過ReentrantLock 的加鎖和釋放鎖過程給大家聊了聊AQS架構(gòu)以及實現(xiàn)原理,具體參見《J.U.C|AQS的原理》。 理解了原理,我們在來看看再來一步一步的聊聊其源碼是如何實現(xiàn)的。 本章給...
摘要:接著線程過來通過方式獲取鎖,獲取鎖的過程就是通過操作變量將其值從變?yōu)?。線程加鎖成功后還有一步重要的操作,就是將設(shè)置成為自己。線程屁顛屁顛的就去等待區(qū)小憩一會去了。 一、寫在前面 這篇文章,我們聊一聊Java并發(fā)中的核武器, AQS底層實現(xiàn)。 不管是工作三四年、還是五六年的在工作或者面試中涉及到并發(fā)的是時候總是繞不過AQS這個詞。 首先,確實還有很多人連AQS是什么都不知道,甚至有的竟...
摘要:二什么是重入鎖可重入鎖,顧名思義,支持重新進(jìn)入的鎖,其表示該鎖能支持一個線程對資源的重復(fù)加鎖。將由最近成功獲得鎖,并且還沒有釋放該鎖的線程所擁有??梢允褂煤头椒▉頇z查此情況是否發(fā)生。 一、寫在前面 前幾篇我們具體的聊了AQS原理以及底層源碼的實現(xiàn),具體參見 《J.U.C|一文搞懂AQS》《J.U.C|同步隊列(CLH)》《J.U.C|AQS獨(dú)占式源碼分析》《J.U.C|AQS共享式源...
摘要:在時,引入了包,該包中的大多數(shù)同步器都是基于來構(gòu)建的??蚣芴峁┝艘惶淄ㄓ玫臋C(jī)制來管理同步狀態(tài)阻塞喚醒線程管理等待隊列。指針用于在結(jié)點(diǎn)線程被取消時,讓當(dāng)前結(jié)點(diǎn)的前驅(qū)直接指向當(dāng)前結(jié)點(diǎn)的后驅(qū)完成出隊動作。 showImg(https://segmentfault.com/img/remote/1460000016012438); 本文首發(fā)于一世流云的專欄:https://segmentfau...
閱讀 2919·2021-11-15 18:02
閱讀 3814·2021-10-14 09:43
閱讀 3753·2021-09-08 10:41
閱讀 2529·2019-08-30 15:53
閱讀 1812·2019-08-30 14:14
閱讀 1958·2019-08-29 16:12
閱讀 3153·2019-08-29 14:03
閱讀 1286·2019-08-29 13:46