操作系统课程设计----模拟银行家算法避免死锁

操作系统课程设计----模拟银行家算法避免死锁

ID:39996159

大小:135.00 KB

页数:11页

时间:2019-07-16

操作系统课程设计----模拟银行家算法避免死锁_第1页
操作系统课程设计----模拟银行家算法避免死锁_第2页
操作系统课程设计----模拟银行家算法避免死锁_第3页
操作系统课程设计----模拟银行家算法避免死锁_第4页
操作系统课程设计----模拟银行家算法避免死锁_第5页
资源描述:

《操作系统课程设计----模拟银行家算法避免死锁》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、实用文档模拟通过银行家算法避免死锁一、银行家算法产生的背景及目的1:在多道程序系统中,虽然借助于多个进程的并发执行来改善系统的利用率,提高系统的吞吐量,但可能发生一种危险—死锁。死锁就是多个进程在运行过程中因争夺资源而造成的一种僵局,当进程处于这种僵局状态时,如无外力作用,他们将无法再向前进行,如再把信号量作为同步工具时,多个Wait和Signal操作顺序不当,会产生进程死锁。然而产生死锁的必要条件有互斥条件,请求和保持条件,不剥夺条件和环路等待条件。在预防死锁的几种方法中,都施加了较强的限制条件,在避免死锁的方法中,所施加的条件较弱,有可能获得令人满意

2、的系统性能。在该方法中把系统的状态分为安全状态和不安全状态,只要能使系统都处于安全状态,便可避免死锁。2:实验目的:让学生独立的使用编程语言编写和调试一个系统分配资源的简单模拟程序,了解死锁产生的原因及条件。采用银行家算法及时避免死锁的产生,进一步理解课堂上老师讲的相关知识点。银行家算法是从当前状态出发,逐个按安全序列检查各客户中谁能完成其工作,然后假定其完成工作且归还全部贷款,再进而检查下一个能完成工作的客户。如果所有客户都能完成工作,则找到一个安全序列,银行家才是安全的。二:银行家算法中的数据结构1:可利用资源向量Available。这是一个含有m个

3、元素的数组,其中的每个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源的数目,其数值随该类资源的分配和回收而动态的改变。如果Available[j]=k,z则表示系统中现有Rj类资源K个。2:最大需求矩阵Max。这是一个n*m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=k,表示第i个进程需要第Rj类资源的最大数目k个.3:分配矩阵Allocation,也是n*m的矩阵,若Allocation[i,j]=k,表示第i个进程已分配Rj类资源的数目为k个。4:需求矩阵Need。也是一个n*m的矩

4、阵,Need[i,j]=k,表示第i个进程还需Rj类资源k个。三、银行家算法及安全性算法1:银行家算法设Request[i]是进程Pi的请求向量,若Request[i][j]=k;表示进程需要j类资源k个。当Pi发出资源请求时,系统按下属步骤进行检查;(1)如果Request[i][j]<=Need[i][j];便转向步骤(2),否则认为出错,因为它所需要的资源数已超过他所宣布的最大值。(2)如果Request[i][j]<=Available[i][j],便转向步骤(3),否则认为尚无足够资源,进程需等待。文案大全实用文档(1)系统试探着把资源分配给进

5、程,并修改下面数据结构的数据Available[i][j]=Available[i][j]-Request[i][j];Allocation[i][j]=Allocation[i][j]+Request[i][j];Need[i][j]=Need[i][j]-Request[i][j];(2)系统执行安全性算法,检查此次资源分配后系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,已完成此次分配。否则,将本次的试探分配作废,回复原来的资源分配状态,将进程Pi等待。2:安全性算法(1)设置两个向量;1:工作向量Work,表示系统可提供给进程运行所需的

6、各类资源数目,它含有m个元素,初始时Work=Available2:Finish,表示系统是否有足够的资源分配给进程,使之运行完成。开始时先做Finish[i]=true(2)从进程中找到一个能满需下属条件的进程1;Finish[i]=false;2:Need[i][j]<=Work[j];若找到执行步骤(3),否则执行步骤(4)(3)当进程Pi顺利获得资源后,直至完成,并释放分配给它的资源,执行:Work[j]=Work[j]+Allocation[i][j];Finish[i]=true;Gotostep(2);(3)如果所有的进程Finish[i]

7、都满足,则表示系统处于安全状态,否则,处于不安全状态。四、模块设计与分析及整体功能概述模块设计与分析:整个银行家算法分为初始化函数Init(),安全性算法函数safe(),银行家算法函数bank()三部分。初始化函数生成开始时刻系统中的进程和资源情况,安全性算法判断当某进程申请资源时,系统能否处于安全状态。在本实验中,若系统处于安全状态,便生成一个安全进程序列(安全序列可能有多个)。银行家算法函数bank()负责整体的检查与异常判断。整体功能概述:死锁会引起系统陷入僵局,操作系统必须防止此现象的发生。本实验通过一个动态分配资源的模拟程序,更清楚的理解死锁

8、产生的原因和条件。Dijkstra的银行家算法是最有代表性的避免死锁的方法。运行

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。