笔试题解析(一)——死锁

        秋招临近,我在前几天看到一道笔试题:

题目如下:

       某系统有 n 台互斥使用的同类设备,3 个并发进程需要 3,4,5 台设备,可确保系统不发生死锁的设备数 n 最小为?

 分析:

看到这种题目,我们首先要知道:

什么是死锁?

如果多个进程同时占有对方需要的资源而同时请求对方的资源,而它们在得到请求之前不会释放所占有的资源,那么就会导致死锁的发生,也就是进程不能实现同步,这就是死锁。

例如:
存在资源A和B,进程C和D
进程C享有资源A且资源不使用完毕不释放,进程D享有资源B且不使用完毕不释放。在某一时刻,进程C需要访问资源B,进程D想访问资源B,这个时候C等D释放资源B,D在等C释放A,但是彼此都不放手,造成死锁现象。

产生死锁的原因

  1. 竞争资源。当系统中供多个进程共享的资源如打印机、公用队列等,其数目不足以满足进程的需要时,会引起诸进程的竞争而产生死锁。
  2. 进程间推进顺序非法。进程在运行过程中,请求和释放资源的顺序不当,也同样会导致产生进程死锁。

知道了死锁的定义与死锁产生的原因,我们还要知道死锁产生的必要条件:

死锁的4个必要条件

  1. 资源具有互斥性,资源被进程使用时,其他进程不可以访问,一直等到当前经常访问完毕其他进程才可以访问。
  2. 请求和保持,意思是当一个进程正在访问某一资源时,还想访问其他进程的资源且该资源正在被其他经常使用,而且自己也不想释放自己的资源。
  3. 不可剥夺:意思是资源被进程使用时,只有当该进程访问完毕以后才可以被其他进程访问。
  4. 环路等待:意思进程发生死锁情况以后必然存在 进程–资源环形等待现象。

我们回到文章开头的题目:

要使设备不产生死锁,我们可以打破任意一个死锁产生的必要条件就可以。
比如我们给进程分配资源的时候,一次性给该进程分配完。使它不需要访问其他进程资源,从打破死锁条件里的请求与等待。

因此,我们考虑

在极端状态下:
进程1(3台):申请到2台,无法工作;
进程2(4台):申请到3台,无法工作;
进程3(5台):申请到4台,无法工作;
申请总数:2+3+4=9,此时若只有9台,3个进程持续申请且申请不到,造成死锁。

所以,在此时我们可以让设备要使用的资源,再多上1台,就可以使三个进程中的某一个顺利执行,从而不发生死锁。

因此,可确保系统不发生死锁的设备数 n 最小为10.

最后,要注意的是:在题目中,进程互斥使用的同类设备,所以我们今后都可以以同样的思路去解决类似的问题!

  • 11
    点赞
  • 51
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
银行家算法是一种经典的避免死锁的算法,它可以确保系统在分配资源时不会进入死锁状态。该算法主要分为两个过程:安全性检查和资源分配。 安全性检查: 在系统运行时,银行家算法需要进行安全性检查,以确定当前状态是否安全。安全状态指的是系统可以满足所有进程的资源需求,而不会陷入死锁状态。 实现该算法需要维护以下数据结构: - Available:表示系统中可用的资源数目。 - Allocation:表示已经分配给各个进程的资源数目。 - Need:表示每个进程还需要的资源数目。 具体实现过程如下: 1. 初始化工作: 首先,需要计算出每个进程的所需资源数目,即 Need 数组。这可以通过计算 Max - Allocation 来得到,其中 Max 表示进程所需的最大资源数目。 2. 安全性检查: 银行家算法的安全性检查基于两个概念:安全序列和安全状态。 安全序列:指的是一系列进程的执行顺序,这些进程都能够完成任务,不会进入死锁状态。 安全状态:指的是系统可以分配资源,使得所有进程都能够完成任务,不会进入死锁状态。 安全性检查的具体实现过程如下: (1)初始化工作: 设置 Work 数组为 Available 数组的值;Finish 数组的值都为 false。 (2)循环检查: 循环检查所有进程,找到一个满足以下条件的进程: - Finish[i] = false - Need[i] <= Work 如果找到了这样的进程,则将该进程的资源释放,并将它加入安全序列中。同时,更新 Work 数组的值。 如果没有找到这样的进程,则说明系统无法满足所有进程的资源需求,进入死锁状态。 3. 资源分配: 如果系统处于安全状态,则可以进行资源分配。资源分配的过程需要按照以下规则进行: - 判断是否能够满足当前进程的资源需求(即 Need[i] <= Available)。 - 如果可以满足,则将资源分配给该进程,同时更新 Available 和 Allocation 数组的值。 - 如果无法满足,则该进程必须等待资源。 需要注意的是,资源分配过程中,需要检查是否会破坏系统的安全状态。如果分配资源后,系统无法保持安全状态,则应该撤销分配操作,等待系统恢复到安全状态后再进行分配。 综上所述,银行家算法是一种非常重要的避免死锁的算法。通过合理地分配系统资源,可以避免系统陷入死锁状态,提高系统的可靠性和稳定性。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值