【实验目的】 1. 理解死锁的概念; 2. 用高级语言编写和调试一个银行家算法程序,以加深对死锁的理解。 【实验准备】 1. 产生死锁的原因  竞争资源引起的死锁  进程推进顺序不当引起死锁 2.产生死锁的必要条件  互斥条件  请求和保持条件  不剥夺条件  环路等待条件 3.处理死锁的基本方法  预防死锁  避免死锁  检测死锁  解除死锁 【实验内容】 1. 实验原理 银行家算法是从当前状态出发,逐个按安全序列检查各客户中谁能完成其工作,然后假定其完成工作且归还全部贷款,再进而检查下一个能完成工作的客户。如果所有客户都能完成工作,则找到一个安全序列,银行家才是安全的。与预防死锁的几种方法相比较,限制条件少,资源利用程度提高了。缺点:该算法要求客户数保持固定不变,这在多道程序系统中是难以做到的;该算法保证所有客户在有限的时间内得到满足,但实时客户要求快速响应,所以要考虑这个因素;由于要寻找一个安全序列,实际上增加了系统的开销.Banker algorithm 最重要的一点是:保证操作系统的安全状态!这也是操作系统判断是否分配给一个进程资源的标准!那什么是安全状态?举个小例子,进程P 需要申请8个资源(假设都是一样的),已经申请了5个资源,还差3个资源。若这个时候操作系统还剩下2个资源。很显然,这个时候操作系统无论如何都不能再分配资源给进程P了,因为即使全部给了他也不够,还很可能会造成死锁。若这个时候操作系统还有3个资源,无论P这一次申请几个资源,操作系统都可以满足他,因为操作系统可以保证P不死锁,只要他不把剩余的资源分配给别人,进程P就一定能顺利完成任务。 2.实验题目 设计五个进程{P0,P1,P2,P3,P4}共享三类资源{A,B,C}的系统,{A,B,C}的资源数量分别为10,5,7。进程可动态地申请资源和释放资源,系统按各进程的申请动态地分配资源。要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列;显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。 3.算法描述 我们引入了两个向量:Resourse(资源总量)、Available(剩余资源量) 以及两个矩阵:Claim(每个进程的最大需求量)、Allocation(已为每个进程分配的数量)。它们共同构成了任一时刻系统对资源的分配状态。 向量模型: R1 R2 R3 矩阵模型: R1 R2 P1 P2 P3 这里,我们设置另外一个矩阵:各个进程尚需资源量(Need),可以看出 Need = Claim – Allocation(每个进程的最大需求量-剩余资源量) 因此,我们可以这样描述银行家算法: 设Request[i]是进程Pi的请求向量。如果Request[i , j]=k,表示Pi需k个Rj类资源。当Pi发出资源请求后,系统按下述步骤进行检查: (1) if (Request[i]<=Need[i]) goto (2); else error(“over request”); (2) if (Request[i]<=Available[i]) goto (3); else wait(); (3) 系统试探性把要求资源分给Pi(类似回溯算法)。并根据分配修改下面数据结构中的值。 剩余资源量:Available[i] = Available[i] – Request[i] ; 已为每个进程分配的数量: Allocation[i] = Allocation[i] + Request[i]; 各个进程尚需资源量:Need[i] = Need[i]-Request[i]; (4) 系统执行安全性检查,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程以完成此次分配;若不安全,试探方案作废,恢复原资源分配表,让进程Pi等待。 系统所执行的安全性检查算法可描述如下: 设置两个向量:Free、Finish 工作向量Free是一个横向量,表示系统可提供给进程继续运行所需要的各类资源数目,它含有的元素个数等于资源数。执行安全算法开始时,Free = Available .标记向量Finish是一个纵向量,表示进程在此次检查中中是否被满足,使之运行完成,开始时对当前未满足的进程做Finish[i] = false;当有足够资源分配给进程(Need[i]<=Free)时,Finish[i]=true,Pi完成,并释放资源。 (1)从进程集中找一个能满足下述条件的进程Pi ① Finish[i] == false(未定) ② Need[i] <= Free (资源够分) (2)当Pi获得资源后,认为它完成,回收资源: Free = Free
2019-12-21 20:42:01 17KB 银行家算法 操作系统
1
银行家算法实现,C++演示,带有源代码,有注释
2019-12-21 20:21:48 2.48MB 操作系统 银行家算法 源代码 课程设计
1
操作系统-银行家算法课设报告及源码操作系统-银行家算法课设报告及源码操作系统-银行家算法课设报告及源码
1
这是关于银行家算法的linux下实现的代码,由于技术有限,其中若有bug,可与本人联系,yym112358@163.com
2019-12-21 20:18:23 4KB 操作系统 银行家 算法 多线程
1
利用C语言实现操作系统中的银行家算法(话说说的这么清楚还需要多少描述吗?额,我这个是老师亲自验收通过的!)
2019-12-21 20:09:37 5KB 操作系统 银行家算法 C语言
1
南昌大学操作系统实验报告,编程实现银行家算法,有流程图,实现代码,和运行结果截图及实验小结体会,对实验的建议。我大二做过的实验报告。
2019-12-21 20:01:51 153KB 实验报告 数据结构 银行家算法 代码
1
大学生——操作系统课程——银行家算法——JS实现,很简单代码通俗易通,每句话都有注释
2019-12-21 19:40:53 35KB 银行家算法 操作系统 js
1
我学习操作系统时,随便的作业。 由于时间的问题,有许多功能实现的地方写的很繁琐、不简洁,很啰嗦,我也懒得想了,如果朋友有建议的话,欢迎访问我的空间并给我留言http://hi.baidu.com/ccocwwh/home
2019-12-21 19:31:50 3.46MB 操作系统 银行家 算法 mfc
1
操作系统 银行家算法的详细实验报告,里面附有代码,可运行,图形化界面展示算法过程
2019-12-21 19:27:07 48KB 操作系统 银行家算法
1
大三上学期的操作系统课程的实验作业,要求模拟实现银行家算法。代码格式良好,注释得当,可供有需要的人参考学习。
2019-12-21 19:18:14 452KB operating sy bank algorit
1