[[378852]]

本文轉(zhuǎn)載自微信公眾號(hào)「源碼興趣圈」，作者龍臺(tái)。轉(zhuǎn)載本文請(qǐng)聯(lián)系源碼興趣圈公眾號(hào)。

前言

面試官：小伙子，JUC 并發(fā)包下的可重入鎖 ReentrantLock 在代碼里實(shí)際使用過(guò)么

混子：用過(guò)，ReentrantLock 是 JDK 提供的可重入的鎖。提供對(duì) 共享資源的獨(dú)占訪問(wèn)，一次只能有一個(gè)線程可以獲取該鎖

面試官：你覺(jué)得，ReentrantLock#lock 方法寫(xiě)到 try 語(yǔ)句外面還是里面

混子：我......

面試官：我們不合適，你走吧

先給出結(jié)論，lock.lock() 最規(guī)范的寫(xiě)法是寫(xiě)到 try 語(yǔ)句的外面

lock.lock()

Oracle 文檔中在介紹鎖的使用時(shí)有一段代碼，我們以 ReentrantLock 舉例，代碼如下所示：

ReentrantLock lock = new ReentrantLock(); 
lock.lock(); 
try { 
    // access the resource protected by this lock 
} finally { 
    lock.unlock(); 
} 

Q：為什么要把 lock.unlock() 放到 finally 語(yǔ)句塊?

A：為了保證當(dāng)前線程執(zhí)行過(guò)程中出現(xiàn)異常時(shí)，鎖依然能被釋放掉，避免死鎖的產(chǎn)生

我們來(lái)改動(dòng)一下上面的代碼，看看會(huì)產(chǎn)生什么樣的影響

ReentrantLock lock = new ReentrantLock(); 
try { 
    lock.lock(); 
    // access the resource protected by this lock 
} finally { 
    lock.unlock(); 
} 

看著沒(méi)問(wèn)題呀，為啥文章開(kāi)始不建議這么用?先說(shuō)下可能會(huì)存在的問(wèn)題

異常堆棧丟失

假設(shè)在 lock.lock 方法中加鎖異常(千萬(wàn)不要杠)，那么會(huì)進(jìn)入 finally 語(yǔ)句塊中進(jìn)行解鎖

繼續(xù)跟進(jìn)，看一下 lock.unlock() 源碼中是如何處理的

lock.lock() 拋出異常有可能還沒(méi)獲取到鎖，那么 解鎖源碼中將當(dāng)前線程比較擁有鎖線程肯定是不相等的，所以會(huì)拋出 IMSE (IllegalMonitorStateException)異常

我重寫(xiě)了 ReentrantLock 加鎖代碼的邏輯，在里面拋出了異常，一起看下會(huì)出現(xiàn)什么情況

final void lock() { 
    // 模擬加鎖未成功就拋出異常 
    if (true) { 
        throw new RuntimeException("報(bào)錯(cuò)啦！！！"); 
    } 
    if (compareAndSetState(0, 1)) 
        setExclusiveOwnerThread(Thread.currentThread()); 
    else 
        acquire(1); 
} 

根據(jù)下圖可以看出 加鎖時(shí)異常堆棧被 "吞掉了"，悄無(wú)聲息的就沒(méi)了。當(dāng)然這只是舉例，但是誰(shuí)能保證加鎖未成功時(shí)不會(huì)拋出異常呢

真實(shí)存在的 BUG

上面代碼示例中都是在 try 的第一行寫(xiě) lock，出現(xiàn)問(wèn)題的可能性極低。這里給大家提供一個(gè)反面教材，千萬(wàn)千萬(wàn)不要有這種類(lèi)似行為

示例代碼中把 lock 放到了 try 語(yǔ)句塊里，然后 lock 加鎖前面還有可能會(huì)產(chǎn)生異常的代碼，這種就涼了，誰(shuí)用誰(shuí)涼的那種

結(jié)尾

所以關(guān)于要不要把 lock.lock() 寫(xiě)到 try 語(yǔ)句塊里，文章的結(jié)論是：

最好是把 lock.lock() 加鎖方法寫(xiě)到 try 外面，這是一種規(guī)范，而不是強(qiáng)制

如果你非要寫(xiě)到 try 里面，那么 請(qǐng)寫(xiě)到 try 語(yǔ)句塊的第一行，或者 lock 加鎖方法前面不會(huì)存在可能出現(xiàn)異常的代碼

最后，如果你代碼中加鎖放到了 try 語(yǔ)句里，麻煩參考第 1 點(diǎn)