系统允许部分进程发生死锁，通过定时运行资源分析程序并报告是否已有死锁的方法称为( )。