9.2 死鎖預(yù)防與避免

死鎖預(yù)防

預(yù)防死鎖的方法是破壞死鎖必要條件中的一個(gè)袁稽。由于互斥條件是由設(shè)備的固有特性決定的勿璃,如打印機(jī)等臨界資源只能互斥使用。故只能通過(guò)破壞其他條件來(lái)實(shí)現(xiàn)預(yù)防死鎖:

1)破壞不剝奪條件

規(guī)定進(jìn)程逐個(gè)提出資源請(qǐng)求推汽。當(dāng)一個(gè)已經(jīng)保持某些資源的進(jìn)程再提出新資源請(qǐng)求而無(wú)法立刻被滿足時(shí)补疑,必須釋放它已經(jīng)保持了的所有資源,待將來(lái)需要時(shí)重新申請(qǐng)歹撒。進(jìn)程在運(yùn)行過(guò)程中莲组,已占有的資源可能被暫時(shí)釋放,從而摒棄了“不剝奪”條件暖夭。

該策略實(shí)現(xiàn)起來(lái)比較復(fù)雜锹杈,釋放已獲得的資源可能造成前一階段工作的失效撵孤,反復(fù)地申請(qǐng)和釋放資源會(huì)增加系統(tǒng)開(kāi)銷,降低系統(tǒng)吞吐量竭望。這種方法常用于狀態(tài)易于保存和恢復(fù)的資源邪码,如CPU的寄存器及內(nèi)存資源,一般不能用于打印機(jī)之類的資源咬清。

2) 破壞請(qǐng)求和保持條件

釆用預(yù)先靜態(tài)分配方法闭专,即進(jìn)程在運(yùn)行前一次申請(qǐng)完它所需要的全部資源,在它的資源未滿足前旧烧,不把它投入運(yùn)行影钉。一旦投入運(yùn)行后,這些資源就一直歸它所有掘剪,也不再提出其他資源請(qǐng)求平委,這樣就可以保證系統(tǒng)不會(huì)發(fā)生死鎖。

這種方式實(shí)現(xiàn)簡(jiǎn)單夺谁,但缺點(diǎn)也顯而易見(jiàn)廉赔,系統(tǒng)資源被嚴(yán)重浪費(fèi),其中有些資源可能僅在運(yùn)行初期或運(yùn)行快結(jié)束時(shí)才使用予权,甚至根本不使用昂勉。而且還會(huì)導(dǎo)致“饑餓”現(xiàn)象,當(dāng)由于個(gè)別資源長(zhǎng)期被其他進(jìn)程占用時(shí)扫腺,將致使等待該資源的進(jìn)程遲遲不能開(kāi)始運(yùn)行岗照。

3) 破壞循環(huán)等待條件

為了破壞循環(huán)等待條件,可釆用順序資源分配法笆环。首先給系統(tǒng)中的資源編號(hào)攒至,規(guī)定每個(gè)進(jìn)程,必須按編號(hào)遞增的順序請(qǐng)求資源躁劣,同類資源一次申請(qǐng)完迫吐。也就是說(shuō),只要進(jìn)程提出申請(qǐng)分配資源Ri账忘,則該進(jìn)程在以后的資源申請(qǐng)中志膀,只能申請(qǐng)編號(hào)大于Ri的資源。

這種方法存在的問(wèn)題是鳖擒,編號(hào)必須相對(duì)穩(wěn)定溉浙,這就限制了新類型設(shè)備的增加;盡管在為資源編號(hào)時(shí)已考慮到大多數(shù)作業(yè)實(shí)際使用這些資源的順序蒋荚,但也經(jīng)常會(huì)發(fā)生作業(yè)使甩資源的順序與系統(tǒng)規(guī)定順序不同的情況戳稽,造成資源的浪費(fèi);此外期升,這種按規(guī)定次序申請(qǐng)資源的方法惊奇,也必然會(huì)給用戶的編程帶來(lái)麻煩互躬。

死鎖避免

