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

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

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

產生死鎖的必要條件：

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

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

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

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

解決死鎖的基本方法：

預防死鎖：

資源一次性分配：一次性分配所有資源，這樣就不會再有請求了：（破壞請求條件）

只要有一個資源得不到分配，也不給這個程序分配其他的資源：（破壞請保持條件）

可剝奪資源：即當某程序獲得了部分資源，但得不到其它資源，則釋放已佔有的資源（破壞不可剝奪條件）

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

避免死鎖:

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

檢測死鎖

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

然後建立資源分配表和程序等待表。

解除死鎖:

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

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

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

thanks: http://blog.csdn.net/bxyill/article/details/8237339