死锁避免算法

银行家算法是一种最有代表性的避免死锁的算法，又被称为“资源分配拒绝”法。在避免死锁方法中允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次分配资源的安全性，若分配不会导致系统进入不安全状态，则分配，否则等待。例如，假设有一定数量的资源如资金和多个进程如客户，银行家操作系统在每次客户请求资金资源时，会检查是否存在一种分配方式使得所有客户最终都能完成任务即系统不会进入死锁状态，如果有，则可以分配，否则拒绝分配。涉及考点为第8章死锁。