死锁的检测可以通过()图 利用()定理来实现。