单选题   死锁定理的描述是______。
 
【正确答案】 C
【答案解析】可以利用简化资源分配图的方法,来检测系统是否为死锁状态。所谓简化是指若一个进程的所有资源请求均能被满足的话,可以设想该进程得到其所需的全部资源,最终完成任务,运行完毕,并释放所占有的全部资源。加入一个资源分配图可被其所有进程简化,那么称该图是可简化的,否则称该图是不可简化的。系统处于死锁状态的充分条件是当且仅当该系统的资源分配图是不可简化的。因此,本题答案选择C选项。