避免死鎖同樣是屬于事先預(yù)防的策略,但并不是事先釆取某種限制措施破壞死鎖的必要條件颂郎,而是在資源動(dòng)態(tài)分配過(guò)程中吼渡,防止系統(tǒng)進(jìn)入不安全狀態(tài),以避免發(fā)生死鎖乓序。這種方法所施加的限制條件較弱诞吱,可以獲得較好的系統(tǒng)性能

1 系統(tǒng)安全狀態(tài)

避免死鎖同樣是屬于事先預(yù)防的策略,但并不是事先釆取某種限制措施破壞死鎖的必要條件竭缝,而是在資源動(dòng)態(tài)分配過(guò)程中,防止系統(tǒng)進(jìn)入不安全狀態(tài)沼瘫,以避免發(fā)生死鎖抬纸。這種方法所施加的限制條件較弱,可以獲得較好的系統(tǒng)性能耿戚。

所謂安全狀態(tài)湿故,是指系統(tǒng)能按某種進(jìn)程推進(jìn)順序( P1, P2, ..., Pn),為每個(gè)進(jìn)程Pi分配其所需資源膜蛔,直至滿足每個(gè)進(jìn)程對(duì)資源的最大需求坛猪,使每個(gè)進(jìn)程都可順序地完成稳其。此時(shí)稱 P1, P2, ..., Pn 為安全序列毒费。如果系統(tǒng)無(wú)法找到一個(gè)安全序列,則稱系統(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)洋机。

2 銀行家算法

銀行家算法是最著名的死鎖避免算法。它提出的思想是:把操作系統(tǒng)視為銀行家洋魂,操作系統(tǒng)管理的資源類比于銀行家管理的資金绷旗,進(jìn)程向操作系統(tǒng)請(qǐng)求分配資源相當(dāng)于用戶向銀行家貸款。操作系統(tǒng)按照銀行家制定的規(guī)則為進(jìn)程分配資源副砍。

2.1 分配過(guò)程描述
  1. 進(jìn)程首次申請(qǐng)資源時(shí)衔肢,要測(cè)試其對(duì)資源的最大需求量,若現(xiàn)存資源可滿足它的最大需求量則按當(dāng)前的申請(qǐng)量分配資源址晕,否則就推遲分配膀懈。

  2. 當(dāng)進(jìn)程在執(zhí)行中繼續(xù)申請(qǐng)資源時(shí),先測(cè)試該進(jìn)程已占用的資源數(shù)與本次申請(qǐng)的資源數(shù)之和是否超過(guò)了該進(jìn)程對(duì)資源的最大需求量谨垃。若超過(guò)則拒絕分配資源启搂,若未超過(guò)則再測(cè)試系統(tǒng)現(xiàn)存的資源能否滿足該進(jìn)程尚需的最大資源量硼控,若能滿足則按當(dāng)前的申請(qǐng)量分配資源,否則也要推遲分配胳赌。

2.2 數(shù)據(jù)結(jié)構(gòu)描述

可利用資源矢量Available:含有m個(gè)元素的數(shù)組牢撼,其中的每一個(gè)元素代表一類可用的資源數(shù)目。Available[j]=K疑苫,則表示系統(tǒng)中現(xiàn)有Rj類資源K個(gè)熏版。

最大需求矩陣Max:為n*m矩陣,定義了系統(tǒng)中n個(gè)進(jìn)程中的每一個(gè)進(jìn)程對(duì)m類資源的最大需求捍掺。Max[i, j]=K撼短,則表示進(jìn)程i需要Rj類資源的最大數(shù)目為K。

分配矩陣Allocation:為n*m矩陣挺勿,定義了系統(tǒng)中每一類資源當(dāng)前已分配給每一進(jìn)程的資源數(shù)曲横。Allocation[i, j]= K,則表示進(jìn)程i當(dāng)前已分得Rj類資源的數(shù)目為K不瓶。

需求矩陣Need:為n*m矩陣禾嫉,表示每個(gè)進(jìn)程尚需的各類資源數(shù)。Need[i, j]=K蚊丐,則表示進(jìn)程i還需要Rj類資源的數(shù)目為K熙参。

