银行家算法的设计报告.docVIP

银行家算法的设计报告 颜国雄 一、实验要求： 1.使用任何一种编程工具实现以可视化方式显示给定条件下银行家算法的过程。 2.程序的输入：进程数、资源数、各种资源的总量、各进程对各资源的最大需求量、各进程目前对各种资源的占有量、在当前状态下某个进程的一次资源请求向量。 3.根据给定条件，判定两个问题：当前状态是否安全，目前的这次请求是否能满足。 4.要求根据银行家算法，给出分步演示，并最终给出结论。 二、内容简述： 本设计通过设定当前工作点current结构体来描述银行家算法运行过程中的状态。利用回溯算法来进行合法分配序列的选择，其中回溯算法的实现利用了堆栈的思想，具体实现却用数组来模拟。整个算法把银行家算法的过程分布详细地输出到文本文件中。 原理 本设计用结构体来保存各个状态下的资源分布情况，用堆栈思想来实现可能序列的遍历。 设计和实现细节 1、结构设计 typedef struct{ int ip; // Ip用于记录每次可选的进程个数。 int able[N];// 用于记录当前工作点可选的进程 int visited[N];//用于标记已经访问过的进程。 int avail[M];//当前可用资源 int alloc[N][M];//当前分配资源 int need[N][M];//当前资源需要状况。 }WorkNode; /*工作节点*/ 2，算法设计 int safe(){ int i,j,ct=0; while(1){ stack[++top]=current; current.visited[current.able[current.ip]]=1; fprintf(fp,可选的进程为); for(i=0;i=current.ip;i++) {fprintf(fp,%d ,current.able[i]);} fprintf(fp,\n当前选择的进程 %d\n, current.able[current.ip]) ; add(current.avail,current.alloc[current.able[current.ip]]); for(i=0;irnum;i++) {current.alloc[current.able[current.ip]][i] =0; current.need[current.able[current.ip]][i] =0;} fprintf(fp,尝试分配后,可用资源为 avail:); for(i=0;irnum;i++) fprintf(fp,%d ,current.avail[i]); fprintf(fp,\n尝试分配后,已分配资源alloc:); for(i=0;ipnum;i++) { fprintf(fp,\n); for(j=0;jrnum;j++) fprintf(fp,%d ,current.alloc[i][j]) ;} fprintf(fp,\n尝试分配后,仍需分配资源 need:); for(i=0;ipnum;i++) { fprintf(fp,\n); for(j=0;jrnum;j++) fprintf(fp,%d ,current.need[i][j]) ;} fprintf(fp,\n); current.ip=-1; for(i=0;ipnum;i++) if(!current.visited[i] small(current.need[i],current.avail) ) current.able[++current.ip]=i; if(current.ip==-1) { if(top==pnum-1){ output(); fprintf(fp,该序列合理\n); ct++; } else if(top0)break; current=stack[top--]; fprintf(fp,这次选择不行,返回\n); while(current.ip==0){ if(top=0) { current=stack[top--];fprintf(fp,前一次选择是唯一路径,再返回 \n);} else return ct;} current.ip--; } } return ct; } 1，用statck保存各个当前状态，用current.able[]保存可选