实验二的银行家算法实验报告.doc

《操作系统原理》 实验报告 实验二 银行家算法实验 专业：计算机科学与技术 学号：030840204 姓名：简郸 实验日期：2010-5-22 一、实验目的 通过银行家算法理解操作系统安全状态和不安全状态我们可以把操作系统看作是银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。n：系统中进程的总数 m：资源类总数 Available: ARRAY[1..m] of integer; Max: ARRAY[1..n,1..m] of integer; Allocation: ARRAY[1..n,1..m] of integer; Need: ARRAY[1..n,1..m] of integer; Request: ARRAY[1..n,1..m] of integer; 符号说明： Available 可用剩余资源 Max 最大需求 Allocation 已分配资源 Need 需求资源 Request 请求资源当进程pi提出资源申请时，系统执行下列 步骤：(“=”为赋值符号，“==”为等号) step（1）若Request=Need, goto step（2）；否则错误返回 step（2）若Request=Available, goto step（3）；否则进程等待 step（3）假设系统分配了资源，则有： Available=Available-Request; Allocation=Allocation+Request; Need=Need-Request 若系统新状态是安全的，则分配完成 若系统新状态是不安全的，则恢复原状态，进程等待 为进行安全性检查，定义数据结构： Work:ARRAY[1..m] of integer; Finish:ARRAY[1..n] of Boolean; 安全性检查的步骤： step (1): Work=Available; Finish=false; step (2) 寻找满足条件的i： a.Finish==false; b.Need=Work; 如果不存在，goto step(4) step(3) Work=Work+Allocation; Finish=true; goto step(2) step (4) 若对所有i,Finish=true,则系统处于安全状态，否则处于不安全状态 /* 银行家算法，操作系统概念(OS concepts Six Edition) reedit by Johnny hagen，SCAU，run at vc6.0 */#include malloc.h #include stdio.h #include stdlib.h #define alloclen sizeof(struct allocation) #define maxlen sizeof(struct max) #define avalen sizeof(struct available) #define needlen sizeof(struct need) #define finilen sizeof(struct finish) #define pathlen sizeof(struct path) struct allocation { int value; struct allocation *next; }; struct max { int value; struct max *next; }; struct available /*可用资源数*/ { int value; struct available *next; }; struct need /*需求资源数*/ { int value; struct need *next; }; struct path { int value; struct path *n