上述三個(gè)矩陣間存在下述關(guān)系:
Need[i, j] = Max[i, j] - Allocation[i, j]

2.3 銀行家算法描述

設(shè)Requesti是進(jìn)程Pi的請(qǐng)求矢量,如果Requesti[j] = K麦备,表示進(jìn)程Pi需要Rj類資源K個(gè)孽椰。當(dāng)Pi發(fā)出資源請(qǐng)求后,系統(tǒng)按下述步驟進(jìn)行檢查:

①如果Requesti[j] <= Need[i, j]凛篙,便轉(zhuǎn)向步驟②弄屡;否則認(rèn)為出錯(cuò),因?yàn)樗枰馁Y源數(shù)已超過(guò)它所宣布的最大值鞋诗。

②如果Requesti[j] <= Available[j]膀捷,便轉(zhuǎn)向步驟③;否則,表示尚無(wú)足夠資源全庸,Pi須等待。

③系統(tǒng)試探著把資源分配給進(jìn)程Pi融痛,并修改下面數(shù)據(jù)結(jié)構(gòu)中的數(shù)值:

Available[j] = Available[j] - Requesti[j];
Allocation[i, j] = Allocation[i, j] + Requesti[ j];
Need[i, j] = Need[i, j] - Requesti[j];

④系統(tǒng)執(zhí)行安全性算法,檢查此次資源分配后雁刷,系統(tǒng)是否處于安全狀態(tài)。若安全,才正式將資源分配給進(jìn)程Pi责语,以完成本次分配炮障;否則,將本次的試探分配作廢坤候,恢復(fù)原來(lái)的資源分配狀態(tài),讓進(jìn)程Pi等待白筹。

2.4 安全性算法

①設(shè)置兩個(gè)矢量。工作矢量Work:表示系統(tǒng)可提供給進(jìn)程繼續(xù)運(yùn)行所需的各類資源數(shù)目徒河,它含有所個(gè)元素系馆,在執(zhí)行安全算法開(kāi)始時(shí),Work=Available; Finish:它表示系統(tǒng)是否有足夠的資源分配給進(jìn)程顽照,使之運(yùn)行完成它呀。開(kāi)始時(shí) Finish[i]=false棒厘;當(dāng)有足夠資源分配給進(jìn)程 Pi 時(shí),再令 Finish[i]=true奢人。

②從進(jìn)程集合中找到一個(gè)能滿足下述條件的進(jìn)程:Finish[i]=false; Need[i, j]<=Work[j]; 若找到,執(zhí)行下一步驟淆院,否則,執(zhí)行步驟4土辩。

③當(dāng)進(jìn)程Pi獲得資源后,可順利執(zhí)行拷淘,直至完成,并釋放出分配給它的資源启涯,故應(yīng)執(zhí)行:

Work[j]=Work[j]+Allocation[i, j];
Finish[i]=true;
go to step <2>;

