实验四银行家算法资料.doc

操作系统实验 实验四 银行家算法 学号 1115107047 姓名 吴炜松 班级 11电子B 华侨大学电子工程系 1、银行家算法和安全性检查算法原理。 操作系统的银行家算法：当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先测试该进程本次申请的资源数是否超过了该资源所剩余的总量。若超过则拒绝分配资源，若能满足则按当前的申请量分配资源，否则也要推迟分配。 程序流程描述。 进程i发出请求资源申请，?? (1)如果Request?[j]=need[i,j],转向步骤(2),否则认为出错，因为他所需要的资源数已经超过它所宣布的最大值。? (2)如果：Request?i[j]=available[i,j]，转向步骤(3)，否则提示尚无足够资源，进程i需等待。? (3)系统试探着将资源分配给申请的进程（有预先寄存操作）并修改系统状态 (5)用do{…}while 循环语句，实现输入字符y/n控制是否进行进一步的 安全性检查算法（子程序） (1)设置两个向量： Work（它表示系统可提供给进程继续运行所需的各类资源数目）在执行安全性算法开始时，Work= Available。 Finish（它表示系统是否有足够的资源分配给进程）初始化， (2)在进程中查找符合以下条件的进程： 条件1：Finish[i]=false； 条件2：need[i][j]=Work[j] 若找到，则执行步骤(3)否则，执行步骤(4) (3)当进程获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行： Work[j]= Work[j]+ Allocation[i][j]； Finish[i]=true； goto step (2)； (4)如果所有的Finish[i]=true都满足，则表示系统处于安全状态，否则，处于不安全状态。 流程图： ： Y 是 否 是 否 否 是 Check： 否 是 由于print函数所有信息按矩阵输出，比较，这里就不写流程图了。 #include stdio.h #include stdlib.h #include conio.h # define m 50 # define false 0 # define true 1 int no1; //进程数 int no2; //资源数 int r; int allocation[m][m], max[m][m],need[m][m], available[m]; char name1[m], name2[m]; //定义全局变量 void main() { void check(); void print(); void shoudon(); int i,j,p=0,q=0; char c; int s; int request[m],allocation1[m][m],need1[m][m],available1[m],f[m]; int mx[5][4]={{0,0,1,2},{1,7,5,0},{2,3,5,6},{0,6,5,2},{0,6,5,6}}; int an[5][4]={{0,0,1,2},{1,0,0,0},{1,3,5,4},{0,6,3,2},{0,0,1,4}}; int ann[5][4]={{0,0,1,2},{1,4,2,0},{2,3,5,6},{0,6,5,2},{0,6,5,6}}; printf(**********************************************\n); printf(*** sf银行家算法演示 ***\n); printf(**********************************************\n); printf(\n1.演示报告给定系统1.); printf(\n2.演示报告给定系统2.（P1提出需要（0、4、2、0）个资源）); printf(\n3.演示手动输入系统.); printf(\n0.退出程序.); printf(\n请选择（0~3）:); scanf(%d,s); switch(s) {case 1: {no1=5; no2=4; for(i=0;ino1;i++) for(j=0;jno2