资源图与死锁定理的灵活运用

资源分配图和死锁定理是分析死锁的关键。通过资源分配图的请求边和分配边寻找空闲资源,能解脱死锁状态。死锁解除包括资源剥夺、撤销进程和进程回退。举例说明了如何分析和解决死锁问题,以及在特定情况下死锁状态的进程数至少是3个。
摘要由CSDN通过智能技术生成

资源图与死锁定理的灵活运用

@(OS)

强调一下,死锁预防需要限制资源的请求顺序。

死锁避免需要限制资源的分配顺序。

越早下手处理死锁问题,对机器的性能影响越大。因此,Unix这种追求快的系统,这两种都不采用,而是用的死锁检测和解除。

资源分配图

通常分析描述死锁,可以用资源分配图。关于资源分配图,要仅仅抓住两点:

  • 请求边
  • 分配边

关键在找:空闲资源。如果空闲资源可以满足某个进程,这个进程就可以解脱了,把它摘除资源分配图,再看剩下的资源分配图,,策略相同。

特别要注意,不要手动限制进程请求资源的顺序,再考虑解脱。这是无意识间用了死锁预防的策略,不是我们说的死锁解除。也就是说,死锁预防根本不会出现死锁,那么检测死锁时还采用限制请求的顺序,就是两个知识点混淆的表现。

死锁定理

再看死锁定理:在资源分配图中,把分配的资源与进程连好,再看进程请求边。按照分配边分配好以后,剩余的资源就是空闲资源。此时再来分析进程Pi的请求边,如果空闲资源都能满足Pi的请求,也就意味着Pi可以从这个纠缠的图中得到解脱。删除Pi的所有相关的资源:已分配的+请求的。

再递归处理剩下的资源分配图。

举个例子:

这里写图片描述

某资源分配图。我们先用红色的

评论 23
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值