④如果所有進(jìn)程的Finish[i]=tme都滿足,則表示系統(tǒng)處于安全狀態(tài)结洼;否則,系統(tǒng)處于不安全狀態(tài)松忍。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子酥艳,更是在濱河造成了極大的恐慌,老刑警劉巖玖雁,帶你破解...
    沈念sama閱讀 211,817評(píng)論 6 492
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場(chǎng)離奇詭異赫冬,居然都是意外死亡,警方通過(guò)查閱死者的電腦和手機(jī)劲厌,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 90,329評(píng)論 3 385
  • 文/潘曉璐 我一進(jìn)店門(mén)听隐,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái)补鼻,“玉大人雅任,你說(shuō)我怎么就攤上這事』γ矗” “怎么了硼婿?”我有些...
    開(kāi)封第一講書(shū)人閱讀 157,354評(píng)論 0 348
  • 文/不壞的土叔 我叫張陵,是天一觀的道長(zhǎng)寇漫。 經(jīng)常有香客問(wèn)我,道長(zhǎng)州胳,這世上最難降的妖魔是什么? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 56,498評(píng)論 1 284
  • 正文 為了忘掉前任栓撞,我火速辦了婚禮,結(jié)果婚禮上腐缤,老公的妹妹穿的比我還像新娘。我一直安慰自己肛响,他們只是感情好,可當(dāng)我...
    茶點(diǎn)故事閱讀 65,600評(píng)論 6 386
  • 文/花漫 我一把揭開(kāi)白布特笋。 她就那樣靜靜地躺著巾兆,像睡著了一般。 火紅的嫁衣襯著肌膚如雪虎囚。 梳的紋絲不亂的頭發(fā)上,一...
    開(kāi)封第一講書(shū)人閱讀 49,829評(píng)論 1 290
  • 那天圃伶,我揣著相機(jī)與錄音,去河邊找鬼蒲列。 笑死,一個(gè)胖子當(dāng)著我的面吹牛蝗岖,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播抵赢,決...
    沈念sama閱讀 38,979評(píng)論 3 408
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼铅鲤!你這毒婦竟也來(lái)了?” 一聲冷哼從身側(cè)響起邢享,我...
    開(kāi)封第一講書(shū)人閱讀 37,722評(píng)論 0 266
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒(méi)想到半個(gè)月后袜漩,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 44,189評(píng)論 1 303
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡宙攻,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 36,519評(píng)論 2 327
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了座掘。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點(diǎn)故事閱讀 38,654評(píng)論 1 340
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡萍虽,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出杉编,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 34,329評(píng)論 4 330
  • 正文 年R本政府宣布嘶朱,位于F島的核電站光酣,受9級(jí)特大地震影響疏遏,放射性物質(zhì)發(fā)生泄漏救军。R本人自食惡果不足惜财异,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 39,940評(píng)論 3 313
  • 文/蒙蒙 一缤言、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧胆萧,春花似錦、人聲如沸跌穗。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 30,762評(píng)論 0 21
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)。三九已至羹唠,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間佩微,已是汗流浹背。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 31,993評(píng)論 1 266
  • 我被黑心中介騙來(lái)泰國(guó)打工哺眯, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人奶卓。 一個(gè)月前我還...
    沈念sama閱讀 46,382評(píng)論 2 360
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像夺姑,于是被迫代替她去往敵國(guó)和親。 傳聞我的和親對(duì)象是個(gè)殘疾皇子盏浙,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 43,543評(píng)論 2 349

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

  • 處理機(jī)調(diào)度與死鎖 處理機(jī)調(diào)度的層次 高級(jí)調(diào)度/作業(yè)調(diào)度/長(zhǎng)程調(diào)度 作用:將外存后備隊(duì)列中的作業(yè)調(diào)入內(nèi)存 對(duì)象:作業(yè)...
    顏洛濱閱讀 835評(píng)論 0 1
  • 一兔院、死鎖的基本概念 1.1 死鎖的定義 一組進(jìn)程中站削,每個(gè)進(jìn)程都無(wú)限等待被該組進(jìn)程中另一進(jìn)程所占用的資源,因而永遠(yuǎn)無(wú)...
    yjaal閱讀 1,476評(píng)論 0 6
  • 系統(tǒng)安全狀態(tài)的定義 1.安全狀態(tài) 在避免死鎖的方法中许起,允許進(jìn)程動(dòng)態(tài)地申請(qǐng)資源,但系統(tǒng)在進(jìn)行資源分配之前园细,應(yīng)先計(jì)算此...
    haifengmay閱讀 3,725評(píng)論 1 8
  • 1、競(jìng)態(tài)條件: 定義:競(jìng)態(tài)條件指的是一種特殊的情況猛频,在這種情況下各個(gè)執(zhí)行單元以一種沒(méi)有邏輯的順序執(zhí)行動(dòng)作,從而導(dǎo)致...
    Hughman閱讀 1,286評(píng)論 0 7
  • 越沉淀鹿寻,越想你
    空色_閱讀 116評(píng)論 0 0