[操作系統] - No.2 死鎖、活鎖，飢餓

死鎖的規範定義是：如果一個進程集合中的每個進程都在等待只能由改進成幾何中的其它集合才能引發的事件（釋放某些資源），那麼該集合就是死鎖的。 死鎖的四個必要條件是： 1.互斥條件：每個資源要麼已經分配給一個進程，要麼就是可用的 2.佔有和等待：已經得到了某個資源的進程可以申請其他資源 3.不可搶佔條件：一個已經被佔有的資源不可以被其他資源搶佔，只能由佔有該資源的其他資源顯式釋放 4.環路等待：死鎖發生

>>阅读原文<<