死鎖定理是用於處理死鎖的哪壹種方法

系統處於死鎖的充分條件是：當且僅當此狀態的進程-資源分配圖（是對當前狀態的圖形化描述）是不可完全簡化的，這壹充分條件稱為死鎖定理。由定理可知，這是壹種檢測方法。