当且仅当当前状态的资源分配图是不可完全化简的

可以利用化简资源分配图的方法来检测系统是否为死锁状态。所谓化简，是指一个进程的所有资源请求均能被满足的话，可以设想它得到其所需的全部资源，最终完成任务，运行完毕，并释放所占有的所有资源。如果一个资源分配图可被其所有进程化简，那么称该图是可化简的，否则称该图是不可化简的。系统处于死锁状态的充分条件是当且仅当系统的资源分配图是不可完全化简的。例如，通过构建资源分配图，分析进程与资源之间的占有和请求关系，来判断系统是否可能出现死锁情况。涉及考点为第8章死锁。