-银行家算法实现.doc

温州大学计算机科学与工程学院
实验三:银行家算法实现实验报告
实验名称:
实验三:银行家算法实现
班级:
姓名:
学号:
实验地点:
日期:
、实验目的:
银行家算法是避免死锁的一种重要方法,本实验要求用高级语言编写和调试一个简单的银行家算法程序。加深了解进程资源动态申请、避免死锁等概念,并体会和了解死锁和避免死锁的具体实施方法。
实验环境:
Windows XP , C-free 或其它语言环境
三、实验内容和要求:
。
。
。
,依据银行家算法,决定其申请是否得到满足;
5. 用教材中的例子,验证程序的正确性。
四、实验补充说明

本程序所涉M个进程N类资源,则有如下数据结构:
Max [M*N] M个进程对N类资源的最大需求量
Available [N] 系统可用资源数
Allocation [M*N] M个进程已经得到N类资源的资源量
Need [M*N] M个进程还需要N类资源的资源量

设进程i提出请求Request[N],则银行家算法按如下规则进行判断。
(1)如果Request[N]<=Need[I,N],则转(2);否则,出错。
(2)如果Request[N]<=Available,则转(3);否则,出错。
(3)系统试探分配资源,修改相关数据:
Available = Available -Request
Allocation= Allocation +Request
Need=Need-RequestT
(4)系统执行安全性检查,如安全,则分配成立;否则试探险性分配作废,系统恢复原状,进程等待。

(1)设置两个工作向量Work=Available;Finish[M]=FALSE
(2)从进程集合中找到一个满足下述条件的进程,
Finish[i]=FALSE
Need<=Work
如找到,执行(3);否则,执行(4)
(3)设进程获得资源,可顺利执行,直至完成,从而释放资源。
Work= Work + Allocation
Finish =True; 转向执行步骤(@)
(4)如所有的进程Finish[M]=true,则表示安全;否则系统不安全。
四、程序流程图
银行家算法流程图:

]
四、实验步骤:
(对实验步骤的说明应该能够保证根据该说明即可重复完整的实验内容,得到正确结果。)
#include <iostream>
using namespace std;
#define MAXPROCESS 50 /*最大进程数*/
#define MAXRESOURCE 100 /*最大资源数*/
int AVAILABLE[MAXRESOURCE]; /*可用资源数组*/
int MAX[MAXPROCESS][MAXRESOURCE]; /*最大需求矩阵*/
int ALLOCATION[MAXPROCESS][MAXRESOURCE]; /*分配矩阵*/
int NEED[MAXPROCESS][MAXRESOURCE]; /