產生死鎖的原因和必要條件+解決死鎖的基本方法
死鎖:指多個程序因競爭共享資源而造成的一種僵局,若無外力作用,這些程序都將永遠不能再 向前推進。
安全狀態與不安全狀態:安全狀態指系統能按某種程序順序來為每個程序分配其所需資源,直 至最大需求,使每個程序都可順利完成。若系統不存在這樣一個序列, 則稱系統處於不安全狀態。
產生死鎖的原因:(1)競爭系統資源 (2)程序的推進順序不當
產生死鎖的必要條件:
互斥條件:程序要求對所分配的資源進行排它性控制,即在一段時間內某資源僅為一程序所佔用。
請求和保持條件:當程序因請求資源而阻塞時,對已獲得的資源保持不放。
不剝奪條件:程序已獲得的資源在未使用完之前,不能剝奪,只能在使用完時由自己釋放。
環路等待條件:在發生死鎖時,必然存在一個程序--資源的環形鏈。
解決死鎖的基本方法:
預防死鎖:
資源一次性分配:(破壞請求和保持條件)
可剝奪資源:即當某程序新的資源未滿足時,釋放已佔有的資源(破壞不可剝奪條件)
資源有序分配法:系統給每類資源賦予一個編號,每一個程序按編號遞增的順序請求資源,釋放則相反(破壞環路等待條件)
避免死鎖:
預防死鎖的幾種策略,會嚴重地損害系統性能。因此在避免死鎖時,要施加較弱的限制,從而獲得 較滿意的系統效能。由於在避免死鎖的策略中,允許程序動態地申請資源。因而,系統在進行資源分配之前預先計算資源分配的安全性。若此次分配不會導致系統進入不安全狀態
檢測死鎖
首先為每個程序和每個資源指定一個唯一的號碼;
然後建立資源分配表和程序等待表,例如:
解除死鎖:
當發現有程序死鎖後,便應立即把它從死鎖狀態中解脫出來,常採用的方法有:
剝奪資源:從其它程序剝奪足夠數量的資源給死鎖程序,以解除死鎖狀態;
撤消程序:可以直接撤消死鎖程序或撤消代價最小的程序,直至有足夠的資源可用,死鎖狀態.消除為止;所謂代價是指優先順序、執行代價、程序的重要性和價值等。