若系统资源分配图无环则一定没发生死锁，若有环，则一定已发生死锁。