银行家算法有效的前提是所有进程所需资源的总量不超过系统可用资源数。