- 1、本文档共21页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《操作系统的原理与应用》第章 CPU调度与死锁.ppt
操作系统原理Principles of Operating System 主讲:孔宪君 4.4 预防死锁 解决死锁问题的基本方法有:预防死锁、避免死锁、检测死锁和解除死锁。除此之外还有鸵鸟算法和综合措施。 预防死锁是指通过某种策略来限制并发进程对资源的请求,使系统在任何时刻都不满足死锁的必要条件。 就是在设计操作系统时,通过设置某些限制条件,去破坏死锁四个必要条件中的一个或多个,来防止死锁,使系统能预先排除死锁的可能性。 4.4.1摒弃请求和保持条件 采用静态资源分配方法。该方法的优点和缺点如下: ①简单、安全、易于实现。 ②程序在运行之前很难提出将要使用的全部设备。 ③直到所有资源满足才能运行,实际上某些资源可能要到运行后期才会用到。 ④一个进程运行期间,对某些设备的使用时间很短,甚至不会用到。 ⑤系统资源利用率低,甚至非常浪费。 4.4.2摒弃不剥夺条件 为了破坏不可剥夺条件,我们采用这样的策略,一个已拥有资源的进程,若它再提出新资源要求而不能立即得到满足时,它必须释放已经拥有的所有资源,以后需要时再重新申请。拥有资源的进程在运行过程中其资源可能被剥夺,从而破坏了不可剥夺条件。 该方法实现复杂,被剥夺资源的进程前期工作失效,重复申请和释放资源给系统增加了开销,系统要付出很大的代价。 4.4.3摒弃环路等待条件 为了破坏环路等待条件,采用有序资源分配策略。 对申请资源的进程规定:同类资源需一次申请,在获得资源后,只能申请较高级号的资源,无权申请低级号资源和同类资源。对于低级号资源和同类资源申请,必须先释放所有高级号的资源,然后再申请,否则不予分配。 优点:同前两法相比,其资源利用率和系统吞吐量有较明显的改善。 缺点:进程实际需要资源的顺序不一定与资源的编号一致,因此仍会造成资源浪费,系统增加新设备较困难。 4.4.4摒弃互斥条件 为了破坏互斥条件,采用虚拟设备技术,将部分独占设备改造成共享设备,不仅提高了资源效率,而且破坏了互斥条件,预防了该设备的死锁。 虚拟设备技术将设备管理中讨论。虽然此技术只能用于部分设备的改造,不适用于所有的资源,但被现代操作系统广泛使用。 4.5 避免死锁 4.5.1系统的安全状态和不安全状态 所谓系统的安全状态是指系统中所有进程能够按照某一种次序合理分配资源,并且依此地运行完毕,这种序列就是安全序列。 如果系统中存在这样一个安全序列,系统就处于安全状态;若系统不存在这样一个安全序列,则称系统处于不安全状态。 安全序列的描述:若找到进程Pi(1in),它需要的资源可以被系统中当前可用资源加上所有进程Pj(ji)当前占有资源之和所满足,如果进程序列{P1,P2,...Pn}是当前所有进程的集合,则{P1,P2,...Pn}是安全序列。 4.5.2安全状态的例子 我们通过一个例子来说明安全性。 经分析,在T0时刻,系统是安全的。因为存在一个安全序列{P2,P1,P3}。 4.5.3 利用银行家算法避免死锁 ⒈银行家算法中的数据结构 ①可利用资源向量Available。 ②最大需求矩阵Max。 ③分配矩阵Allocation。这是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每个进程的资源数。如果Allocation[i,j]=k,表示进程Pi当前已分得Rj类资源的数目为k。 ④需求矩阵:Need。它是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数,如果Need[i,j]=k,表示进程Pi还需要Rj类资源k个,方能完成其任务。 上述三个矩阵间存在下述关系: Need[i,j]=Max[i,j]-Allocation[i,j] ⒉银行家算法 设Requesti是进程Pi的请求向量。如果Requesti[j]=k,表示进程Pi只需要k个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查: ①如果Requesti=Needi,则执行步骤②;否则,认为出错,因为它所需要的资源数已超过它所宣布的最大值。 ②如果Requesti,=Availablei,则执行步骤③;否则,表示系统中尚无足够的资源,Pi等待。 ③系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的数值: Available[j]=Available[j]-Requesti[j]; Allocation[i,j]=Allocation[i,j]+Requesti[j]; Need[i,j]=Need[i,j]-Requesti[j]; ④系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,以完成本次分配;否则,将试探分配作废,恢复原来的资源分配状态,让进程Pi等待。 ⒊安全性算法 系统所执行的安全性算法可描述如下: ①设置两个工作向量,工作向量Wo
文档评论(0)