安全状态检测与银行家算法