# 死鎖復習題 > 原文：<https://github.com/angrave/SystemProgramming/wiki/Deadlock-Review-Questions> ## 話題 Coffman 條件資源分配圖用餐哲學家 * DP 解決方案失敗 * 活鎖 DP 解決方案 * 工作 DP 解決方案：優勢/缺點 ## 問題 * 什么是科夫曼條件？ * 每個科夫曼條件意味著什么？ （例如，你能提供每個的定義） * 給出一個真實的例子，依次打破每個 Coffman 條件。需要考慮的情況：畫家，油漆，油漆刷等。您如何確保工作完成？ * 能夠識別 Dining Philosophers 代碼何時導致死鎖（或不）。例如，如果您看到以下代碼片段不滿足 Coffman 條件？ ```c // Get both locks or none. pthread_mutex_lock( a ); if( pthread_mutex_trylock( b ) ) { /*failed*/ pthread_mutex_unlock( a ); ... } ``` * 如果一個線程調用 ```c pthread_mutex_lock(m1) // success pthread_mutex_lock(m2) // blocks ``` 和另一個線程調用 ```c pthread_mutex_lock(m2) // success pthread_mutex_lock(m1) // blocks ``` 會發生什么？為什么？如果第三個線程調用`pthread_mutex_lock(m1)`會發生什么？ * 有多少進程被阻止？像往常一樣，假設一個進程能夠獲得下面列出的所有資源，就能夠完成。 * P1 獲得 R1 * P2 獲得 R2 * P1 收購 R3 * P2 等待 R3 * P3 收購 R5 * P1 等待 R4 * P3 等待 R1 * P4 等待 R5 * P5 等待 R1 （畫出資源圖！）