devicemanager剩下银行家算法