死锁——临界资源

临界资源一定是不可剥夺的吗?

不一定。临界资源是在任何时刻只允许一个进程访问的资源。但这个资源是否是“不可剥夺的”取决于系统的策略和设计。

不可剥夺的资源当一个进程获得了某种资源后,直到该进程释放资源之前,其他进程都不能夺走它。例如,某些实时操作系统中,一旦一个任务获得了CPU控制权,就不能被剥夺,直到该任务完成或达到其分配的时间片为止。

可剥夺的资源:如果一个进程正在使用某种资源,操作系统可以中断该进程的执行并将资源分配给另一个进程。这常常是为了满足某些优先级策略或避免死锁。例如,在许多操作系统中,当一个高优先级的进程就绪并请求CPU时,一个正在运行的低优先级进程可能会被剥夺CPU。

对于临界资源的管理,重要的是确保在任何时刻只有一个进程访问它,以避免竞态条件。是否可以剥夺这种资源取决于特定的应用和设计需求。

可剥夺性资源:CPURAM等;

非剥夺性资源打印机、磁带机还没用完,就不能强行抢走资源

临时性资源:通信数据。

系统中配备的非剥夺性资源的数量不能满足诸进程运行的需要时,会使进程因争夺资源而陷入僵局。


死锁的排除方法

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
银行家算法是一种经典的避免的算法,它可以确保系统在分配资源时不会进入状态。该算法主要分为两个过程:安全性检查和资源分配。 安全性检查: 在系统运行时,银行家算法需要进行安全性检查,以确定当前状态是否安全。安全状态指的是系统可以满足所有进程的资源需求,而不会陷入状态。 实现该算法需要维护以下数据结构: - 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 数组的值。 - 如果无法满足,则该进程必须等待资源。 需要注意的是,资源分配过程中,需要检查是否会破坏系统的安全状态。如果分配资源后,系统无法保持安全状态,则应该撤销分配操作,等待系统恢复到安全状态后再进行分配。 综上所述,银行家算法是一种非常重要的避免的算法。通过合理地分配系统资源,可以避免系统陷入状态,提高系统的可靠性和稳定性。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Joy T

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值