2010141122刘佳飞开题报告.docVIP

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