2010114122刘佳飞开题报告.docVIP

曲靖师范学院本科毕业?论文（设计） 开 ?题 报 告 ?论文题目：银行家算法?的实现与仿真 ? ? 作 者 刘?佳飞 ? ?学 号：201?0141122 院 ? 系：计算机科学?与工程学院 年 ? 级：2010级 学? 科：计算机科?学与技术 专 ?业：网络应用方向 指?导教师：姜云杰 ? 职 称?：副教授 日 ?期：2013年11月?5号 ? ? 曲靖师范学院?教务处制 毕业论?文（设计）开题报告填?写说明 1．封面上的?“论文题目”一栏填写?时一律不用书名号；外?语学院学生的论文（设?计）题目统一填写英文?题目，不用中文。 2?．封面上的“学号”一?栏统一填写如：“20含?年级、系别、班级和学?号顺序的数字。不能填?写为：“63”、“0?4号”的等样式。 3?．封面页上的“年级”?一栏用阿拉伯数字统一?填写为：“xxxx级?”。不能填写为：“四?年级”、“03级”、?“2003”等样式。? 4．封面页上的“日?期”一栏统一填为带有?年、月、日字样的日期?形式，如“2006年?12月21日”。 5?．装订样式用两页A3?纸复印后从中缝对折，?用骑马钉装订。其中封?面页有文字信息，封二?为“毕业论文（设计）?开题报告填写说明”，?封三、封底均为空白页?。 ? 国内外研究?现状述评（文献综述）? 银行家算法柔性制造?系统中的改进与应用 ? 提出了一种应用于柔?性制造系统中的避免死?锁的算法。该算法是对?银行家算法的改进。银?行家算法适用于操作系?统,而操作系统与柔性?制造系统之间存在差异?,为使该算法适用于柔?性制造系统,必须对其?进行改进。通过研究操?作系统中的进程与制造?系统中的加工任务之间?的差别,对算法进行改?进。对制造系统采用形?式化的建模方法,将建?立的模型转换成适合进?行模型检查的形式。运?用SPIN来对此算法?进行仿真,并验证此算?法模型的正确性。 ? 选题的意义 在?避免死锁的方法中，银?行家算法所施加的限制?条件较弱，有可能获得?令人满意的系统性能。?在该方法中把系统的状?态分为安全状态和不安?全状态，只要能使系统?始终都处于安全状态，?便可以避免发生死锁。? 银行家算法的基本思?想是分配资源之前，判?断系统是否是安全的；?若是，才分配。它是最?具有代表性的避免死锁?的算法。 三．研?究价值 银行家算法顾?名思义是来源于银行的?借贷业务，一定数量的?本金要应多个客户的借?贷周转，为了防止银行?加资金无法周转而倒闭?，对每一笔贷款，必须?考察其是否能限期归还?。在操作系统中研究资?源分配策略时也有类似?问题，系统中有限的资?源要供多个进程使用，?必须保证得到的资源的?进程能在有限的时间内?归还资源，以供其他进?程使用资源。如果资源?分配不得到就会发生进?程循环等待资源，那么?进程都无法继续执行下?去的死锁现象。 把?一个进程需要和已占有?资源的情况记录在进程?控制中，假定进程控制?块PCB其中“状态”?有就绪态、等待态和完?成态。当进程在处于等?待态时，表示系统不能?满足该进程当前的资源?申请。“资源需求总量?”表示进程在整个执行?过程中总共要申请的资?源量。显然，，每个进?程的资源需求总量不能?超过系统拥有的资源总?数,?银行算法进行资?源分配可以避免死锁.? 四．研究目标 ?银行家算法在系统中是?怎样应用？在安全的前?提下怎样去避免死锁的?产生？ 怎样仿真应用?？ 研究内容 操?作系统按照银行家制定?的规则为进程分配资源?，当进程首次申请资源?时，要测试该进程对资?源的最大需求量，如果?系统现存的资源以满足?它的最大需求量则按当?前的申请量分配资源，?否则就推迟分配。当进?程在执行中继续申请资?源时，先测试该进程已?占用的资源数与本次申?请的资源数之和是否超?过了该进程对资源的最?大需求量。若超过则拒?绝分配资源，若没有超?过则再测试系统现的资?源能否满足该进程尚需?的最大资源量，若能满?足则按当前的申请量分?配资源，否则也要推迟?分配。银行家算法确实?能保证系统时时刻刻都?处于安全状态，但它要?不断检测每个进程对各?类资源的占用和申请情?况，需花费较多的时间?。现在的大部分系统都?没有采用这个算法，也?没有任何关于死锁的检?查。 研究假设? 我们可以把操作系统?看作是银行家，操作系?统管理的资源相当于银?行家管理的资金，进程?向操作系统请求分配资?源相当于用户向银行家?贷款。操作系统按照银?行家制定的规则为进程?分配资源，当进程首次?申请资源时，要测试该?进