產生死結的原因和必要條件+解決死結的基本方法

 死結：指多個進程因競爭共用資源而造成的一種僵局，若無外力作用，這些進程都將永遠不能再
向前推進。

安全狀態與不安全狀態：安全狀態指系統能按某種進程順序來為每個進程分配其所需資源，直 至最大需求，使每個進程都可順利完成。若系統不存在這樣一個序列， 則稱系統處於不安全狀態。

 

 

 

 

產生死結的原因：（1）競爭系統資源 （2）進程的推進順序不當

產生死結的必要條件：

互斥條件：進程要求對所分配的資源進行排它性控制，即在一段時間內某資源僅為一進程所佔用。

請求和保持條件：當進程因請求資源而阻塞時，對已獲得的資源保持不放。

不剝奪條件：進程已獲得的資源在未使用完之前，不能剝奪，只能在使用完時由自己釋放。

環路等待條件：在發生死結時，必然存在一個進程--資源的環形鏈。

解決死結的基本方法：

預防死結：

資源一次性分配：（破壞請求和保持條件）

可剝奪資源：即當某進程新的資源未滿足時，釋放已佔有的資源（破壞不可剝奪條件）

資源有序分配法：系統給每類資源賦予一個編號，每一個進程按編號遞增的順序請求資源，釋放則相反（破壞環路等待條件）

 

避免死結:

預防死結的幾種策略，會嚴重地損害系統效能。因此在避免死結時，要施加較弱的限制，從而獲得 較滿意的系統效能。由於在避免死結的策略中，允許進程動態地申請資源。因而，系統在進行資源分派之前預先計算資源分派的安全性。若此次分配不會導致系統進入不安全狀態，則將資源分派給進程；否則，進程等待。其中最具有代表性的避免死結演算法是銀行家演算法。

 

檢測死結

首先為每個進程和每個資源指定一個唯一的號碼；

然後建立資源分派表和進程等待表，例如：

 

 

 

 

解除死結:

當發現有進程死結後，便應立即把它從死結狀態中解脫出來，常採用的方法有：

剝奪資源：從其它進程剝奪足夠數量的資源給死結進程，以解除死結狀態；

撤消進程：可以直接撤消死結進程或撤消代價最小的進程，直至有足夠的資源可用，死結狀態.消除為止；所謂代價是指優先順序、運行代價、進程的重要性和價值等。