课程设计：Linux下C编程实现银行家算法.docVIP

摘要艾兹格·迪科斯彻 目录 1.概述 2 2.课程设计任务及要求 3 2.1 设计任务 3 2.2设计要求 3 3.算法及数据结构 4 3.1算法的总体思想 4 3.2 安全算法模块 5 3.2.3 算法（流程图表示，或伪C表示） 6 4. 程序设计与实现 8 4.1程序流程图 8 4.2程序代码（部分代码） 8 4.3实验结果 10 5 结论 12 6 收获、体会和建议。 12 7 参考文献。 13 1.概述银行家算法是一种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次分配资源的安全性，若分配不会导致系统进入不安全状态，则分配，否则等待。为实现银行家算法，系统必须设置若干数据结构。 要解释银行家算法，必须先解释操作系统安全状态和不安全状态。 安全序列是指一个进程序列{P1，…，Pn}是安全的，即对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和。如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态。安全状态一定是没有死锁发生。不存在一个安全序列。不安全状态不一定导致死锁。课程设计任务及要求银行家算法的思路1.进程一开始向系统提出最大需求量. 2.进程每次提出新的需求(分期贷款)都统计是否超出它事先提出的最大需求量. 3.若正常,则判断该进程所需剩余量(包括本次申请)是否超出系统所掌握的 ? 剩余资源量,若不超出,则分配,否则等待. 4.银行家算法的数据结构. 1)系统剩余资源量V[n],其中V[n]表示第I类资源剩余量. 2)已分配资源量A[m][n],其中A[j][i]表示系统j程已得到的第i资源的数量. 3)剩余需求量.C[m][n],其中C[j][i]对第i资源尚需的数目. 5.银行家算法流程:当某时刻,某进程时,提出新的资源申请,系统作以下操作: 1)判定E[n]是否大于C[j][n],若大于,表示出错. 2)判定E[n]是否大于系统剩余量V[n],若大于,则该进程等待. 3)若以上两步没有问题,尝试分配,即各变量作调整. 4)按照安全性推测算法,判断,分配过后,系统是否安全,若安全,则实际分配,否则,撤消分配,让进程等待. 6.安全性检测算法 对进程逐个扫描，先判断flag，看进程是否完成，如果完成则继续扫描，如果没有再判断当前系统是否满足进程所需要的分配额，如果满足则分配并当进程完成后回收资源，如果没有则扫描下一个进程。扫描所有进程，如果所有的进程都能完成就表明是安全分配序列，如果没有，则分配不成功，不存在着安全序列。 （2）输入进程请求，按照设计好的安全性算法进行检查，得到结果并输出整个执行过程的相关信息和最终结果 （3）要求要有各种异常的处理，程序的可控制性和可连续性执行。包括对进程的存在有无检查，请求向量的不合法检查，试分配失败后的数据恢复和重新接受进程请求等。 3.算法及数据结构 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提出资源申请时，系统执行下列 算法流程如下： 第一步：若Request=Need, ；否则错误返回 第二步：若Request=Available, ；否则进程等待 第三步：假设系统分配了资源，则有： 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(