淺談互斥鎖為什么還要和條件變量配合使用
mutex體現(xiàn)的是一種競爭,我離開了,通知你進來。
cond體現(xiàn)的是一種協(xié)作,我準(zhǔn)備好了,通知你開始吧。
互斥鎖一個明顯的缺點是它只有兩種狀態(tài):鎖定和非鎖定。而條件變量通過允許線程阻塞和等待另一個線程發(fā)送信號的方法彌補了互斥鎖的不足,它常和互斥鎖一起配合使用。使用時,條件變量被用來阻塞一個線程,當(dāng)條件不滿足時,線程往往解開相應(yīng)的互斥鎖并等待條件發(fā)生變化。一旦其他的某個線程改變了條件變量,他將通知相應(yīng)的條件變量喚醒一個或多個正被此條件變量阻塞的線程。這些線程將重新鎖定互斥鎖并重新測試條件是否滿足。一般說來,條件變量被用來進行線程間的同步。
兩個線程操作同一臨界區(qū)時,通過互斥鎖保護,若A線程已經(jīng)加鎖,B線程再加鎖時候會被阻塞,直到A釋放鎖,B再獲得鎖運行,進程B必須不停的主動獲得鎖、檢查條件、釋放鎖、再獲得鎖、再檢查、再釋放,一直到滿足運行的條件的時候才可以(而此過程中其他線程一直在等待該線程的結(jié)束),這種方式是比較消耗系統(tǒng)的資源的。而條件變量同樣是阻塞,還需要通知才能喚醒,線程被喚醒后,它將重新檢查判斷條件是否滿足,如果還不滿足,該線程就休眠了,應(yīng)該仍阻塞在這里,等待條件滿足后被喚醒,節(jié)省了線程不斷運行浪費的資源。這個過程一般用while語句實現(xiàn)。當(dāng)線程B發(fā)現(xiàn)被鎖定的變量不滿足條件時會自動的釋放鎖并把自身置于等待狀態(tài),讓出CPU的控制權(quán)給其它線程。其它線程 此時就有機會去進行操作,當(dāng)修改完成后再通知那些由于條件不滿足而陷入等待狀態(tài)的線程。這是一種通知模型的同步方式,大大的節(jié)省了CPU的計算資源,減少了線程之間的競爭,而且提高了線程之間的系統(tǒng)工作的效率。這種同步方式就是條件變量。
以上說明可能有點抽象,考慮這樣的簡單場景:通過偽代碼說明。
A線程從隊列中取元素,B線程往隊列中存放元素。不考慮免鎖的實現(xiàn)。需要一個mutex用來保護隊列的一致性,避免兩個線程同時操作隊列破壞數(shù)據(jù)結(jié)構(gòu)。
當(dāng)隊列為空的時候,A需要不斷的探測隊列狀態(tài) :
while(1) { if(隊列為空) 休眠10s else { 加鎖 取元素 解鎖 } }
這就有一個問題,可能在剛進入休眠時,B放入元素了,但仍然需要休眠完整個10s的時間。造成不必要的延遲。當(dāng)然如果不sleep,也可以,但會造成不必要的CPU開銷。使用基于條件變量的事件通知喚醒機制,就可以避免這些問題。
一旦B放入元素完成后就執(zhí)行pthread_cond_signal(),當(dāng)前阻塞的線程就會立即被喚醒開始干活兒。
while(1) { pthread_mutex_lock(); pthread_cond_wait(); 取元素; pthread_mutex_unlock(); }
條件變量都用互斥鎖進行保護,條件變量狀態(tài)的改變都應(yīng)該先鎖住互斥鎖,pthread_cond_wait()需要傳入一個已經(jīng)加鎖的互斥鎖,該函數(shù)把調(diào)用線程加入等待條件的調(diào)用列表中,然后釋放互斥鎖,在條件滿足從而離開pthread_cond_wait()時,mutex將被重新加鎖,這兩個函數(shù)是原子操作。
可以消除條件發(fā)生和線程睡眠等待條件發(fā)生間的時間間隙。其他線程在獲得互斥量之前不會察覺到這種改變,因為必須鎖定互斥量才能計算條件。
總而言之,為了避免因條件判斷語句與其后的正文或wait語句之間的間隙而產(chǎn)生的漏判或誤判,所以用一個mutex來保證: 對于某個cond的包括(判斷,修改)在內(nèi)的任何有關(guān)操作某一時刻只有一個線程在訪問。也就是說條件變量本身就是一個競爭資源,這個資源的作用是對其后程序正文的執(zhí)行權(quán),于是用一個鎖來保護。
這樣就關(guān)閉了條件檢查和線程進入休眠狀態(tài)等待條件改變這兩個操作之間的時間通道,這樣線程就不會有任何變化。
感覺可以總結(jié)為:條件變量用于某個線程需要在某種條件成立時才去保護它將要操作的臨界區(qū),這種情況從而避免了線程不斷輪詢檢查該條件是否成立而降低效率的情況,這是實現(xiàn)了效率提高。。。在條件滿足時,自動退出阻塞,再加鎖進行操作。
以上是關(guān)于效率問題,此外互斥鎖還有一個缺點就是會造成死鎖。
例如線程A和線程B都需要獨占使用2個資源,但是他們都分別先占據(jù)了一個資源,然后又相互等待另外一個資源的釋放,這樣就形成了一個死鎖。
條件變量起到了阻塞和喚醒線程的作用,所以通?;コ怄i要和條件變量配合。
為了解決以上問題,條件變量常和互斥鎖一起使用,條件變量通過允許線程阻塞和等待另一個線程發(fā)送信號的方法彌補了互斥鎖的不足。使用時,條件變量被用來阻塞一個線程,當(dāng)條件不滿足時,線程往往解開相應(yīng)的互斥鎖并等待條件發(fā)生變化。一旦其它的某個線程改變了條件變量,它將通知相應(yīng)的條件變量喚醒一個或多個正被此條件變量阻塞的線程。這些線程將重新鎖定互斥鎖并重新測試條件是否滿足。
以上就是小編為大家?guī)淼臏\談互斥鎖為什么還要和條件變量配合使用全部內(nèi)容了,希望大家多多支持腳本之家~
相關(guān)文章
ubuntu20.04虛擬機無法上網(wǎng)的問題及解決
這篇文章主要介紹了ubuntu20.04虛擬機無法上網(wǎng)的問題及解決方案,具有很好的參考價值,希望對大家有所幫助。如有錯誤或未考慮完全的地方,望不吝賜教2022-12-12Linux環(huán)境下Apache開啟https服務(wù)的方法詳解
這篇文章主要介紹了Linux環(huán)境下Apache開啟https服務(wù)的方法,結(jié)合實例形式分析了阿里云環(huán)境下獲取SSL證書及Apache服務(wù)器安裝、開啟SSL的相關(guān)操作技巧,需要的朋友可以參考下2019-07-07Apache下禁止特定目錄執(zhí)行PHP 提高服務(wù)器安全性
之前在博文從PHP安全講DedeCms的安全加固中說過在PHP安全中保護“可寫目錄下的文件不允許被訪問到的重要性,還提出了改名文件夾的方式來保護該目錄。2009-11-11ubuntu 13.10編譯安裝mono環(huán)境(二)
接上篇,上篇僅安裝了Mono本身,并沒有安裝libgdiplus、gtk-sharp、mod_mono、MonoDevelop 等其他相關(guān)的軟件。 這篇主要是配置安裝libgdiplus。2014-07-07