一個(gè)死鎖示例分析

問題:

源程序來源于GItHub:recipes/Factory_deadlock.cc at master · chenshuo/recipes (github.com)

加了編譯選項(xiàng)REPRODUCE_BUG后會(huì)導(dǎo)致死鎖忿危,為什么會(huì)死鎖呢诫舅?

個(gè)人分析:

這個(gè)程序一開始沒有看懂,主要是幾個(gè)知識(shí)點(diǎn)自己忽略了:

  1. 引用計(jì)數(shù)為0時(shí)锭部,立刻調(diào)用定制的析構(gòu)動(dòng)作攒发。
  2. 對(duì)象的析構(gòu)是同步的驳癌,當(dāng)最后一個(gè)指向xshared_ptr離開其作用域的時(shí)候娄琉,x會(huì)同時(shí)在同一個(gè)線程析構(gòu)融击。這個(gè)線程不一定是對(duì)象誕生的線程筑公。

主要過程為:

  1. main線程創(chuàng)建了一個(gè)Stock對(duì)象叫MS,該對(duì)象地址為0x56354caa90c0
  2. 由于該對(duì)象的引用計(jì)數(shù)為0尊浪,于是立即調(diào)用定制的析構(gòu)函數(shù)deleteStock
  3. 主線程在deleteStock中會(huì)休眠500毫秒匣屡,此時(shí)thrB線程創(chuàng)建了一個(gè)Stock對(duì)象也叫MS,該對(duì)象地址為0x7f3020000b20拇涤,這個(gè)對(duì)象覆蓋了之前main線程創(chuàng)建的對(duì)象在哈希表中的位置捣作。
  4. main線程從休眠中醒來,繼續(xù)執(zhí)行鹅士,發(fā)現(xiàn)此時(shí)指向thrB線程創(chuàng)建的Stock對(duì)象的引用計(jì)數(shù)值為2券躁。
  5. main線程再次休眠500毫秒。
  6. thrB線程執(zhí)行結(jié)束掉盅,發(fā)現(xiàn)其創(chuàng)建的Stock對(duì)象的引用計(jì)數(shù)值為1(在main線程中)也拜,所以該對(duì)象不會(huì)在thrB中析構(gòu)。
  7. main線程從休眠中喚醒趾痘,發(fā)現(xiàn)此時(shí)指向thrB線程創(chuàng)建的Stock對(duì)象【0x7f3020000b20】的引用計(jì)數(shù)值為1慢哈。離開作用域后,引用計(jì)數(shù)為0永票,這個(gè)對(duì)象要在main線程中被析構(gòu)卵贱。
  8. main線程里面再次調(diào)用定制的析構(gòu)函數(shù)deleteStock滥沫,于是導(dǎo)致死鎖。
main: Stock[0x56354caa90c0] MS
main: stock 0x56354caa90c0
main: deleteStock[0x56354caa90c0]
thrB: Stock[0x7f3020000b20] MS
thrB: stockB 0x7f3020000b20
use_count = 2
thrB: stockB destructs
use_count = 1
main: deleteStock[0x7f3020000b20]
WARNING: mutex_ is already locked by this thread, deadlock will happen.

如果沒有互斥鎖的話艰赞,結(jié)果會(huì)這樣:

main: Stock[0x55c6ae0d40c0] MS
main: stock 0x55c6ae0d40c0
main: deleteStock[0x55c6ae0d40c0]
thrB: Stock[0x7fa980000b20] MS
thrB: stockB 0x7fa980000b20
use_count = 2
thrB: stockB destructs
use_count = 1
main: deleteStock[0x7fa980000b20]
main: ~Stock[0x7fa980000b20] MS
main: ~Stock[0x55c6ae0d40c0] MS
main :~Thread

參考文獻(xiàn):

  1. C++ shared_ptr相關(guān)技術(shù) - 簡(jiǎn)書 (jianshu.com)
  2. 對(duì)象池的一個(gè) race condition
