死锁定理：系统为死锁状态的充分条件是：当且仅当该状态的进程资源分配图是不可完全简化的