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

死鎖預(yù)防

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

1)破壞不剝奪條件

規(guī)定進(jìn)程逐個提出資源請求。當(dāng)一個已經(jīng)保持某些資源的進(jìn)程再提出新資源請求而無法立刻被滿足時,必須釋放它已經(jīng)保持了的所有資源,待將來需要時重新申請。進(jìn)程在運行過程中,已占有的資源可能被暫時釋放,從而摒棄了“不剝奪”條件。

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

2) 破壞請求和保持條件

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

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

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

為了破壞循環(huán)等待條件,可釆用順序資源分配法。首先給系統(tǒng)中的資源編號,規(guī)定每個進(jìn)程,必須按編號遞增的順序請求資源,同類資源一次申請完。也就是說,只要進(jìn)程提出申請分配資源Ri,則該進(jìn)程在以后的資源申請中,只能申請編號大于Ri的資源。

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

死鎖避免

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

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

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

所謂安全狀態(tài),是指系統(tǒng)能按某種進(jìn)程推進(jìn)順序( P1, P2, ..., Pn),為每個進(jìn)程Pi分配其所需資源,直至滿足每個進(jìn)程對資源的最大需求,使每個進(jìn)程都可順序地完成。此時稱 P1, P2, ..., Pn 為安全序列。如果系統(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)。

2 銀行家算法

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

2.1 分配過程描述
  1. 進(jìn)程首次申請資源時,要測試其對資源的最大需求量,若現(xiàn)存資源可滿足它的最大需求量則按當(dāng)前的申請量分配資源,否則就推遲分配。

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

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

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

最大需求矩陣Max:為n*m矩陣,定義了系統(tǒng)中n個進(jìn)程中的每一個進(jìn)程對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矩陣,表示每個進(jìn)程尚需的各類資源數(shù)。Need[i, j]=K,則表示進(jìn)程i還需要Rj類資源的數(shù)目為K。

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

2.3 銀行家算法描述

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

①如果Requesti[j] <= Need[i, j],便轉(zhuǎn)向步驟②;否則認(rèn)為出錯,因為它所需要的資源數(shù)已超過它所宣布的最大值。

②如果Requesti[j] <= Available[j],便轉(zhuǎn)向步驟③;否則,表示尚無足夠資源,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ù)原來的資源分配狀態(tài),讓進(jìn)程Pi等待。

2.4 安全性算法

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

②從進(jìn)程集合中找到一個能滿足下述條件的進(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)容合作請聯(lián)系作者
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 229,732評論 6 539
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 99,214評論 3 426
  • 文/潘曉璐 我一進(jìn)店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 177,781評論 0 382
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經(jīng)常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 63,588評論 1 316
  • 正文 為了忘掉前任,我火速辦了婚禮,結(jié)果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當(dāng)我...
    茶點故事閱讀 72,315評論 6 410
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 55,699評論 1 327
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,698評論 3 446
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側(cè)響起,我...
    開封第一講書人閱讀 42,882評論 0 289
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 49,441評論 1 335
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 41,189評論 3 356
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學(xué)時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 43,388評論 1 372
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,933評論 5 363
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 44,613評論 3 348
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 35,023評論 0 28
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 36,310評論 1 293
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 52,112評論 3 398
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點故事閱讀 48,334評論 2 377

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

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