银行家算法安全性检查