操作系统概述.pptx
《操作系统概述.pptx》由会员分享,可在线阅读,更多相关《操作系统概述.pptx(26页珍藏版)》请在咨信网上搜索。
1、第十讲第十讲 死锁死锁 目的与要求目的与要求:了解死锁的定义,掌握死了解死锁的定义,掌握死锁预防,了解死锁避免,死锁检测,死锁预防,了解死锁避免,死锁检测,死锁恢复的方法。锁恢复的方法。重点与难点重点与难点:死锁预防法则的使用。死锁预防法则的使用。作业作业:2121,22224.4 4.4 死锁死锁 4.4.1 4.4.1 死锁示例死锁示例 日常生活中的例子日常生活中的例子进程死锁的例子进程死锁的例子竞争外部设备竞争外部设备竞争辅存空间竞争辅存空间编程错的例子编程错的例子4.4.2 4.4.2 死锁定义及性质死锁定义及性质 死锁定义在一个进程集合中,若在一个进程集合中,若每个进程每个进程都在都
2、在等待某些事件(指:等待某些事件(指:释放资源释放资源)的发)的发生,而这些事件又必须由生,而这些事件又必须由这个进程集这个进程集合合中的某些进程来产生,就称该进程中的某些进程来产生,就称该进程集合处于死锁状态集合处于死锁状态。死锁定义及性质死锁定义及性质出现死锁的系统必须同时满足下列四个必出现死锁的系统必须同时满足下列四个必要条件要条件互斥互斥:必须存在需要互斥使用的资源:必须存在需要互斥使用的资源 占有等待:占有等待:一定有占有资源而又等待其它资一定有占有资源而又等待其它资源的进程源的进程非剥夺:非剥夺:系统中进程占有的资源未主动释放系统中进程占有的资源未主动释放时不可以剥夺时不可以剥夺
3、循环等待:循环等待:进程集合进程集合P0,P1,P0,P1,Pn,Pn,PiPi等待等待Pi+1Pi+1,PnPn等待等待P0P0 死锁定义及性质死锁定义及性质资源分配图定义资源分配图定义资源分配图由如下部件组成:资源分配图由如下部件组成:如如果果各各类类资资源源数数为为1 1,则则系系统统出出现现死死锁锁的的充充要条件是资源分配图含圈要条件是资源分配图含圈 Pi.死锁研究的主要内容死锁研究的主要内容 死锁防止死锁防止死锁避免死锁避免死锁检测死锁检测死锁恢复死锁恢复 无死锁系统无死锁系统允许死锁、允许死锁、出现排除出现排除 4.4.3 4.4.3 死锁防止死锁防止 逻辑公式:逻辑公式:DC1C
4、2C3C4DC1C2C3C4 C1C1 C2C2 C3C3 C4 C4 D D 破坏互斥占用条件破坏互斥占用条件 让资源都能共享使用(但有些资源必须让资源都能共享使用(但有些资源必须互斥使用)互斥使用)破坏占有等待条件破坏占有等待条件将将进进程程所所要要资资源源一一次次性性分分给给进进程程,要要么么没没分分到到一一个个资资源源,要要么么全全部部满满足足(适适合廉价资源的分配合廉价资源的分配,如外存空间分配)如外存空间分配)进进程程在在下下一一轮轮申申请请资资源源时时,释释放放所所占占的所有资源的所有资源 (用完一个再用下一个用完一个再用下一个)破坏非剥夺条件破坏非剥夺条件(用于内存管理、用于内
5、存管理、CPUCPU管理管理等等)当进程当进程PiPi申请申请riri类资源时,若有则分类资源时,若有则分配,若没有则剥夺(释放)配,若没有则剥夺(释放)PiPi占有的所占有的所有资源;有资源;当进程当进程PiPi申请申请riri类资源时,若有则分类资源时,若有则分配,若无则剥夺(淘汰)占有配,若无则剥夺(淘汰)占有riri类资源类资源进程所占的进程所占的riri类资源分配给类资源分配给PiPi;或看占;或看占用用riri类资源的类资源的PkPk处于什么状态,若处于处于什么状态,若处于等资源状态,则剥夺其资源,否则让等资源状态,则剥夺其资源,否则让PiPi等待等待,等于剥夺等于剥夺PiPi的资
6、源。的资源。破坏循环等待条件破坏循环等待条件 采采用用资资源源顺顺序序分分配配方方法法:给给每每类类资资源源编编号号,进进程程只只能能按按序序号号由由小小到到大大的的顺顺序申请资源,若不满足则拒绝分配。序申请资源,若不满足则拒绝分配。反证:若出现循环等待,则必会有反证:若出现循环等待,则必会有小序号资源序号小序号资源序号 大序号资源序号。大序号资源序号。4.4.4 4.4.4 死锁避免死锁避免银行家算法银行家算法(在系统处理资源申请时,判断在系统处理资源申请时,判断在满足申请时,系统是否还处于安全状态?是在满足申请时,系统是否还处于安全状态?是则满足本次资源申请则满足本次资源申请 ,否则拒绝。
7、依此引导进,否则拒绝。依此引导进程运行次序程运行次序)单单类类资资源源系系统统安安全全状状态态定定义义:设设系系统统中中有有n n个个进进程程,若若存存在在一一个个序序列列P1P1,2 2n n使使得得Pi(iPi(i1 1,2 2n)n)以以后后还还需需要要的的资资源源可可以以通通过过系系统统现现有有资资源源加加上上所所有有Pj(jPj(ji)i)占占有有的的资资源源来来满满足足 ,则则称称这这个个系系统统处处于于安安安安全全全全状状状状态态态态,序序列列,n n称为称为安全序列安全序列安全序列安全序列。举例举例 设银行家有设银行家有1010万贷款,万贷款,P,Q,RP,Q,R分别需要分别需
8、要8,3,98,3,9万元搞项目(假设任何人满足资金总额后万元搞项目(假设任何人满足资金总额后都会归还所有贷款),如果都会归还所有贷款),如果P P已申请到了已申请到了4 4万,万,Q Q要申请要申请2 2万,显然,如果满足万,显然,如果满足Q Q的申请,的申请,有安全序列有安全序列 /。但如果但如果R R要申请要申请4 4万,显然,如果满足万,显然,如果满足R R的申的申请,则不存在安全序列。请,则不存在安全序列。扩展的银行家算法描述扩展的银行家算法描述 n n:系统中的进程个数。:系统中的进程个数。m m:系统中的资源类型数。:系统中的资源类型数。Available(1:m):Availa
9、ble(1:m):Available(1:m):Available(1:m):现有资源向量现有资源向量现有资源向量现有资源向量。Available(j)=kAvailable(j)=k表示有表示有k k个未分配的个未分配的j j类资源。类资源。Max(1:n,1:m):Max(1:n,1:m):Max(1:n,1:m):Max(1:n,1:m):资源最大申请量矩阵资源最大申请量矩阵资源最大申请量矩阵资源最大申请量矩阵。Max(i,j)=kMax(i,j)=k表示第表示第i i个进程对第个进程对第j j类资源的最大申请量为类资源的最大申请量为k.k.Allocation(1:n,1:m):All
10、ocation(1:n,1:m):Allocation(1:n,1:m):Allocation(1:n,1:m):资源分配矩阵资源分配矩阵资源分配矩阵资源分配矩阵。Allocation(i,j)=kAllocation(i,j)=k表示进程表示进程i i已占有已占有k k个个j j类资源。类资源。Need(1:n,1:m):Need(1:n,1:m):Need(1:n,1:m):Need(1:n,1:m):进程以后还需要的资源矩阵。进程以后还需要的资源矩阵。进程以后还需要的资源矩阵。进程以后还需要的资源矩阵。Need(i,j)=kNeed(i,j)=k表示第表示第i i个进程以后还需要个进程以
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 操作系统 概述
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【w****g】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【w****g】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。