ch3-36費翔林操作系統(tǒng)第四版ch3-3死鎖-資料下載頁
2025-05-13 18:10本頁面
【正文】 k,*]。 ? rest=rest–{Pk}。 ? } ? else ? possible=false。 ? } ? return(rest=null)。 ? } 資源分配圖和死鎖定理 ?解決死鎖問題的一條途徑是死鎖檢測和解除，這種方法對資源的分配不加任何限制，也不采取死鎖避免措施，但系統(tǒng)定時地運行一個 “ 死鎖檢測 ” 程序，判斷系統(tǒng)內(nèi)是否已出現(xiàn)死鎖，如果檢測到系統(tǒng)已發(fā)性了死鎖，再采取措施解除它。 進程 資源分配圖 ?約定 Pi→Rj 為請求邊，表示進程 Pi申請資源類 Rj中的一個資源得不到滿足而處于等待 Rj類資源的狀態(tài)，該有向邊從進程開始指到方框的邊緣，表示進程 Pi申請 Rj類中的一個資源。 ?Rj→Pi 為分配邊，表示 Rj類中的一個資源已被進程 Pi占用，由于已把一個具體的資源分給了進程 Pi，故該有向邊從方框內(nèi)的某個黑圓點出發(fā)指向進程。 資源分配圖的一個例子 R1 R2 ． ．． ． P1 P2 P3 R3 資源分配圖的另一個例子 R1 R2 P2 P3 P4 P1 資源分配圖的另一個例子 簡化進程 資源分配圖檢測系統(tǒng)是否處于死鎖狀態(tài) (1) (1)如果進程 資源分配圖中無環(huán)路，則此時系統(tǒng)沒有發(fā)生死鎖。 (2)如果進程 資源分配圖中有環(huán)路，且每個資源類中僅有一個資源，則系統(tǒng)中發(fā)生了死鎖，此時，環(huán)路是系統(tǒng)發(fā)生死鎖的充要條件，環(huán)路中的進程便為死鎖進程。 (3)如果進程 資源分配圖中有環(huán)路 ， 且涉及的資源類中有多個資源 ， 則環(huán)路的存在只是產(chǎn)生死鎖的必要條件而不是充分條件 。 簡化進程 資源分配圖檢測系統(tǒng)是否處于死鎖狀態(tài) (2) ?如果能在進程 資源分配圖中消去此進程的所有請求邊和分配邊 ， 成為孤立結(jié)點 。經(jīng)一系列簡化 ， 使所有進程成為孤立結(jié)點 ， 則該圖是可完全簡化的；否則則稱該圖是不可完全簡化的 。 ?系統(tǒng)為死鎖狀態(tài)的充分條件是：當且僅當該狀態(tài)的進程 資源分配圖是不可完全簡化的 。 該充分條件稱為死鎖定理 。 2死鎖的檢測和解除方法 (1) (1) 借助于死鎖的安全性測試算法來實 現(xiàn)。死鎖檢測算法與死鎖避免算法是類似的，不同在于前者考慮了檢查每個進程還需要的所有資源能否滿足要求；而后者則僅要根據(jù)進程的當前申請資源量來判斷系統(tǒng)是否進入了不安全狀態(tài)。 死鎖的檢測和解除方法 (2) 一種具體的死鎖檢測方法， 檢測算法步驟如下： ? 1)currentavail=available； ? 2)如果 allocation[k,*]!=0，令 finish[k]=false。否則finish[k]=true； ? 3)尋找一個 k，它應滿足條件：(finish[k]==false)amp。amp。(request[k,*]=currentavail[*])。若找不到這樣的 k，則轉(zhuǎn)向 5)； ? 4)修改currentavail[*]=Currentavail[*]+allocation[k,*]。 finish[k]=true。然后轉(zhuǎn)向 3)； ? 5)如果存在 k(1≤k≤n),finish[k]=false, 則系統(tǒng)處于死鎖狀態(tài)，并且 finish[k]=false的 Pk為處于死鎖的進程。 死鎖的解除 (1) ?結(jié)束所有進程的執(zhí)行，重新啟動操作系統(tǒng)。方法簡單，但以前工作全部作廢，損失很 ?撤銷陷于死鎖的所有進程，解除死鎖繼續(xù) ?逐個撤銷陷于死鎖的進程，回收其資源重 死鎖的解除 (2) ? 剝奪陷于死鎖的進程占用的資源，但并不撤銷它，直至死鎖解除?？煞抡粘蜂N陷于 ? 根據(jù)系統(tǒng)保存的檢查點，讓所有進程回退，直到足以解除死鎖，這種措施要求系統(tǒng)建 ? 當檢測到死鎖時，如果存在某些未卷入死鎖的進程，而隨著這些進程執(zhí)行到結(jié)束，有可能釋放足夠的資源來解除死鎖。
醫(yī)療健康相關推薦
鄂ICP備17016276號-1