计算机操作系统——银行家算法

1.实验目的：

银行家算法是由Dijkstra设计的最具有代表性的避免死锁的算法。本实验通过编写一个模拟动态资源分配的银行家算法程序，进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念，并掌握避免死锁的具体实施方法。

2.实验内容：  

    

（1）模拟一个银行家算法：

  设置数据结构

  设计安全性算法

（2）初始化时让系统拥有一定的资源；

（3）用键盘输入的方式申请资源；

（4）如果预分配后，系统处于安全状态，则修改系统的资源分配情况；

（5）如果预分配后，系统处于不安全状态，则提示不能满足请求

3.算法思路：

先对用户提出的请求进行合法性检查，即检查请求的是不大于需要的，是否不大于可利用的。

若请求合法，则进行试分配。最后对试分配后的状态调用安全性检查算法进行安全性检查。

若安全，则分配，否则，不分配，恢复原来状态，拒绝申请。

4.主要数据结构

§ 可利用资源向量   int Available[m]   m为资源种类

§ 最大需求矩阵       int Max[n][m]     n为进程的数量

§ 分配矩阵               int Allocation[n][m]

§ 还 需 资源 矩阵       int need[i][j] = Max[i][j]- Allocation[i][j]

§ 申请资源数量       int Request [m]  

§ 工作向量               int Work[m]   int Finish[n] 

5.算法描述

1. 银行家算法bank()函数   

Requesti：进程Pi的请求向量。   0<=j<=m-1

      (1)若Requesti[j] ≤Need[i,j]，转向(2)，否则出错。

(2)若 Requesti[j] ≤Available[j]，转向(3)，否则等待。

      (3)系统试探着把资源分配给进程Pi，修改下面内容：

Available[j]= Available[j] – Requesti[j];

Allocation[i,j]= Allocation[i,j]+ Requesti[j];

Need[i,j]= Need[i,j]–Requesti[j];

   (4)试分配后，执行安全性算法，检查此次分配后系统是否处于安全状态。若安全，才正式分配；否则，此次试探性分配作废，进程Pi等待。

2. 安全性算法safe()函数

(1)初始化：设置两个向量Work(1×m)和Finish(1×n)

 Work– 系统可提供给进程继续运行所需各类资源数，初态赋值Available

Finish– 系统是否有足够资源分配给进程，初值false.

(2)从进程集合中满足下面条件进程：

Finish[i]= false;  Need[i,j]≤Work[j];

若找到，执行(3)，否则，执行(4)。

(3)进程Pi获得资源，可顺利执行ÿ