银行家算法：安全性检查