C++面試八股文之如何避免死鎖詳解
某日二師兄參加XXX科技公司的C++工程師開發(fā)崗位第31面:
面試官:什么是鎖?有什么作用?
二師兄:在C++中,鎖(Lock)是一種同步工具,用于保護共享資源,防止多個線程同時訪問,從而避免數(shù)據(jù)競爭和不一致。
面試官:有哪些鎖?
二師兄:從種類上分,可以分為普通鎖、讀寫鎖、遞歸鎖等種類。
二師兄:從實現(xiàn)上分,可以分為互斥鎖、自旋鎖、信號量、條件變量等。
面試官:互斥鎖如何使用?
二師兄:在C++11之前,C++便準層面并沒有定義鎖,鎖的應用要依賴于平臺。Linux下使用pthread庫中的mutex;
#include <pthread.h> pthread_mutex_t mutex_ = PTHREAD_MUTEX_INITIALIZER; pthread_mutex_lock(&mutex_); //被保護的區(qū)域 pthread_mutex_unlock(&mutex_);
二師兄:C++11引入了std::mutex,統(tǒng)一了各個平臺上互斥鎖的使用:
#include <mutex> std::mutex mutex_; mutex_.lock(); //被保護的區(qū)域 mutex_.unlock();
面試官:pthread_mutex和std::mutex有沒有非阻塞的api?
二師兄:有的,分別是pthread_mutex_trylock()和try_lock(),當獲取不到鎖時這兩者并不阻塞當前線程,而是立即返回。需要注意的是,當pthread_mutex_trylock()獲取到鎖時返回0,而std::mutex::try_lock()方法獲取不到鎖時返回false。
面試官:std::lock_guard和std::unique_lock用過嗎?
二師兄:用過。
面試官:兩者有什么相同點和不同點?
二師兄:相同點是兩者都使用RAII(資源獲取即初始化)技術實現(xiàn)的鎖,支持自動上鎖,自動解鎖。
二師兄:不同點主要包括三個方面:
1.靈活性:std::unqiue_lock的靈活性要高于std::lock_gurad,std::unique_lock可以在任何時間解鎖和鎖定,而std::lock_guard在構造時鎖定,在析構時解鎖,不能手動控制。
2.所有權:std::unique_lock支持所有權轉移,而std::lock_gurad不支持。
3.性能:由于std::unique_lock的靈活性更高,它的性能可能會稍微低一些。
面試官:能實現(xiàn)一個lock_gurad嗎?
二師兄:我嘗試一下:
class lock_guard
{
explicit lock_guard(std::mutex& m):mutex_(m)
{
mutex_.lock();
}
~lock_guard()
{
mutex_unlock();
}
private:
std::mutex& mutex_;
};面試官:為什么會發(fā)生死鎖?
二師兄:當進程A持有鎖1請求鎖2,進程B持有鎖2請求鎖1時,兩者都不會釋放自己的鎖,兩者都需要對方的鎖,就會造成死鎖。當然現(xiàn)實中可能比這要復雜,但原理是相同的。
面試官:如何避免死鎖?
二師兄:主要從以下幾個方面入手:
1.避免循環(huán)等待,如果需要在業(yè)務中獲取不同的鎖,保證所有業(yè)務按照相同的順序獲取鎖。
2.使用超時鎖,當鎖超時時,自動釋放鎖。
3.使用try_lock,當鎖被占用時,返回false并繼續(xù)執(zhí)行。
4.鎖的粒度盡量要小,只保護竟態(tài)數(shù)據(jù)而不是整個流程。
面試官:知道adopt_lock_t/defer_lock_t/try_to_lock_t這三種類型的用法嗎?
二師兄:額。。不知道。。
面試官:好的,回去等通知吧。
讓我們來看看最后一個問題:
知道adopt_lock_t/defer_lock_t/try_to_lock_t這三種類型的用法嗎?
adopt_lock_t/defer_lock_t/try_to_lock_t都是空類,主要表示std::lock_gurad和std::unqiue_lock的默認構造中的操作:
adopt_lock_t:默認互斥量已被當前線程鎖定,不使用lock()方法對互斥量加鎖:
std::mutex mtx_;
mtx_.lock(); //lock
{
std::lock_guard<std::mutex> lock_(mtx_,std::adopt_lock); //這里默認當前線程已經(jīng)對mtx_加過鎖
...
}//unlockdefer_lock_t:雖然我擁有了std::mutex的引用,但是在構造函數(shù)中并不調用lock()方法對互斥量加鎖:
std::mutex mtx_;
{
std::unique_lock<std::mutex> ulock_(mtx_,std::defer_lock); //這里并沒有加鎖
ulock_.lock();
if(ulock_.owns_lock())
{
//locked
}else
{
//unlocked
}
}//if locked,unlocktry_to_lock_t:在構造函數(shù)執(zhí)行是并不是使用lock()方法加鎖,而是使用try_lock()方法加鎖:
std::mutex mtx_;
{
std::unique_lock<std::mutex> ulock_(mtx_,std::try_to_lock); //這里mtx_如果沒有被鎖定,則加鎖成功,否則加鎖失敗
if(ulock_.owns_lock())
{
//locked
}else
{
//unlocked
}
}//if locked,unlockadopt_lock_t可以用于std::lock_gurad和std::unique_lock,而defer_lock_t/try_to_lock_t只能用于std::unique_lock。
以上就是C++面試八股文之如何避免死鎖詳解的詳細內容,更多關于C++避免死鎖的資料請關注腳本之家其它相關文章!
相關文章
vs2022重新編譯opencv-python?cuda加速時報錯的問題解決
本文主要介紹了vs2022重新編譯opencv-python?cuda加速時報錯,文中通過示例代碼介紹的非常詳細,對大家的學習或者工作具有一定的參考學習價值,需要的朋友們下面隨著小編來一起學習學習吧2022-04-04

