在并發(fā)編程面試中，“鎖”是繞不開(kāi)的核心話題，而自旋鎖作為輕量級(jí)鎖的代表，其優(yōu)化方案更是高頻考點(diǎn)。其中，MCS鎖（以發(fā)明者John Mellor-Crummey和Michael Scott命名）作為排隊(duì)自旋鎖的經(jīng)典實(shí)現(xiàn)，完美解決了傳統(tǒng)自旋鎖“CPU資源浪費(fèi)”“緩存風(fēng)暴”等痛點(diǎn)，成為面試官評(píng)估候選人并發(fā)底層能力的重要標(biāo)尺。今天，我們就從面試視角拆解MCS鎖的實(shí)現(xiàn)邏輯，幫你輕松應(yīng)對(duì)相關(guān)提問(wèn)。

一、先搞懂：為什么需要MCS鎖？

在講MCS鎖之前，我們得先明確“傳統(tǒng)自旋鎖的問(wèn)題”——這是面試中回答“MCS鎖設(shè)計(jì)初衷”的關(guān)鍵切入點(diǎn)。

傳統(tǒng)自旋鎖（如基于CAS的Test-and-Set鎖）的核心問(wèn)題的是“盲等”：當(dāng)多個(gè)線程競(jìng)爭(zhēng)鎖時(shí)，所有線程都會(huì)自旋等待同一個(gè)共享變量（如“鎖狀態(tài)標(biāo)記”），哪怕鎖已經(jīng)被釋放，也可能有大量線程無(wú)效自旋；更嚴(yán)重的是，多個(gè)線程頻繁讀取同一個(gè)變量會(huì)引發(fā)“緩存一致性風(fēng)暴”（多個(gè)CPU核心緩存同步該變量，導(dǎo)致性能損耗）。

而MCS鎖的核心思想是“排隊(duì)自旋”：讓競(jìng)爭(zhēng)鎖的線程按順序排成一個(gè)單向鏈表，每個(gè)線程只自旋等待“前一個(gè)線程釋放鎖的信號(hào)”，避免對(duì)同一個(gè)共享變量的集中競(jìng)爭(zhēng)。這種設(shè)計(jì)既減少了無(wú)效自旋，又消除了緩存風(fēng)暴，是高并發(fā)場(chǎng)景下的最優(yōu)自旋鎖方案之一。

二、MCS鎖的核心設(shè)計(jì)：數(shù)據(jù)結(jié)構(gòu)+ 3個(gè)關(guān)鍵操作

面試中，“MCS鎖的實(shí)現(xiàn)”通常需要你講清數(shù)據(jù)結(jié)構(gòu)定義和**“加鎖、解鎖、自旋”三個(gè)核心流程**。我們以Java為例（C/C++實(shí)現(xiàn)邏輯類似，只是語(yǔ)法差異），一步步拆解。

1.核心數(shù)據(jù)結(jié)構(gòu)：線程節(jié)點(diǎn)（Node）與鎖狀態(tài)

MCS鎖的核心是“用鏈表記錄等待線程”，每個(gè)線程對(duì)應(yīng)一個(gè)Node節(jié)點(diǎn)，節(jié)點(diǎn)中需包含兩個(gè)關(guān)鍵信息：

?isLocked：標(biāo)記當(dāng)前線程是否持有鎖（或是否需要自旋）；

?next：指向鏈表中的下一個(gè)等待線程（形成排隊(duì)順序）。

同時(shí)，鎖本身需要一個(gè)共享的“尾指針”（tail），用于將新競(jìng)爭(zhēng)鎖的線程追加到鏈表尾部，這個(gè)尾指針通過(guò)CAS操作保證原子性。

Java中的簡(jiǎn)化定義如下（面試時(shí)寫(xiě)出這個(gè)結(jié)構(gòu)，基本就成功了一半）：

// 1. 線程節(jié)點(diǎn)類：記錄當(dāng)前線程的鎖狀態(tài)和下一個(gè)等待線程classNode{// 標(biāo)記是否需要自旋：true=需要等待，false=可獲取鎖volatilebooleanisLocked=true;// 指向鏈表中的下一個(gè)節(jié)點(diǎn)（下一個(gè)等待線程）volatileNodenext=null;}// 2. MCS鎖類：核心是共享的尾指針tailpublicclassMCSLock{// 共享尾指針：指向鏈表最后一個(gè)節(jié)點(diǎn)，初始為nullprivatevolatileNodetail=null;// 每個(gè)線程獨(dú)有的節(jié)點(diǎn)（避免線程安全問(wèn)題，用ThreadLocal存儲(chǔ)）privateThreadLocal currentNode = ThreadLocal.withInitial(Node::new);}

這里有個(gè)面試高頻細(xì)節(jié)：為什么用ThreadLocal存儲(chǔ)當(dāng)前線程的Node？

答：因?yàn)槊總€(gè)線程只能操作自己的Node節(jié)點(diǎn)（修改isLocked）和前一個(gè)線程的Node節(jié)點(diǎn)（設(shè)置next），用ThreadLocal可以避免多個(gè)線程競(jìng)爭(zhēng)同一個(gè)Node，同時(shí)保證每個(gè)線程對(duì)應(yīng)唯一節(jié)點(diǎn)。

