- 1、本文档共25页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
银行家算法
需求分析
1. 在多道程序系统中,多个进程的并发执行来改善系统的资源利用率,提高系统的吞吐量,但可能发生一种危险——死锁。所谓死锁(Deadlock),是指多个进程在运行过程中因争夺资源而造成的一种僵局(DeadlyEmbrace),当进程处于这种状态时,若无外力作用,他们都无法在向前推进。??
要预防死锁,有摒弃“请求和保持”条件,摒弃“不剥夺”条件,摒弃“环路等待”条件等方法。?
但是,在预防死锁的几种方法之中,都施加了较强的限制条件;而在避免死锁的方法中,所施加的限制条件较弱,有可能获得令人满意的系统性能。在该方法中把系统状态分为安全状态和不安全状态,便可避免死锁的发生。?
而最具代表性的避免死锁的算法,便是Dijkstra的银行家算法。?
利用银行家算法,我们可以来检测CPU为进程分配资源的情况,决定CPU是否响应某进程的的请求并为其分配资源,从而很好避免了死锁的产生。
2. 银行家算法是一种最有代表性的避免死锁的算法。?
?? 要解释银行家算法,必须先解释操作系统安全状态和不安全状态。???安全状态:如果存在一个由系统中所有进程构成的安全序列P1,?,Pn,则系统处于安全状态。安全状态一定是没有死锁发生。?
?? 不安全状态:不存在一个安全序列。不安全状态不一定导致死锁。???那么什么是安全序列呢??
安全序列:一个进程序列{P1,?,Pn}是安全的,如果对于每一个进程Pi(1≤i≤n),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj?(j??i?)当前占有资源量之和。???
银行家算法:?
我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源,否则就推迟分配。当进程在执行中继续申请资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源,若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资源,否则也要推迟分配。
3.设计要求:
设计一n个并发进程共享m个系统资源的程序实现银行家算法。要求包括:?
(1)?简单的初始化界面;?
(2)?系统资源的占用和剩余情况;?
(3)?为进程分配资源,用银行家算法对其进行检测,分为以下三种情况:????????
A.?所申请的资源大于其所需资源,提示分配不合理不予分配并返回;?????????
B.?所申请的资源未大于其所需资源,但大于系统此时的可利用资源,提示分配不合理不予分配并返回;?
?C.?所申请的资源未大于其所需资源,亦未大于系统此时的可利用资源,预分配并进行安全性检查:?
???????a.?预分配后系统是安全的,将该进程所申请的资源予以实际分配并打印后返回;?
???????b.?与分配后系统进入不安全状态,提示系统不安全并返回;?
(4)?对输入进行检查,即若输入不符合条件,应当报错并返回重新输入;?
(5)?撤销作业,释放资源。
二.概要设计
(一)算法思路:
先对用户提出的请求进行合法性检查,即检查请求是否大于需要的,是否大于可利用的。若请求合法,则进行预分配,对分配后的状态调用安全性算法进行检查。若安全,则分配;若不安全,则拒绝申请,恢复到原来的状态,拒绝申请。
(二)算法步骤:
(1)如果Requesti<or?=Need,则转向步骤(2);否则,认为出错,因为它所需要的资源数已超过它所宣布的最大值。?
(2)如果Request<or=Available,则转向步骤(3);否则,表示系统中尚无足够的资源,进程必须等待。?
(3)系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的值:Available=Available-Request[i];??????
Allocation=Allocation+Request;?
? ?Need=Need-Request;?
(4)系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。
三.详细设计
#define SIZE 11
int available[SIZE];
int claim[SIZE][SIZE];
int allocation[SIZE][SIZE];
int need[SIZE][SIZE];
int request[SIZE][SIZE] = { 0 };//记录某个进程申请各个资源类中的资源实例的数量
int finish[SIZE] = { 0 };//工作变量,用于判断进程是否已经执行过,初始状态全部为0,
您可能关注的文档
- 学生管理系统C语言 课设报告.docx
- 学生管理信息系统说明书.pdf
- 学生课程设计设计案例.pdf
- 学生信息管理系统课程设计.doc
- 学生信息管理系统序 设计报告 成功稿o.pdf
- 学生信息课程设计报告.doc
- 学生信息系统课程设计——高云燕.doc
- 学生综合知识竞赛课件.ppt
- 学术英语第二章论文和海波讲课.ppt
- 学体育,到底学什么?.ppt
- 2024-2025学年安徽省亳州市涡阳县高二下学期2月开学考试政治试题(解析版).docx
- 2024-2025学年江西省赣州市上犹县高二下学期开学考试政治试题(解析版).docx
- 2024-2025学年山东省济宁市高二下学期开学考试政治试题(解析版).docx
- 2024-2025学年山西省卓越联盟高三下学期2月开学质量检测政治试题(解析版).docx
- 2024-2025学年新疆乌鲁木齐市高二下学期2月开学考试政治试题(解析版).docx
- 2024-2025学年新疆维吾尔自治区乌鲁木齐地区高三2月大联考文科综合政治试题(解析版).docx
- 2024-2025学年安徽省蚌埠市固镇县高一上学期1月期末考试政治试题 (解析版).docx
- 2024-2025学年江苏省扬州市高三上学期期末检测政治试卷(解析版).docx
- 2024-2025学年江西省吉安市高三上学期期末教学质量检测政治试题(解析版).docx
- 2024-2025学年山东省济宁市高二上学期1月期末考试政治试题(解析版).docx
文档评论(0)