操作系统-银行家算法（副本）.docVIP

广州大学学生实验报告 开课学院及实验室：计算机科学与工程实验室 2015 年 11月 29 日 实验课程名称 操作系统实验 实验项目名称 实验2 银行家算法 指导老师 一、实验目的 1.?理解银行家算法。? 2.?掌握进程安全性检查的方法及资源分配的方法。 3.?加深了解有关资源申请、避免死锁等概念。 ? 4.体会和了解死锁和避免死锁的具体实施方法。 二、实验内容 (1)?设计进程对各类资源最大申请表示及初值确定。? (2)?设定系统提供资源初始状况。?? (3)?设定每次某个进程对各类资源的申请表示。?? (4)?编制程序，依据银行家算法，决定其申请是否得到满足。 三、实验原理 整体流程： 算法设计： 　　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,则系统处于安全状态，否则处于不安全状态 四、实验设备 Win7下虚拟机VMware-workstation-11.0.0及CentOS-5.8-i386 五、实验要求 1.输入系统进程数量n和资源类型数量m。??????????? ? 2.输入每类资源的数量。? ???3.输入每个进程每类资源的最大需求量和已获资源量。检验系统的安全系。 六、实验程序 #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 *nex