在死锁检测中，______是用于判断是否可以安全分配资源的工具。

安全序列是用于判断系统是否处于安全状态，即在某个顺序上可以完成所有进程的执行，是死锁检测的一部分。