2.加鎖流程（lock ()）：排隊(duì)入隊(duì)，確定等待對(duì)象

加鎖的核心是“將當(dāng)前線程追加到鏈表尾部，并找到前一個(gè)線程”，具體分4步（面試時(shí)建議結(jié)合步驟+代碼+流程圖講解）：

加鎖流程流程圖

步驟1：獲取當(dāng)前線程的Node節(jié)點(diǎn)

通過(guò)ThreadLocal拿到當(dāng)前線程獨(dú)有的Node，確保線程安全。

步驟2：CAS嘗試將當(dāng)前節(jié)點(diǎn)設(shè)為新的tail

用CAS操作（compareAndSet）將tail從“舊值”更新為“當(dāng)前節(jié)點(diǎn)”：

?如果CAS成功：說(shuō)明當(dāng)前線程是第一個(gè)競(jìng)爭(zhēng)鎖的線程（鏈表為空），直接獲取鎖，無(wú)需自旋；

?如果CAS失?。赫f(shuō)明已有其他線程在排隊(duì)，當(dāng)前線程需要加入鏈表尾部。

步驟3：找到前一個(gè)線程的Node（prev）

CAS失敗后，舊的tail就是“前一個(gè)線程的節(jié)點(diǎn)（prev）”，需要將prev的next指向當(dāng)前節(jié)點(diǎn)（把當(dāng)前線程接入鏈表）。

步驟4：自旋等待前一個(gè)線程釋放鎖

當(dāng)前線程自旋等待prev.isLocked變?yōu)?/span>false（前一個(gè)線程釋放鎖的信號(hào)），直到條件滿足后，才能獲取鎖。

加鎖的Java實(shí)現(xiàn)代碼如下（面試時(shí)寫(xiě)出關(guān)鍵邏輯即可）：

publicvoidlock(){// 步驟1：獲取當(dāng)前線程的Node節(jié)點(diǎn)NodecurrNode=currentNode.get();// 步驟2：CAS嘗試將當(dāng)前節(jié)點(diǎn)設(shè)為新tail（入隊(duì)）NodeprevNode=CASUpdateTail(null, currNode) ?null: tail;// 步驟3：如果有前一個(gè)線程（prevNode不為null），則將當(dāng)前節(jié)點(diǎn)接入鏈表if(prevNode !=null) {  // 將前一個(gè)節(jié)點(diǎn)的next指向當(dāng)前節(jié)點(diǎn)（當(dāng)前線程排隊(duì)到prev后面）   prevNode.next = currNode;  // 步驟4：自旋等待前一個(gè)線程釋放鎖（直到prev.isLocked為false）  while(currNode.isLocked) {    // 自旋：可加Thread.yield()減少CPU占用（面試可提優(yōu)化點(diǎn)）     Thread.yield();   } }// 如果prevNode為null（CAS成功），直接獲取鎖，無(wú)需自旋}// 輔助方法：CAS更新tail指針（簡(jiǎn)化版，實(shí)際需用Unsafe類或AtomicReference）privatebooleanCASUpdateTail(Node expect, Node update){if(tail == expect) {   tail = update;  returntrue; }returnfalse;}

3.解鎖流程（unlock ()）：?jiǎn)拘严乱粋€(gè)線程，出隊(duì)

解鎖的核心是“找到下一個(gè)等待線程，通知它可以獲取鎖”，避免鏈表中后續(xù)線程一直自旋，具體分3步（面試時(shí)建議結(jié)合步驟+代碼+流程圖講解）：

解鎖流程流程圖

步驟1：獲取當(dāng)前線程的Node節(jié)點(diǎn)

同樣通過(guò)ThreadLocal獲取，當(dāng)前節(jié)點(diǎn)持有鎖，解鎖時(shí)需操作它。

步驟2：檢查是否有下一個(gè)等待線程（next）

?如果next == null：說(shuō)明當(dāng)前線程是鏈表最后一個(gè)節(jié)點(diǎn)，需要嘗試將tail設(shè)為null（避免后續(xù)線程入隊(duì)時(shí)找不到prev）；

?如果next != null：說(shuō)明有線程在排隊(duì)，需要將next.isLocked設(shè)為false（通知下一個(gè)線程可以獲取鎖）。

步驟3：清理當(dāng)前線程的Node（可選）

避免ThreadLocal內(nèi)存泄漏，可在解鎖后移除當(dāng)前節(jié)點(diǎn)。

解鎖的Java實(shí)現(xiàn)代碼如下：

