S为死锁状态的充分条件是当且仅当S状态的资源分配图是不可能完全简化的,这是()
死锁检测
死锁定理
死锁避免
死锁预防
死锁定理为:S为死锁状态的充分条件是当且仅当S状态的资源分配图是不可能完全简化的。