重點複習.pdfVIP

Chapter 7 本投影片僅供教學用, 如有著作權 相關問題請惠予通知, jovice@.tw 什麼是 Dead lock? 形成Deadlock的 四個必要條件為何? • Dead Lock的定義 – 系統中存在一組Processes陷入“互相等待對方所擁 有之資源”的情況即( : Circular Waiting) ，造成所有 Processes皆無法往下執行，使得 CPU利用度及産能 大幅降低 • Dead Lock的四個必要條件： – Mutual exclusion (互斥) – Hold and wait (持有並等待) – No preemption (不可搶先) – Circular waiting (循環式等候) 2 請列出四個形成哲學家問題的條件 • Mutual exclusion叉子一次只能被一位哲學家擁有: • Hold and wait:每一位哲學家拿起左邊叉子但又無 法拿起右手邊叉子 • No preemptive:除非哲學家吃飽 ,才自願把叉子放 下,不然叉子不能被搶 • Circular wait: 每一位哲學家都在等待右手邊叉子 3 如何做到 Deadlock prevention? 打破Dead Lock 四個必要條件之其一，就可保證死結永不發生 • Mutual exclusion: –讓 shared resource 不需要mutually exclusion ,但某些resources 與生俱來non- sharable所以不可能打破 . • Hold and wait: 實施下列之一的 protocol即可打破 –除非 process可以一次取得完成工作所需的全部資源，才允許 process 持有 資源，否則不持有任何資源 – 允許process在執行之初可先持有部分資源，一旦要申請新資源，則必須先 釋放持有的全部資源，才可以提申請 • No-Preemption: –改成 preemption 高優先權 process可以搶奪低優先權 process所持有的資源 • Circular waiting: – 給予每個 Resource唯一的 (unique)資源編號 (ID) , 並規定process 需依資源編 號遞增的方式提出申請 • Ex1:持有R1,申請 R3ok • Ex2:持有R3,申請 R1先釋放R3 ，才可申請R1 4 • Ex3:持有R1,R5,申請 R3釋放 R5, 留 R1,即可申請 R3 請解釋 Banker’s Algorithm的用途與 其pseudo code • 用途 : Banker’s Algorithm 可用來檢視系統是否會因接受某個 Process的申請而進入死結 • pseudo code Step 1. Let Work[1..m] and Finish[1..n] be two working arrays. Step 2. Work := Available and Finish[i]=FALSE for all i Step 3. Find an i such that both Finish[i]=FALSE // process i is not yet done Need[i,*]  Work // its need can be satisfied If no such i exists, go to Step 5. Step 4. Work = Work + Allocation[i,*] // run it and reclaim Finish[i]=TRUE // process i completes go to