操作系統(tǒng)第五章死鎖與饑餓(編輯修改稿)
2025-06-18 23:52 本頁面
【文章內(nèi)容簡介】 ..m]of integer。 ⑦ Finish: array[1..n]of boolean 假設(shè)某一時刻 ， 進程 Pi提出了資源請求 Request[j] ，銀行家算法的操作過程可用以下各步表示： (1) 如果 Request［ j］ ≤Need［ i,j］ ， 便 轉(zhuǎn)向步驟 2；否則認為出錯 ， 因為它所需要的資源數(shù)已超過它所宣布的最大值 。 (2) 如果 Request［ j］ ≤Available［ j］ ， 便轉(zhuǎn)向步驟 (3)；否則 ， 表示尚無足夠資源 ， Pi須等待 。 算法 51：銀行家算法 資源分配算法 (3)系統(tǒng)對進程 Pi實施資源的 預(yù)分配 Available［ j］ =Available［ j］ Requesti［ j］ 。 Allocation［ i,j］ =Allocation［ i,j］ +Requesti［ j］ 。 Need［ i,j］ =Need［ i,j］ Requesti［ j］ 。 (4)通過調(diào)用 安全性算法 判斷 此次分配 是否要真正實施 。 調(diào)用安全性算法 ， 根據(jù)返回值判斷此次分配的真正實施是否安全 。 如果安全 ， 則真正實施分配；如果不安全 ， 則取消預(yù)分配 。 算法 51：銀行家算法 資源分配算法 資源分配 Pi請求資源 Request[I]?Need[I] 請求超量，錯返 Request[I]?Available 不滿足，等待 Available:=AvailableRequest[I] Allocation[I]:=Allocation[I]+Request[I] Need[I]:=Need[I]Request[I] 安全 確認， pi繼續(xù) Available:=Available+Request[I] Allocation[I]:=Allocation[I]Request[I] Need[I]:=Need[I]+Request[I] pi等待 F T F T T F (1) 設(shè)置兩個向量： ① 工作向量 Work 用于記錄當(dāng)前可用的每類資源的數(shù)目在執(zhí)行安全算法開始時 ， Work∶ =Available。 ② Finish: 用于記錄進程 P1， P2， ……， Pn是否可運行完成 。 比如 ，F(xiàn)inish [i]=true， 表示進程 Pi可運行完成； Finish [i]=false，表示進程 Pi不能運行完成 開始時先做 Finish［ i］ =false。 當(dāng)有足夠資源分配給進程時 ， 再令 Finish［ i］ =true。 算法 52：銀行家算法 ? 安全性檢查算法 算法 52：銀行家算法 ? 安全性檢查算法 安全性算法按以下各步操作尋找進程的安全序列 1. Work = Available； Finish = false； 2. 尋找滿足如下條件的 i: (1) Finish[i]==false； (2) Need[i]≤Work[i]； 如果不存在 , 則轉(zhuǎn)步驟 4； 3. Work = Work + Allocation[i]； Finish[i] = true； 轉(zhuǎn)步驟 2 4. 如果對于所有 i, Finish[i] = true, 則系統(tǒng)處于安全狀態(tài) , 否則處于不安全狀態(tài) . 安全性檢測算法 F Work:=Available。 Finish:=false。 有滿足條件的 j: Finish[j]=false Need[j]?Work Finish[j]=true。 Work:=Work+Allocation[j] T ?j ,finish[j]=true T F 安全 不安全 銀行家算法例子 R={A(10),B(5),C(7)} P={p0,p1,p2,p3,p4} Max Allocation Need Available Work Finish A B C A B C A B C A B C A B C 7 5 3 0 1 0 7 4 3 3 3 2 3 2 2 2 0 0 1 2 2 9 0 2 3 0 2 6 0 0 2 2 2 2 1 1 0 1 1 4 3 3 0 0 2 4 3 1 P0: p1: p2: p3: p4: 安全進程序列： p1,p3,p4,p2,p0 p1請求： Request[1]=(1,0,2) (2) P1請求資源 ： P1發(fā)出請求向量 Request(1， 0， 2)，系統(tǒng)按銀行家算法進行檢查： ① Request(1, 0, 2)≤Need(1, 2, 2) ② Request(1, 0, 2)≤Available(3, 3, 2) ③ 系統(tǒng)先假定可為 P1分配資源 ， 并修改 Available, Allocation1和 Need1向量 ④ 再利用安全性算法檢查此時系統(tǒng)是否安全 。 銀行家算法例子 Max Allocation Need Available Work Finish A B C A B C A B C A B C A B C 7 5 3 0 1 0 7 4 3 2 3 0 3 2 2 3 0 2 0 2 0 9 0 2 3 0 2 6 0 0 2 2 2 2 1 1 0 1 1 4 3 3 0 0 2 4 3 1 P0: p1: p2: p3: p4: 假定分配： 安全進程序列： p1,p3,p4,p0,p2 ① p4請求： Request[4]=(3,3,0), 能否滿足？ ② p0請求： Request[0]=(0,2,0), 能否滿足？ (3) p4請求資源 ： p4發(fā)出請求向量 Request(3， 3， 0)， 系統(tǒng)按銀行家算法進行檢查： ① Request(3, 3, 0)≤Need(4, 3, 1)。 ② Request(3, 3, 0) Available(2, 3, 0)， 讓 p4等待 。 (4) p0請求資源 ： p0發(fā)出請求向量 Requst(0， 2， 0)， 系統(tǒng)按銀行家算法進行檢查： ① Request(0, 2, 0)≤Need(7, 4, 3)。 ② Req
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1