前言
接上一篇偏向鎖的十連問，繼續(xù)升級(jí)到重量級(jí)鎖的進(jìn)階版轴捎，檢驗(yàn)一下自己離精通重量級(jí)鎖還有多遠(yuǎn)鹤盒。建議在讀之前了解下Java中重量級(jí)鎖的實(shí)現(xiàn)原理。
- 重量級(jí)鎖的ObjectMonitor和JUC中的AQS有什么異同
- 為什么ObjectMonitor需要cxq和entryList兩個(gè)等待隊(duì)列
- cxq隊(duì)列中等待線程侦副，什么時(shí)候會(huì)進(jìn)到EntryList
- 等待隊(duì)列中多個(gè)線程侦锯，喚醒的順序是什么
- 偏向鎖和輕量級(jí)鎖下線程是否可以wait和notify
- cxq和waitset數(shù)據(jù)結(jié)構(gòu)有什么區(qū)別
- 被喚醒的wait線程和其它等待線程，誰會(huì)先搶到鎖
- synchronized有類似AQS的公平鎖/非公平鎖邏輯嗎
看了上面的問題秦驯，如果是胸有成竹尺碰，那就可以跳過這篇文章了。如果一臉問號(hào)译隘，這篇文章應(yīng)該對(duì)你有所幫助亲桥。
名詞解釋
首先明確下文章中用到的名詞，防止引起誤解固耘。
等待隊(duì)列两曼，互斥鎖實(shí)現(xiàn)中，當(dāng)線程搶鎖失敗時(shí)玻驻，會(huì)被放入一個(gè)隊(duì)列等待悼凑。當(dāng)別的線程釋放鎖后會(huì)喚醒隊(duì)列中的元素重新嘗試搶鎖，這個(gè)隊(duì)列一般稱為互斥等待隊(duì)列璧瞬，本文中稱為等待隊(duì)列户辫。
同步隊(duì)列，代碼中調(diào)用wait方法時(shí)嗤锉，當(dāng)前線程會(huì)放入另外一個(gè)隊(duì)列渔欢，等待其它線程notify，這個(gè)隊(duì)列一般稱為同步等待隊(duì)列瘟忱，本文中稱為同步隊(duì)列奥额。
問題解析
問題1：ObjectMonitor和AQS有什么異同
ObjectMonitor和AQS（AbstractQueuedSynchronizer）都是依據(jù)管程模型的原理開發(fā)的。所以在整體架構(gòu)上基本相同访诱，都有共享變量和等待隊(duì)列垫挨，在實(shí)現(xiàn)上又有區(qū)別。
1）共享變量触菜，ObjectMonitor中使用owner做共享變量九榔，通過CAS設(shè)置owner為當(dāng)前線程來?yè)屾i。而AQS中的共享變量是一個(gè)整形的status。因?yàn)檫@一區(qū)別哲泊，導(dǎo)致ObjectMonitor需要定義一個(gè)計(jì)數(shù)器來記錄鎖重入次數(shù)剩蟀，而AQS需要額外定義個(gè)exclusiveOwnerThread來記錄當(dāng)前持有鎖的線程。
2）等待隊(duì)列切威，ObjectMonitor等待隊(duì)列使用了兩個(gè)隊(duì)列育特，cxq和entryList，而AQS僅使用了一個(gè)等待隊(duì)列先朦。
3）條件同步缰冤，AQS支持在同一個(gè)鎖上創(chuàng)建多個(gè)條件變量，wait/notify更加靈活和精準(zhǔn)烙无。而ObjectMonitor只有一個(gè)waitset锋谐，所有線程共享一個(gè)條件變量遍尺。
4）Share模式截酷，AQS的Share模式可以使實(shí)現(xiàn)讀寫鎖更加簡(jiǎn)單。
問題2: 為什么ObjectMonitor需要cxq和entryList兩個(gè)等待隊(duì)列
ObjectMonitor中加解鎖乾戏、wait/notify都涉及對(duì)等待隊(duì)列的進(jìn)出隊(duì)操作迂苛。如果使用一個(gè)隊(duì)列沖突的概率會(huì)加大，耗費(fèi)系統(tǒng)資源鼓择。分成2個(gè)隊(duì)列后三幻，出入隊(duì)EntryList隊(duì)列只有加鎖的情況才會(huì)操作，不需要CAS和自旋呐能，減少了資源消耗念搬。
問題3：cxq隊(duì)列中等待線程，什么時(shí)候會(huì)進(jìn)到EntryList
搶鎖線程在獲取鎖失敗后摆出，默認(rèn)會(huì)進(jìn)cxq隊(duì)列朗徊。當(dāng)持有鎖的線程執(zhí)行完釋放鎖時(shí)，會(huì)將cxq中的等待節(jié)點(diǎn)放入EntryList中偎漫。就是說cxq->EntryList這一步是鎖釋放之前的由持有鎖的線程做的爷恳。
問題4：等待隊(duì)列中多個(gè)線程，喚醒的順序是什么
當(dāng)持有鎖的線程釋放鎖時(shí)象踊，會(huì)先檢查EntryList是否為空温亲，如果不為空則喚醒EntryList中第一個(gè)節(jié)點(diǎn)。否則喚醒cxq中第一個(gè)節(jié)點(diǎn)杯矩。EntryList和cxq中出入隊(duì)策略請(qǐng)看問題6栈虚。
問題5：偏向鎖和輕量級(jí)鎖下線程是否可以wait和notify
答案時(shí)是可以。原因很簡(jiǎn)單史隆，因?yàn)閣ait/notify時(shí)是需要加入或者喚醒同步隊(duì)列的节芥，只有ObjectMonitor中才有同步隊(duì)列。
問題6：cxq和waitset數(shù)據(jù)結(jié)構(gòu)有什么區(qū)別
-
cxq是一個(gè)雙向鏈表，采用先進(jìn)后出的策略头镊，就是說后入隊(duì)的線程將先獲取到互斥鎖蚣驼，結(jié)構(gòu)如下圖:
CXQ
當(dāng)前鎖被其它線程持有，t0先嘗試獲取鎖相艇，t3最后嘗試颖杏，cxq當(dāng)前的狀態(tài)如上圖。最后入隊(duì)的t3會(huì)排在第一位坛芽。當(dāng)持有鎖的線程解鎖時(shí)留储，正常從隊(duì)首出隊(duì)，所以t3首先獲得鎖咙轩。
- waiset是一個(gè)回環(huán)鏈表获讳，即尾節(jié)點(diǎn)的下一個(gè)節(jié)點(diǎn)是頭節(jié)點(diǎn)，采用先進(jìn)先出的策略活喊。結(jié)構(gòu)如下圖：
waitset
問題7：notify/notifyAll后的線程和等待隊(duì)列中線程盗尸，誰會(huì)優(yōu)先搶到鎖
使用notify和notifyAll喚醒wait線程霎肯，jvm的處理是有區(qū)別的鸣个。
1）如果是notify匣砖，喚醒的是waitset的隊(duì)首節(jié)點(diǎn)，如果這時(shí)候EntryList不為空煞烫，則放入EntryList浑此，否則放入cxq。無論是放入那個(gè)隊(duì)列滞详。因?yàn)槭莄xq后進(jìn)先出凛俱，所以被喚醒的線程比等待隊(duì)列中的線程先出隊(duì)，會(huì)先搶到鎖料饥。
2）如果是notifyAll蒲犬，會(huì)將waitset中的所有節(jié)點(diǎn)逐個(gè)放入cxq中。按照問題4中的描述稀火，如果EntryList不為空暖哨，則EntryList中首節(jié)點(diǎn)會(huì)先搶到鎖，否則waitset中原最后一個(gè)節(jié)點(diǎn)先搶到鎖凰狞，如下圖所示：
waitset
問題8：Synchronized有類似AQS的公平鎖/非公平鎖邏輯嗎
默認(rèn)情況下篇裁，線程進(jìn)入重量級(jí)鎖的搶鎖階段，第一步就會(huì)嘗試通過自旋來?yè)屾i赡若，所以默認(rèn)相當(dāng)于AQS中的非公平鎖达布。即使自旋時(shí)未搶到鎖，按照上面講的cxq出入隊(duì)邏輯逾冬，也是后進(jìn)先出黍聂，正常情況下后進(jìn)入等待隊(duì)列的線程會(huì)先搶到鎖躺苦，這一點(diǎn)也是和AQS中相反的。
hotspot中對(duì)于重量級(jí)鎖的不同使用場(chǎng)景可以調(diào)整這個(gè)公平鎖邏輯产还，但是不提供jvm啟動(dòng)參數(shù)匹厘，需要修改jvm的編譯參數(shù)來實(shí)現(xiàn)。
總結(jié)
JVM中的Synchronized重量級(jí)鎖邏輯和JDK中的AQS都是依據(jù)管程模型的理論來設(shè)計(jì)的脐区，所以有諸多的相似之處愈诚。建議感興趣的讀者可以了解下管程模型，對(duì)于理解互斥鎖會(huì)有很大幫助的牛隅。
