简述死锁定理。

简述死锁定理。
【正确答案】：(1)如果资源分配图中没有环路，则系统没有死锁。
(2)如果资源分配图中出现了环路，则系统中可能存在死锁。
①如果处于环路中的每个资源类中均只包含一个资源实例，则环路的存在即意味着死锁的存在。此时，环路是死锁的充分必要条件。
②如果处于环路中的每个资源类中资源实例的个数不全为1，则环路的存在是产生死锁的必要条件而不是充分条件。P150