操作系统实验银行家算法.pdfVIP

实验三 银行家算法 实验内容简要描述 实验目标： 加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。 要求编写和调试一个系统动态分配资源的简单模拟程序，观察死锁产生的条件，并采用银行家算 法，有效的防止和避免死锁的发生。 实验要求： 银行家算法是避免死锁的一种重要方法，本实验要求用高级语言编写和调试一个简单的银行家算 法程序。 用银行家算法实现资源分配。 设计五个进程 {p0,p1,p2,p3,p4} 共享三类资源 {A,B,C}的系统， 例如， {A,B,C}的资源数量分别为 10 ，5 ， 7 。进程可动态地申请资源和释放资源，系统按进程的申请动态地分配资源，要求程序具有显示 和打印各进程的某一个时刻的资源分配表和安全序列；显示和打印各进程依次要求申请的资源号 以及为某进程分配资源后的有关资源数据。 报告主要内容 设计思路 设计进程对各在资源最大申请表示及初值确定。 设定系统提供资源初始状态。 设定每次某个进程对各类资源的申请表示。 编制程序，依据银行家算法，决定其申请是否得到满足。 主要数据结构 假设有 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-REQUEST 系统执行安全性检查，如安全，则分配成立；否则试探险性分配作废，系统恢复原状，进程等待。 安全性检查： (1)设置两个工作向量 WORK=AVAILABLE；FINISH[M]=FALSE (2)从进程集合中找到一个满足下述条件的进程， FINISH[i]=FALSE NEED=WORK 如找到，执行 (3) ；否则，执行 (4) (3)设进程获得资源，可顺利执行，直至完成，从而释放资源。 WORK=WORK+ALLOCATION FINISH=TRUE GO TO 2 (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]; /* 需求矩阵 */ int REQUEST[MAXPROCESS][MAXRESOURCE]; /* 进程需要资源数 */ bool FINISH[MAXPROCESS]; /* 系统是否有足够的资源分配 */ int p[MAXPROCES