操作系统学习-15 银行家算法

写在前面

最有代表性的避免死锁的算法，是 Dijkstra 的银行家算法。这是由于该算法能用于银行系统现金贷款的发放而得名的。为实现银行家算法，系统中必须设置若干数据结构。

银行家算法中的数据结构

四种数据结构中，i表示进程编号，j表示可利用资源编号。假定系统中有n个进程，m类可使用资源。

(1) 可利用资源向量 Available。
这是一个含有 m 个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果 Available[j]=K，则表示系统中现有 R j类资源K 个。

(2) 最大需求矩阵 Max。
这是一个 n×m 的矩阵，它定义了系统中 n 个进程中的每一个进程对 m 类资源的最大需求。如果 Max[i,j]=K，则表示进程 i 需要 Rj 类资源的最大数目为 K。

(3) 分配矩阵 Allocation。
这也是一个 n×m 的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果 Allocation[i,j]=K，则表示进程 i 当前已分得 R j类资源的数目为 K。

(4) 需求矩阵 Need。
这也是一个 n×m 的矩阵，用以表示每一个进程尚需的各类资源数。如果 Need[i,j]=K，则表示进程 i 还需要 R j类资源 K 个，方能完成其任务。

上述三个矩阵间存在下述关系：

Need[i, j]=Max[i, j]-Allocation[i, j]。可以简单记为：需求=最大需求-已分配。