银行家算法（初学者，简单易懂）

一、背景知识

     银行家算法（Banker's Algorithm）是一个避免死锁（Deadlock）的著名算法，是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行，这种算法的提出能保证银行在发送贷款的时候，不会发生不满足所有用户需要的情况。

二、实验内容

1. 银行家算法中的数据结构

（1）可利用资源向量Available。它含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，如果Available[j]=K，则表示系统中现有Rj类资源K个。

（2）最大需求矩阵Max。是一个n×m的矩阵，如果Max(i,j)=K，则表示进程i需要Rj 类资源的最大数目为K。

（3）分配矩阵Allocation。是一个n×m的矩阵，如果Allocation(i,j)=K,则表示进程i当前已分得Rj 类资源的数目为K。

（4）需求矩阵Need。是一个n×m的矩阵，如果Need(i,j)=K，则表示进程i还需要Rj 类资源K个，方能完成其任务。

上述三个矩阵间存在下述关系：Need[i,j]=Max[i,j]-Allocation[i,j]

2. 银行家算法

如果Requesti[j]=K，表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后，系统按下述步骤进行检查：

（1）如果Requesti[j]<=Need[i,j]，转步骤（2）；否则出错。

（2）如果Requesti[j]<=Available[j]，转步骤（3）；否则，表示尚无足够资源，Pi须等待。

（3）系统试探着把资源分配给进程Pi，并修改下面数据结构中的数值：

     Available[j]:= Available[j]-Requesti[j];