u011489802的博客

设进程i提出请求Request[n]，则银行家算法按如下规则进行判断。 (1)如果Request[n]>Need[i，n]，则报错返回。 (2)如果Request[n]>Available，则进程i进入等待资源状态，返回。 (3)假设进程i的申请已获批准，于是修改系统状态： Available=Available-Request Allocation=Allocation+Request Need=Need-Request (4)系统执行安全性检查，如安全，则分配成立；否则试探险性分配作废，系统恢复原状，进程等待。