最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末佣谐,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子方妖,更是在濱河造成了極大的恐慌狭魂,老刑警劉巖,帶你破解...
    沈念sama閱讀 212,383評(píng)論 6 493
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件党觅,死亡現(xiàn)場(chǎng)離奇詭異雌澄,居然都是意外死亡,警方通過查閱死者的電腦和手機(jī)杯瞻,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 90,522評(píng)論 3 385
  • 文/潘曉璐 我一進(jìn)店門镐牺,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人魁莉,你說我怎么就攤上這事睬涧。” “怎么了旗唁?”我有些...
    開封第一講書人閱讀 157,852評(píng)論 0 348
  • 文/不壞的土叔 我叫張陵畦浓,是天一觀的道長(zhǎng)。 經(jīng)常有香客問我检疫,道長(zhǎng)讶请,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 56,621評(píng)論 1 284
  • 正文 為了忘掉前任屎媳,我火速辦了婚禮夺溢,結(jié)果婚禮上,老公的妹妹穿的比我還像新娘烛谊。我一直安慰自己风响,他們只是感情好,可當(dāng)我...
    茶點(diǎn)故事閱讀 65,741評(píng)論 6 386
  • 文/花漫 我一把揭開白布丹禀。 她就那樣靜靜地躺著状勤,像睡著了一般。 火紅的嫁衣襯著肌膚如雪湃崩。 梳的紋絲不亂的頭發(fā)上荧降,一...
    開封第一講書人閱讀 49,929評(píng)論 1 290
  • 那天接箫,我揣著相機(jī)與錄音攒读,去河邊找鬼。 笑死辛友,一個(gè)胖子當(dāng)著我的面吹牛薄扁,可吹牛的內(nèi)容都是我干的剪返。 我是一名探鬼主播,決...
    沈念sama閱讀 39,076評(píng)論 3 410
  • 文/蒼蘭香墨 我猛地睜開眼邓梅,長(zhǎng)吁一口氣:“原來是場(chǎng)噩夢(mèng)啊……” “哼脱盲!你這毒婦竟也來了?” 一聲冷哼從身側(cè)響起日缨,我...
    開封第一講書人閱讀 37,803評(píng)論 0 268
  • 序言:老撾萬榮一對(duì)情侶失蹤钱反,失蹤者是張志新(化名)和其女友劉穎,沒想到半個(gè)月后匣距,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體面哥,經(jīng)...
    沈念sama閱讀 44,265評(píng)論 1 303
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 36,582評(píng)論 2 327
  • 正文 我和宋清朗相戀三年毅待,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了尚卫。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點(diǎn)故事閱讀 38,716評(píng)論 1 341
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡尸红,死狀恐怖吱涉,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情外里,我是刑警寧澤怎爵,帶...
    沈念sama閱讀 34,395評(píng)論 4 333
  • 正文 年R本政府宣布,位于F島的核電站级乐,受9級(jí)特大地震影響疙咸,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜风科,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 40,039評(píng)論 3 316
  • 文/蒙蒙 一撒轮、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧贼穆,春花似錦题山、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 30,798評(píng)論 0 21
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至愕秫,卻和暖如春慨菱,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背戴甩。 一陣腳步聲響...
    開封第一講書人閱讀 32,027評(píng)論 1 266
  • 我被黑心中介騙來泰國(guó)打工符喝, 沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人甜孤。 一個(gè)月前我還...
    沈念sama閱讀 46,488評(píng)論 2 361
  • 正文 我出身青樓协饲,卻偏偏與公主長(zhǎng)得像畏腕,于是被迫代替她去往敵國(guó)和親。 傳聞我的和親對(duì)象是個(gè)殘疾皇子茉稠,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 43,612評(píng)論 2 350

推薦閱讀更多精彩內(nèi)容

  • 內(nèi)存模型以及分區(qū) JVM分為虛擬機(jī)棧描馅、堆、方法區(qū)而线、本地方法區(qū)堆铭污,用來存放實(shí)例化對(duì)象、非static成員變量,屬于線...
    北京黃小胖閱讀 1,220評(píng)論 0 0
  • 1.ios高性能編程 (1).內(nèi)層 最小的內(nèi)層平均值和峰值(2).耗電量 高效的算法和數(shù)據(jù)結(jié)構(gòu)(3).初始化時(shí)...
    歐辰_OSR閱讀 29,340評(píng)論 8 265
  • 未完膀篮,待更新 一况凉、必備題 1、AFN 原理 鏈接:AFNetworking源碼——基本架構(gòu) - 簡(jiǎn)書 2各拷、SDWe...
    小熊_07cb閱讀 2,756評(píng)論 3 27
  • UIKit 1.UIView 和 CALayer 是什么關(guān)系刁绒? UIView 繼承 UIResponder,而 U...
    遠(yuǎn)行客丶閱讀 1,017評(píng)論 0 3
  • UIKit 1.UIView 和 CALayer 是什么關(guān)系烤黍? UIView 繼承 UIResponder知市,而 U...
    Sephiroth_Ma閱讀 2,204評(píng)論 0 25