操作系统综合性实验_死锁避免银行家算法.docVIP

华 南 农 业 大 学 信 息（软 件） 学 院 《操作系统》综合性、设计性实验成绩单 开设时间： 2010 学年第 1 学期 专业 班级 学号 姓名 实 验 题 目 死锁避免——银行家算法 自 我 评 价 这个实验主要是按照课书上银行家算法的思路写出来的。虽然功能比较简单，但是也是经过努力才编写出来的程序，实验报告也写得很认真。对我来说，它是个比较完善的程序。 教 师 评 语 评价指标： 题目要求完成情况 优 □ 良 □ 中 □ 差 □ 对算法原理的理解程度 优 □ 良 □ 中 □ 差 □ 程序设计水平 优 □ 良 □ 中 □ 差 □ 实验报告结构清晰 优 □ 良 □ 中 □ 差 □ 流程图及内容表述清楚 优 □ 良 □ 中 □ 差 □ 实验总结和分析详尽 优 □ 良 □ 中 □ 差 □ 成绩 教师签名 需求分析 1、系统目的：通过编写和调试一个系统动态分配资源的简单模拟程序，观察死锁产生的条件，模拟死锁避免的实现，加深对死锁避免，系统安全状态等的理解，体会和了解死锁和避免死锁的具体实施方法。并采用适当的算法，有效地防止和避免死锁地发生。 2、数据：本程序开始运行时，资源全部可用，此处的资源是已经定义好的矩阵内容，运行时，随机产生新的“进程资源需求向量”。 3、本题目的简化假设是： (1)程序运行开始时，资源全部可用。资源种类约10种，每种资源数目为1~10。 (2)不断随机产生或手工输入新的“进程资源需求向量”，并填写到最大需求矩阵。 (3)在各进程的最大需求数量范围内（因此需作是否超出范围的检验），为各进程随机生成或手工输入资源请求。经银行家算法后输出系统是否安全的信息。当一个进程的资源请求全部发完后，认为它结束。 概要设计 定义：利用二维数组定义好最大分配需求矩阵、已分配矩阵、现在需求矩阵，用一维数组的形式存放好现可利用矩阵。 本程序共10个模块，分别如下： （1）生成确定范围内的随机数 random_num() （2）初始化数据 init0_data() （3）进程请求 proc_require0() （4）请求资源超过需求资源 over_need() （5）请求资源超过可利用资源 over_avail() （6）资源申请成功 apply_success() （7）安全性检查 check_security() （8）银行家算法主体 banker() （9）显示输出 output() （10）主函数 main() 3、各程序模块之间的层次(调用)关系void banker() { check_security() } int main() { init0_data(); output(); proc_require0(); apply_success(over_need(),over_avail()) banker(); } 4、程序模块之间流程图 三、详细设计 1、定义变量： int max1[5][10]/*最大分配需求矩阵*/ int allocation1[5][10] /*已分配矩阵*/ int need1[5][10] /*现在需求矩阵*/ int available1[10] /*现可利用矩阵*/ int max[20][20],allocation[20][20],need[20][20],available[20]; int n_proc;/*进程数*/ int type_src;/*资源种类数*/ int request[20][20];/*进程请求资源*/ int work[20];/*可供进程继续运行所需资源的向量*/ int finish[20];/*标识是否有足够的资源分配给进程*/ int index[20];/*用于记录进程顺序*/ int t=0;/*记录当前的进程数*/ int serial_proc=0;/*当前请求进程*/ 2、初始化数据init0_data() 输入值：无 返回值：无 操作变量：max[i][j]；allocation[i][j]；need[i][j]；available[j]；index[i] 调用模块：无 详细设计： for(范围不超过进程数) for(范围不超过资源种类数) max[i][j]=初始化分配