- 25
- 0
- 约8.73千字
- 约 48页
- 2016-12-21 发布于重庆
- 举报
有环无死锁 死锁定理 如果资源分配图中没有环路,则系统中没有死锁,如果图中存在环路则系统中可能存在死锁。 如果每个资源类中只包含一个资源实例,则环路是死锁存在的充分必要条件。 21 资源分配与调度——死锁 3. 系统状态分析 (1) 初始状态描述 假定一个系统包括n个进程和m类资源,表示如下 ① 一组确定的进程集合,记作: p={p1,p2,…,pi,…,pn} ② 一组不同类型的资源集合,记作: r={r1,r2,…,rj,…,rm} ③ 矢量w说明各类可利用资源的总的数目 w={w1,w2,…,wj,…,wm} 22 资源分配与调度——死锁 (2) 资源请求矩阵 在时刻 t 资源请求矩阵,表示如下 d(t) = dij 表示进程pi还需要j类资源的数目 23 资源分配与调度——死锁 (3) 资源分配矩阵 在时刻 t 资源分配矩阵,表示如下 a(t) = aij 表示进程pi已占有j类资源的数目 什么情况下系统是安全的? 当进程请求某类资源时,进程对该类资源的需求量小于 当前时刻系统所拥有的该类资源的数目,那么满足进程 的这次请求,系统是安全的。 24 资源分配与调度——死锁 4. 解决死锁问题的策略 不考虑此问题:(鸵鸟政策) 让死锁发生:允许死锁发生,但能检测出死锁并实现修复。 不让死锁发生:为了不发生死锁,必须设法破坏产生死锁的四个必要条件之一 条件1:难以否定,但可采用相应的技术,如利用假脱机技术,即用可共享使用的设备模拟非共享的设备。 条件2:容易否定,可制定相应的规则即可,例如,当一个进程(程序)申请某资源被拒绝,则必须释放已占用的资源,如需要再与其它所需资源一起申请。对CPU可进行可剥夺分配,对某些设备如打印机则行不通。 条件3:很容易否定,只要分配策略上规定一个进程(或程序)一次将所需资源一次申请到位。用完后释放。可以全部用完后,统一释放,也可使用完后立即释放,只要是一次申请到的,系统就不会出现死锁。但资源利用率不高。实际上系统不采用部分分配,也就破坏了环路条件。 条件4:在进行资源分配前考虑是否会出现环路,预测是否会发生死锁,只要有这种可能性就不予分配。 综上所述,解决死锁问题的策略包括: 采用静态分配方法来预防死锁 采用有控分配方法来避免死锁 当死锁发生时检测出死锁,并设法修复。 25 资源分配与调度——死锁 5. 死锁的预防 (1) 静态预防死锁的方法 在作业调度时为选中的作业分配它所需要的所有资源,当 资源一旦分配给该作业后,在其整个运行期间这些资源为 它独占。 一个用户(进程)在程序运行之前可能很难提出将要使用的全部设备 设备(资源)的浪费太大,有些资源在进程运行过程中可能只有很少的时间才用到,有的甚至不会用到,例如,一个分枝语句。 讨论:这种方法破坏了产生死锁的必要条件中的哪一条? 25 资源分配与调度——死锁 (2) 动态预防死锁的方法 在动态分配资源的策略下,采用某种算法来预防可能发生的死锁,从而拒绝可能引起的某个资源请求。---破坏环路条件。 ① 有序资源分配法 系统中所有资源都给定一个唯一的编号,所有分配请求必 须以上升的次序进行。当遵守上升次序的规则时,若资源 可用,则予以分配;否则,请求者等待。 系统要求申请进程: 对它所必须使用的而且属于同一类的所有资源,必须一次申请完; 在申请不同类资源时,必须按各类设备的编号依次申请。 例如:进程PA使用资源的顺序是R1,R2;进程PB使用资源的顺序是R2,R1;若采用动态分配有可能形成环路条件,造成死锁。采用有序资源分配法:R1的编号为1,R2的编号为2; PA申请次序应是:R1,R2; PB申请次序应是:R1、R2,这样就破坏了环路条件,避免了死锁的发生。 26 资源分配与调度——死锁 ② 银行家算法 Dijkstra E.W 于1968年提出。银行家算法 银行家拥有一笔周转资金 客户要求分期贷款,如果客户能够得到各期贷款,就一定能够归还贷款,否则就一定不能归还贷款 银行家应谨慎的贷款,防止出现坏帐 用银行家算法避免死锁 操作系统(银行家) 操作系统管理的资源(周转资金) 进程(要求贷款的客户) 26 资源分配与调度——死锁 银行家算法的算法思想 申请者事先说明对各类资源的最大需求量。在进程活动 期间动态申请某类资源时,由系统审查现有该类资源的 数目是否能满足当前进程的最大需求量,如能满足就予
您可能关注的文档
最近下载
- 遵义红色旅游景区游客满意度调查研究——以遵义会议会址为例.docx VIP
- CNAS-CC180:2023《食品安全管理体系认证机构要求》.pdf VIP
- 高中语文:新高考背诵完整版72篇(补充篇目).docx
- 高功率瞬态电磁脉冲测量用宽频带集成光波导电场传感器的研制.docx VIP
- 露天煤矿调研报告.doc VIP
- 2025美国心脏协会和美国儿科学会新生儿复苏、儿童基础生命支持和儿童高级生命支持指南更新解读.pptx VIP
- 人教版七年级数学(上册)期末数学试卷.doc VIP
- 2025年演出经纪人演出项目政府补贴与基金申请预算专题试卷及解析.pdf VIP
- 家畜传染病与寄生虫学复习资料.pdf VIP
- 2024-2025学年北京大兴区七年级初一(上)期末数学试卷(含答案).pdf
原创力文档

文档评论(0)