系統闡述死鎖定義、四大必要條件、預防與解除原則，並給出 5 大降低死鎖實戰策略，適合作為資料庫並發控制理論參考。
死鎖定義
兩個或以上進程因爭奪資源造成互相等待，無外力無法推進。資源佔用互斥，申請不到必需資源永久阻塞。
四大必要條件（缺一不可）
- 互斥條件：資源單獨佔用。
- 請求與保持：持有資源同時請求新資源並阻塞。
- 不剝奪條件：資源未用完前不可強制搶佔。
- 循環等待：進程形成首尾相接的等待環。
打破任一條件即可避免死鎖。
預防與動態避免
- 系統設計階段：合理規劃資源分配演算法，避免永久佔用。
- 運行時：對每次資源申請動態檢查（銀行家演算法思想），分配後可能導致死鎖則拒絕。
5 大降低死鎖實戰策略
- 統一存取順序：所有並發事務按相同順序訪問表/行（如存儲過程統一入口）。
- 避免事務中用戶交互：人工響應極慢，導致鎖長時間持有，阻塞其他事務。
- 保持事務短小、批次化：減少持鎖時間，降低衝突概率；批次處理減少網路往返。
- 使用較低隔離級別：
READ COMMITTED 縮短共享鎖持有時間，減少鎖爭用。
- 使用綁定連接：同一應用多連接共享鎖資源，避免自我阻塞。
總結
死鎖無法完全消除，但通過架構規範（統一順序、短事務）、隔離級別選擇、應用重試機制，可將發生率壓至極低，保障系統吞吐量。
