多个进程竞争比进程数目少的资源分配情况进行安全分析，如果该时刻状态是安全的，则存在一个安全序列，且这个安全序列是唯一的。