若检测后发现系统有死锁，则可通过_________或_________方法来解除死锁。