《操作系统原理》实验报告六.doc

2015——2016学年 第二学期 专 业 班 级 学 号 姓 名 日 期 实 验 题 目 实验 银行家算法实验 了解掌握银行家算法 学会模拟实现资源分配，同时要求编写和调试一个系统分配资源的简单模拟程序 观察死锁产生的条件，并使用适当的算法，有效的防止和避免死锁的发生。 实验理论基础 设计要求：编制银行家算法通用程序，并检测所给状态的系统安全性。 1.银行家算法: 设进程i提出请求Request[n]，则银行家算法按如下规则进行判断。 (1)如果Request[n]Need[i，n]，则报错返回。 (2)如果Request[n]Available，则进程i进入等待资源状态，返回。 (3)假设进程i的申请已获批准，于是修改系统状态：  Available=Available- Request  Allocation=Allocation +Request Need=Need-Request(4)系统执行安全性检查，如安全，则分配成立；否则试探险性分配作废，系统恢复原状，进程等待。 2.安全性检查 (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，则表示安全；否则系统不安全。 1、本试验设计的目的是通过编写和调试一个系统动态分配资源的简单模拟程序，观察死锁产生的条件，并采用适当的算法，有效地防止和避免死锁地发生。要求如下： （1）?模拟一个银行家算法； （2）?初始化时让系统拥有一定的资源； （3）?用键盘输入的方式申请资源； （4）?如果预分配后，系统处于安全状态，则修改系统的资源分配情况； （5）?如果预分配后，系统处于不安全状态，则提示不能满足请求 以下提供了部分该实例的源代码，要求同学们根据理论基础部分内容分析该源代码，并将缺失的程序代码补充完整，然后调试这段程序，最终按要求给出相应的结论。 #include stdio.h #include stdlib.h #include string.h #include time.h int need[10][3]; //进程还需资源矩阵 int max[10][3]; //进程最大需求矩阵 int allocation[10][3]; //已分配资源矩阵 int available[3]; //可用资源向量 int work[3]; //可用资源向量 int finish[10],finish1[10]; //记录进程申请的资源是否能分配 int path[10]={0,1,2,3,4,5,6,7,8,9}; //记录安全序列 int is_save; //是否产生安全序列 int mark[10]; //记录某进程是否已分配资源 void display(int *a,int n) //显示一维数组 { int i; for(i=0;in;i++) printf(%3d,a[i]); } void disp( ) //显示资源列表 { int i; printf(Nnumber\t Max\t\t need\t\t allocation\t avalible\n); for(i=0;iN;i++) {printf(p%d\t,i);//--分别显示P0,P1,P2的Max,Need,Allocation,Avalible display(max[i],M); printf(\t); display(need[i],M); printf(\t); display(allocation[i],M); printf(\t); if(i==0) display(available,M); pri