死鎖概念和產(chǎn)生原因
死鎖是指多個進(jìn)程循環(huán)等待彼此占有的資源而無限期的僵持等待下去的局面辫秧。原因是:
系統(tǒng)提供的資源太少了束倍,遠(yuǎn)不能滿足并發(fā)進(jìn)程對資源的需求
進(jìn)程推進(jìn)順序不合適,互相占有彼此需要的資源盟戏,同時請求對方占有的資源绪妹,往往是程序設(shè)計(jì)不合理
死鎖產(chǎn)生的必要條件
需要同時具有以下四個條件:
互斥條件:即某個資源在一段時間內(nèi)只能由一個進(jìn)程占有,不能同時被兩個或兩個以上的進(jìn)程占有
不可搶占條件:進(jìn)程所獲得的資源在未使用完畢之前柿究,資源申請者不能強(qiáng)行的從資源占有者手中奪取資源邮旷,而只能由該資源的占有者進(jìn)程自行釋放
占有且等待條件:進(jìn)程至少已經(jīng)占有了一個資源,但又申請了一個新的被其他進(jìn)程所占有的資源蝇摸,此時處于等待狀態(tài)
循環(huán)等待條件:若干個進(jìn)程形成環(huán)形鏈婶肩,每個都占用對方申請的下一個資源
死鎖的處理策略
為使系統(tǒng)不發(fā)生死鎖,必須設(shè)法破壞產(chǎn)生死鎖的四個必要條件之一貌夕,或者允許死鎖產(chǎn)生律歼,但當(dāng)死鎖發(fā)生時能檢測出思索,并有能力實(shí)現(xiàn)恢復(fù)啡专。
一般有死鎖的預(yù)防险毁、死鎖避免、死鎖的檢測與恢復(fù)三種方法们童。
(1) 死鎖預(yù)防:破壞導(dǎo)致死鎖必要條件中的任意一個就可以預(yù)防死鎖畔况。例如,要求用戶申請資源時一次性申請所需要的全部資源慧库,這就破壞了保持和等待條件跷跪;將資源分層,得到上一層資源后齐板,才能夠申請下一層資源吵瞻,它破壞了環(huán)路等待條件。預(yù)防通常會降低系統(tǒng)的效率覆积。
(2) 死鎖避免:避免是指進(jìn)程在每次申請資源時判斷這些操作是否安全听皿,例如,使用銀行家算法宽档。死鎖避免算法的執(zhí)行會增加系統(tǒng)的開銷。
(3) 死鎖檢測:死鎖預(yù)防和避免都是事前措施庵朝,而死鎖的檢測則是判斷系統(tǒng)是否處于死鎖狀態(tài)吗冤,如果是又厉,則執(zhí)行死鎖解除策略。
(4) 死鎖解除:這是與死鎖檢測結(jié)合使用的椎瘟,它使用的方式就是剝奪覆致。即將某進(jìn)程所擁有的資源強(qiáng)行收回,分配給其他的進(jìn)程肺蔚。
死鎖預(yù)防:
打破互斥條件:允許進(jìn)程同時訪問資源(有些資源就是不可以同時訪問的煌妈,無實(shí)用價值)
打破不可搶占條件:比如給進(jìn)程設(shè)置優(yōu)先級,高優(yōu)先級的可以搶占資源(實(shí)現(xiàn)困難宣羊,降低系統(tǒng)性能)
打破占有且等待條件:實(shí)行資源預(yù)分配策略璧诵,即進(jìn)程在運(yùn)行前一次性的向系統(tǒng)申請它所需要的全部資源(不可預(yù)測資源的使用,利用率低仇冯,降低并發(fā)性)
破壞循環(huán)等待條件:采用這種策略之宿,即把資源事先分類編號,按號分配苛坚,使進(jìn)程在申請比被,占用資源時不會形成環(huán)路。所有進(jìn)程對資源的請求必須嚴(yán)格按資源序號遞增的順序提出(限制和編號實(shí)現(xiàn)困難泼舱,增加系統(tǒng)開銷等缀,有些資源暫時不用也需要先申請,增加了進(jìn)程對資源的占用時間)
死鎖避免
允許進(jìn)程動態(tài)的申請資源娇昙,但系統(tǒng)在進(jìn)行資源分配前尺迂,應(yīng)先計(jì)算此次資源分配的安全性。若此次分配不會導(dǎo)致系統(tǒng)進(jìn)入不安全狀態(tài)涯贞,則將資源你分配給進(jìn)程枪狂,否則,讓進(jìn)程等待宋渔。
所謂安全狀態(tài)州疾,是指系統(tǒng)能按某種進(jìn)程推進(jìn)順序,為每個進(jìn)程分配其所需的資源皇拣,直至滿足每個進(jìn)程對資源的最大需求严蓖,是每個進(jìn)程都可以順序的完成。此時成P1P2P3...為安全序列氧急,如果系統(tǒng)無法找到一個安全序列颗胡,則稱系統(tǒng)處于不安全狀態(tài)。
并非所有的不安全狀態(tài)都是死鎖狀態(tài)吩坝,但當(dāng)系統(tǒng)進(jìn)入不安全狀態(tài)后毒姨,便可能進(jìn)入死鎖狀態(tài);反之钉寝,只要系統(tǒng)處于安全狀態(tài)弧呐,系統(tǒng)便可以避免進(jìn)入死鎖狀態(tài)闸迷。
銀行家算法是最著名的死鎖避免算法。
死鎖的檢測
資源分配圖&&死鎖定理
死鎖解除
1)資源剝奪法俘枫。掛起某些思索進(jìn)程腥沽,并搶占它的資源,將這些資源分配給其他的死鎖進(jìn)程鸠蚪。但應(yīng)防止被掛起的進(jìn)程長時間得不到資源時今阳,而處于資源匱乏的狀態(tài)。
2)進(jìn)程撤銷法茅信。強(qiáng)制撤銷一個或一部分進(jìn)程并剝奪這些進(jìn)程的資源盾舌。撤銷的原則可以按進(jìn)程的優(yōu)先級和撤銷進(jìn)程代價的高低進(jìn)行。
3)進(jìn)程回退法汹押。讓一個或多個進(jìn)程回退到足以回避死鎖的地步矿筝,進(jìn)程回退時資源釋放資源而不是被剝奪。要求系統(tǒng)保持進(jìn)程的歷史信息棚贾,設(shè)置還原點(diǎn)窖维。