揭秘：“死鎖”四個必要條件的合了解釋

 《“死鎖”四個必要條件的合了解釋》分為三個部分：

【1】“死鎖”的含義

【2】“死鎖”的原因及四個必要條件的合了解釋

【3】“死鎖”的預防和解除

1.“死鎖”的含義

所謂死鎖：是指兩個或兩個以上的程序在執行過程中，由于競争資源或者由于彼此通信而造成的一種阻塞的現象，若無外力作用，它們都将無法推進下去。此時稱系統處于死鎖狀态或系統産生了死鎖，這些永遠在互相等待的程序稱為死鎖程序。

2.“死鎖”産生的原因以及四個必要條件的合了解釋

産生死鎖的原因可歸結為如下兩點：

（1）競争資源。當系統中供多個程序共享的資源如列印機、公用隊列等，其數目不足以滿足程序的需要時，會引起諸程序的競争而産生死鎖。

（2）程序間推進順序非法。程序在運作過程中，請求和釋放資源的順序不當，也同樣會導緻産生程序死鎖。

産生死鎖的四個必要條件：

1.互斥（Mutual exclusion）：存在這樣一種資源，它在某個時刻隻能被配置設定給一個執行緒（也稱為線程）使用；

2.持有（Hold and wait）：當請求的資源已被占用進而導緻執行緒阻塞時，資源占用者不但無需釋放該資源，而且還可以繼續請求更多資源；

3.不可剝奪（No preemption）：執行緒獲得到的互斥資源不可被強行剝奪，換句話說，隻有資源占用者自己才能釋放資源；

4.環形等待（Circular wait）：若幹執行緒以不同的次序擷取互斥資源，進而形成環形等待的局面，想象在由多個執行緒組成的環形鍊中，每個執行緒都在等待下一個執行緒釋放它持有的資源。

發現到目前為止，所有的内容都可以在課本書籍、百度、論壇、部落格上找到，似乎是教條的羅列。

我們發現看過多次，但每每需要的時候（開發、筆試、面試）卻總要回頭再看~難以擺脫遺忘、記憶的循環~我覺得産生這種現象的原因是因為：停留在機械記憶。

因為我們的教科書、論壇、部落格的内容十有八九在羅列這些概念~但很少有進一步解釋、闡釋其存在的必然（四個必然條件為什麼不多一個，又為什麼不少一個？）及其内在邏輯。

或許下面的闡釋能讓你再遇到這個問題時，可以不翻教科書，不上網百度就能侃侃而談~

想要學習Java開發的同學，可以參考成都Java教育訓練班提供的學習大綱；

<1>.“死鎖”産生有幾個必要條件？

“死鎖”中“死”音通“四”是四個條件。（雖然很牽強，但對于識記，你會發現很有用！）

<2>.“四”鎖的必要條件都是指哪些？

1.資源互斥性（資源的屬性，不會同時屬于/配置設定給多個程序）->2.持有和等待（程序被配置設定（持有）資源後而且在等待（申請）其他資源）->3不可剝奪（對于已配置設定的資源，不可再強制收回來）->4.環形等待(程序之間資源等待形成互相依賴，互不禮讓)

用再通俗的話，進一步解釋這個逐漸更新的狀況。1->2->3->4是資源配置設定逐漸條件遞進、加強、更新的過程：資源是互斥的每次屬于一個程序（1.互斥）；

資源配置設定了我占着而且我還要申請其他資源（2.持有和等待）；

我占着的資源你沒法拿，你占着的資源我沒法拿（3.不可剝奪）；

我申請的資源在你那，你申請的資源在我這（4.循環等待），最終形成了一個互相占有、互相等待的僵持局面~

3.“死鎖”的預防和解除

了解了死鎖的原因，尤其是産生死鎖的四個必要條件，就可以最大可能地避免、預防和解除死鎖，消除産生死鎖的四個必要條件中的任何一個都可以預防和解除死鎖。

不難看出，在死鎖的四個必要條件中，第二、三和四項條件比較容易消除。

1、靜态配置設定：采用資源靜态配置設定政策（程序資源靜态配置設定方式是指一個程序在建立時就配置設定了它需要的全部資源），破壞"部分配置設定"條件；