ReentrantLock源碼詳解--條件鎖
問題
(1)條件鎖是什么?
(2)條件鎖適用于什么場景?
(3)條件鎖的await()是在其它線程signal()的時候喚醒的嗎?
簡介
條件鎖,是指在獲取鎖之后發(fā)現(xiàn)當(dāng)前業(yè)務(wù)場景自己無法處理,而需要等待某個條件的出現(xiàn)才可以繼續(xù)處理時使用的一種鎖。
比如,在阻塞隊列中,當(dāng)隊列中沒有元素的時候是無法彈出一個元素的,這時候就需要阻塞在條件notEmpty上,等待其它線程往里面放入一個元素后,喚醒這個條件notEmpty,當(dāng)前線程才可以繼續(xù)去做“彈出一個元素”的行為。
注意,這里的條件,必須是在獲取鎖之后去等待,對應(yīng)到ReentrantLock的條件鎖,就是獲取鎖之后才能調(diào)用condition.await()方法。
在java中,條件鎖的實現(xiàn)都在AQS的ConditionObject類中,ConditionObject實現(xiàn)了Condition接口,下面我們通過一個例子來進入到條件鎖的學(xué)習(xí)中。
使用示例
public class ReentrantLockTest { public static void main(String[] args) throws InterruptedException { // 聲明一個重入鎖 ReentrantLock lock = new ReentrantLock(); // 聲明一個條件鎖 Condition condition = lock.newCondition(); new Thread(()->{ try { lock.lock(); // 1 try { System.out.println("before await"); // 2 // 等待條件 condition.await(); // 3 System.out.println("after await"); // 10 } finally { lock.unlock(); // 11 } } catch (InterruptedException e) { e.printStackTrace(); } }).start(); // 這里睡1000ms是為了讓上面的線程先獲取到鎖 Thread.sleep(1000); lock.lock(); // 4 try { // 這里睡2000ms代表這個線程執(zhí)行業(yè)務(wù)需要的時間 Thread.sleep(2000); // 5 System.out.println("before signal"); // 6 // 通知條件已成立 condition.signal(); // 7 System.out.println("after signal"); // 8 } finally { lock.unlock(); // 9 } } }
上面的代碼很簡單,一個線程等待條件,另一個線程通知條件已成立,后面的數(shù)字代表代碼實際運行的順序,如果你能把這個順序看懂基本條件鎖掌握得差不多了。
源碼分析
ConditionObject的主要屬性
public class ConditionObject implements Condition, java.io.Serializable { /** First node of condition queue. */ private transient Node firstWaiter; /** Last node of condition queue. */ private transient Node lastWaiter; }
可以看到條件鎖中也維護了一個隊列,為了和AQS的隊列區(qū)分,我這里稱為條件隊列,firstWaiter是隊列的頭節(jié)點,lastWaiter是隊列的尾節(jié)點,它們是干什么的呢?接著看。
lock.newCondition()方法
新建一個條件鎖。
// ReentrantLock.newCondition() public Condition newCondition() { return sync.newCondition(); } // ReentrantLock.Sync.newCondition() final ConditionObject newCondition() { return new ConditionObject(); } // AbstractQueuedSynchronizer.ConditionObject.ConditionObject() public ConditionObject() { }
新建一個條件鎖最后就是調(diào)用的AQS中的ConditionObject類來實例化條件鎖。
condition.await()方法
condition.await()方法,表明現(xiàn)在要等待條件的出現(xiàn)。
// AbstractQueuedSynchronizer.ConditionObject.await() public final void await() throws InterruptedException { // 如果線程中斷了,拋出異常 if (Thread.interrupted()) throw new InterruptedException(); // 添加節(jié)點到Condition的隊列中,并返回該節(jié)點 Node node = addConditionWaiter(); // 完全釋放當(dāng)前線程獲取的鎖 // 因為鎖是可重入的,所以這里要把獲取的鎖全部釋放 int savedState = fullyRelease(node); int interruptMode = 0; // 是否在同步隊列中 while (!isOnSyncQueue(node)) { // 阻塞當(dāng)前線程 LockSupport.park(this); // 上面部分是調(diào)用await()時釋放自己占有的鎖,并阻塞自己等待條件的出現(xiàn) // *************************分界線************************* // // 下面部分是條件已經(jīng)出現(xiàn),嘗試去獲取鎖 if ((interruptMode = checkInterruptWhileWaiting(node)) != 0) break; } // 嘗試獲取鎖,注意第二個參數(shù),這是上一章分析過的方法 // 如果沒獲取到會再次阻塞(這個方法這里就不貼出來了,有興趣的翻翻上一章的內(nèi)容) if (acquireQueued(node, savedState) && interruptMode != THROW_IE) interruptMode = REINTERRUPT; // 清除取消的節(jié)點 if (node.nextWaiter != null) // clean up if cancelled unlinkCancelledWaiters(); // 線程中斷相關(guān) if (interruptMode != 0) reportInterruptAfterWait(interruptMode); } // AbstractQueuedSynchronizer.ConditionObject.addConditionWaiter private Node addConditionWaiter() { Node t = lastWaiter; // 如果條件隊列的尾節(jié)點已取消,從頭節(jié)點開始清除所有已取消的節(jié)點 if (t != null && t.waitStatus != Node.CONDITION) { unlinkCancelledWaiters(); // 重新獲取尾節(jié)點 t = lastWaiter; } // 新建一個節(jié)點,它的等待狀態(tài)是CONDITION Node node = new Node(Thread.currentThread(), Node.CONDITION); // 如果尾節(jié)點為空,則把新節(jié)點賦值給頭節(jié)點(相當(dāng)于初始化隊列) // 否則把新節(jié)點賦值給尾節(jié)點的nextWaiter指針 if (t == null) firstWaiter = node; else t.nextWaiter = node; // 尾節(jié)點指向新節(jié)點 lastWaiter = node; // 返回新節(jié)點 return node; } // AbstractQueuedSynchronizer.fullyRelease final int fullyRelease(Node node) { boolean failed = true; try { // 獲取狀態(tài)變量的值,重復(fù)獲取鎖,這個值會一直累加 // 所以這個值也代表著獲取鎖的次數(shù) int savedState = getState(); // 一次性釋放所有獲得的鎖 if (release(savedState)) { failed = false; // 返回獲取鎖的次數(shù) return savedState; } else { throw new IllegalMonitorStateException(); } } finally { if (failed) node.waitStatus = Node.CANCELLED; } } // AbstractQueuedSynchronizer.isOnSyncQueue final boolean isOnSyncQueue(Node node) { // 如果等待狀態(tài)是CONDITION,或者前一個指針為空,返回false // 說明還沒有移到AQS的隊列中 if (node.waitStatus == Node.CONDITION || node.prev == null) return false; // 如果next指針有值,說明已經(jīng)移到AQS的隊列中了 if (node.next != null) // If has successor, it must be on queue return true; // 從AQS的尾節(jié)點開始往前尋找看是否可以找到當(dāng)前節(jié)點,找到了也說明已經(jīng)在AQS的隊列中了 return findNodeFromTail(node); }
這里有幾個難理解的點:
(1)Condition的隊列和AQS的隊列不完全一樣;
AQS的隊列頭節(jié)點是不存在任何值的,是一個虛節(jié)點;
Condition的隊列頭節(jié)點是存儲著實實在在的元素值的,是真實節(jié)點。
(2)各種等待狀態(tài)(waitStatus)的變化;
首先,在條件隊列中,新建節(jié)點的初始等待狀態(tài)是CONDITION(-2);
其次,移到AQS的隊列中時等待狀態(tài)會更改為0(AQS隊列節(jié)點的初始等待狀態(tài)為0);
然后,在AQS的隊列中如果需要阻塞,會把它上一個節(jié)點的等待狀態(tài)設(shè)置為SIGNAL(-1);
最后,不管在Condition隊列還是AQS隊列中,已取消的節(jié)點的等待狀態(tài)都會設(shè)置為CANCELLED(1);
另外,后面我們在共享鎖的時候還會講到另外一種等待狀態(tài)叫PROPAGATE(-3)。
(3)相似的名稱;
AQS中下一個節(jié)點是next,上一個節(jié)點是prev;
Condition中下一個節(jié)點是nextWaiter,沒有上一個節(jié)點。
如果弄明白了這幾個點,看懂上面的代碼還是輕松加愉快的,如果沒弄明白,彤哥這里指出來了,希望您回頭再看看上面的代碼。
下面總結(jié)一下await()方法的大致流程:
(1)新建一個節(jié)點加入到條件隊列中去;
(2)完全釋放當(dāng)前線程占有的鎖;
(3)阻塞當(dāng)前線程,并等待條件的出現(xiàn);
(4)條件已出現(xiàn)(此時節(jié)點已經(jīng)移到AQS的隊列中),嘗試獲取鎖;
也就是說await()方法內(nèi)部其實是先釋放鎖->等待條件->再次獲取鎖的過程。
condition.signal()方法
condition.signal()方法通知條件已經(jīng)出現(xiàn)。
// AbstractQueuedSynchronizer.ConditionObject.signal public final void signal() { // 如果不是當(dāng)前線程占有著鎖,調(diào)用這個方法拋出異常 // 說明signal()也要在獲取鎖之后執(zhí)行 if (!isHeldExclusively()) throw new IllegalMonitorStateException(); // 條件隊列的頭節(jié)點 Node first = firstWaiter; // 如果有等待條件的節(jié)點,則通知它條件已成立 if (first != null) doSignal(first); } // AbstractQueuedSynchronizer.ConditionObject.doSignal private void doSignal(Node first) { do { // 移到條件隊列的頭節(jié)點往后一位 if ( (firstWaiter = first.nextWaiter) == null) lastWaiter = null; // 相當(dāng)于把頭節(jié)點從隊列中出隊 first.nextWaiter = null; // 轉(zhuǎn)移節(jié)點到AQS隊列中 } while (!transferForSignal(first) && (first = firstWaiter) != null); } // AbstractQueuedSynchronizer.transferForSignal final boolean transferForSignal(Node node) { // 把節(jié)點的狀態(tài)更改為0,也就是說即將移到AQS隊列中 // 如果失敗了,說明節(jié)點已經(jīng)被改成取消狀態(tài)了 // 返回false,通過上面的循環(huán)可知會尋找下一個可用節(jié)點 if (!compareAndSetWaitStatus(node, Node.CONDITION, 0)) return false; // 調(diào)用AQS的入隊方法把節(jié)點移到AQS的隊列中 // 注意,這里enq()的返回值是node的上一個節(jié)點,也就是舊尾節(jié)點 Node p = enq(node); // 上一個節(jié)點的等待狀態(tài) int ws = p.waitStatus; // 如果上一個節(jié)點已取消了,或者更新狀態(tài)為SIGNAL失?。ㄒ彩钦f明上一個節(jié)點已經(jīng)取消了) // 則直接喚醒當(dāng)前節(jié)點對應(yīng)的線程 if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL)) LockSupport.unpark(node.thread); // 如果更新上一個節(jié)點的等待狀態(tài)為SIGNAL成功了 // 則返回true,這時上面的循環(huán)不成立了,退出循環(huán),也就是只通知了一個節(jié)點 // 此時當(dāng)前節(jié)點還是阻塞狀態(tài) // 也就是說調(diào)用signal()的時候并不會真正喚醒一個節(jié)點 // 只是把節(jié)點從條件隊列移到AQS隊列中 return true; }
signal()方法的大致流程為:
(1)從條件隊列的頭節(jié)點開始尋找一個非取消狀態(tài)的節(jié)點;
(2)把它從條件隊列移到AQS隊列;
(3)且只移動一個節(jié)點;
注意,這里調(diào)用signal()方法后并不會真正喚醒一個節(jié)點,那么,喚醒一個節(jié)點是在啥時候呢?
還記得開頭例子嗎?倒回去再好好看看,signal()方法后,最終會執(zhí)行l(wèi)ock.unlock()方法,此時才會真正喚醒一個節(jié)點,喚醒的這個節(jié)點如果曾經(jīng)是條件節(jié)點的話又會繼續(xù)執(zhí)行await()方法“分界線”下面的代碼。
結(jié)束了,仔細(xì)體會下^^
如果非要用一個圖來表示的話,我想下面這個圖可以大致表示一下(這里是用時序圖畫的,但是實際并不能算作一個真正的時序圖哈,了解就好):
總結(jié)
(1)重入鎖是指可重復(fù)獲取的鎖,即一個線程獲取鎖之后再嘗試獲取鎖時會自動獲取鎖;
(2)在ReentrantLock中重入鎖是通過不斷累加state變量的值實現(xiàn)的;
(3)ReentrantLock的釋放要跟獲取匹配,即獲取了幾次也要釋放幾次;
(4)ReentrantLock默認(rèn)是非公平模式,因為非公平模式效率更高;
(5)條件鎖是指為了等待某個條件出現(xiàn)而使用的一種鎖;
(6)條件鎖比較經(jīng)典的使用場景就是隊列為空時阻塞在條件notEmpty上;
(7)ReentrantLock中的條件鎖是通過AQS的ConditionObject內(nèi)部類實現(xiàn)的;
(8)await()和signal()方法都必須在獲取鎖之后釋放鎖之前使用;
(9)await()方法會新建一個節(jié)點放到條件隊列中,接著完全釋放鎖,然后阻塞當(dāng)前線程并等待條件的出現(xiàn);
(10)signal()方法會尋找條件隊列中第一個可用節(jié)點移到AQS隊列中;
(11)在調(diào)用signal()方法的線程調(diào)用unlock()方法才真正喚醒阻塞在條件上的節(jié)點(此時節(jié)點已經(jīng)在AQS隊列中);
(12)之后該節(jié)點會再次嘗試獲取鎖,后面的邏輯與lock()的邏輯基本一致了。
彩蛋
為什么java有自帶的關(guān)鍵字synchronized了還需要實現(xiàn)一個ReentrantLock呢?
首先,它們都是可重入鎖;
其次,它們都默認(rèn)是非公平模式;
以上就是本文的全部內(nèi)容,希望對大家的學(xué)習(xí)有所幫助,也希望大家多多支持腳本之家。
相關(guān)文章
基于線程的wait和notify使用,生產(chǎn)消費案例
這篇文章主要介紹了基于線程的wait和notify使用,生產(chǎn)消費案例,具有很好的參考價值,希望對大家有所幫助。如有錯誤或未考慮完全的地方,望不吝賜教2021-08-08詳解IDEA使用Maven項目不能加入本地Jar包的解決方法
這篇文章主要介紹了詳解IDEA使用Maven項目不能加入本地Jar包的解決方法,文中通過示例代碼介紹的非常詳細(xì),對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-08-08PowerJob的ProcessorLoader工作流程源碼解讀
這篇文章主要為大家介紹了PowerJob的ProcessorLoader工作流程源碼解讀,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進步,早日升職加薪2023-12-12Java數(shù)據(jù)庫連接池之proxool_動力節(jié)點Java學(xué)院整理
Proxool是一種Java數(shù)據(jù)庫連接池技術(shù)。方便易用,便于發(fā)現(xiàn)連接泄漏的情況2017-08-08Springboot整合quartz產(chǎn)生錯誤及解決方案
這篇文章主要介紹了Springboot整合quartz產(chǎn)生錯誤及解決方案,文中通過示例代碼介紹的非常詳細(xì),對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友可以參考下2020-06-06