publicvoidunlock(){// 步驟1：獲取當(dāng)前線程的Node節(jié)點(diǎn) Node currNode = currentNode.get();// 步驟2：檢查是否有下一個(gè)等待線程if(currNode.next ==null) {  // 情況1：沒(méi)有下一個(gè)線程，嘗試將tail設(shè)為null  if(CASUpdateTail(currNode,null)) {    // CAS成功：直接返回（鏈表已空）    return;   }  // CAS失敗：說(shuō)明有新線程正在入隊(duì)，需要等待它設(shè)置next  while(currNode.next ==null) {     Thread.yield();   } }// 情況2：有下一個(gè)線程，通知它可以獲取鎖（設(shè)置next.isLocked為false） currNode.next.isLocked =false;// 步驟3：清理當(dāng)前節(jié)點(diǎn)（避免ThreadLocal內(nèi)存泄漏） currNode.next =null; currentNode.remove();}

這里有個(gè)面試易錯(cuò)點(diǎn)：為什么CAS更新tail失敗后要循環(huán)等待next？

答：因?yàn)楫?dāng)當(dāng)前線程（最后一個(gè)節(jié)點(diǎn)）解鎖時(shí)，可能有新線程正在執(zhí)行lock()的步驟3（設(shè)置prev.next = currNode），此時(shí)currNode.next還未被賦值，直接解鎖會(huì)導(dǎo)致新線程永遠(yuǎn)自旋。因此需要循環(huán)等待，直到新線程的next設(shè)置完成，再通知它獲取鎖。

三、面試高頻問(wèn)題：MCS鎖的優(yōu)勢(shì)與考點(diǎn)

掌握了實(shí)現(xiàn)邏輯后，還需要能回答“MCS鎖的核心優(yōu)勢(shì)”“與其他鎖的區(qū)別”等問(wèn)題，這些是面試中的加分項(xiàng)。

1. MCS鎖的核心優(yōu)勢(shì)（必答）

?無(wú)緩存風(fēng)暴：每個(gè)線程只自旋等待“前一個(gè)節(jié)點(diǎn)的isLocked”，而不是同一個(gè)共享變量，減少CPU緩存同步開(kāi)銷；

?公平性：線程按入隊(duì)順序獲取鎖，避免“饑餓”（傳統(tǒng)自旋鎖可能導(dǎo)致線程一直搶不到鎖）；

?低無(wú)效自旋：只有前一個(gè)線程釋放鎖時(shí)，下一個(gè)線程才會(huì)停止自旋，減少無(wú)效CPU占用。

2. MCS鎖與CLH鎖的區(qū)別（高頻對(duì)比題）

CLH鎖（另一種排隊(duì)自旋鎖）與MCS鎖原理類似，但有一個(gè)關(guān)鍵差異：

?自旋對(duì)象不同：MCS鎖自旋“當(dāng)前節(jié)點(diǎn)的isLocked”，CLH鎖自旋“前一個(gè)節(jié)點(diǎn)的isLocked”；

?適用場(chǎng)景不同：MCS鎖更適合“非緩存友好”的環(huán)境（如分布式鎖），CLH鎖在共享內(nèi)存環(huán)境（如單機(jī)器多線程）中緩存效率更高，但MCS鎖的實(shí)現(xiàn)更直觀，面試中更?？肌?/span>

3.實(shí)際應(yīng)用：JDK中有MCS鎖嗎？

答：JDK 1.6之后，ReentrantLock的非公平鎖實(shí)現(xiàn)中，底層的AQS（AbstractQueuedSynchronizer）隊(duì)列其實(shí)借鑒了MCS鎖的“排隊(duì)思想”——AQS的Node節(jié)點(diǎn)、tail指針、CAS入隊(duì)等邏輯，本質(zhì)上是MCS鎖的變種（但AQS是阻塞鎖，不是自旋鎖）。面試時(shí)提到這一點(diǎn)，能體現(xiàn)你對(duì)JDK源碼的理解。

四、總結(jié)：MCS鎖面試答題框架

最后，給大家整理一個(gè)“MCS鎖面試答題框架”，按這個(gè)邏輯說(shuō)，既清晰又全面：

1.定義：MCS鎖是排隊(duì)自旋鎖的實(shí)現(xiàn)，通過(guò)鏈表記錄等待線程，每個(gè)線程只自旋前一個(gè)線程的釋放信號(hào)；

2.設(shè)計(jì)初衷：解決傳統(tǒng)自旋鎖的“盲等”和“緩存風(fēng)暴”問(wèn)題；

3.核心結(jié)構(gòu)：Node節(jié)點(diǎn)（isLocked、next）+共享tail指針+ ThreadLocal存儲(chǔ)當(dāng)前節(jié)點(diǎn)；

4.流程：

?加鎖：獲取節(jié)點(diǎn)→CAS入隊(duì)→接入鏈表→自旋等待前節(jié)點(diǎn)；

?解鎖：獲取節(jié)點(diǎn)→檢查next→通知next解鎖→清理節(jié)點(diǎn)；

1.優(yōu)勢(shì)：無(wú)緩存風(fēng)暴、公平、低無(wú)效自旋；

2.延伸：與CLH鎖的區(qū)別、JDK中AQS的借鑒。

掌握這個(gè)框架，再結(jié)合代碼示例和流程圖，MCS鎖相關(guān)的面試題就能輕松應(yīng)對(duì)了。