王道考研——操作系统(第二章 进程管理)(死锁)

一、死锁的概念

什么是死锁

在这里插入图片描述
在这里插入图片描述

死锁、饥饿、死循环的区别

在这里插入图片描述

死锁产生的必要条件

在这里插入图片描述

什么时候会发生死锁

在这里插入图片描述

死锁的处理策略

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

二、死锁的处理策略——预防死锁

知识总览

在这里插入图片描述

破坏互斥条件

在这里插入图片描述

破坏不剥夺条件

在这里插入图片描述

破坏请求和保持条件

在这里插入图片描述

破坏循环等待条件

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述
与前面哲学家进餐问题中三种解决死锁的方法对应起来

三、死锁的处理策略——避免死锁

知识总览

在这里插入图片描述

什么是安全序列

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

安全序列、不安全状态、死锁的联系

在这里插入图片描述

在这里插入图片描述

如果系统处于安全状态,就一定不会发生死锁。如果系统进入不安全状态,就可能发生死锁(处于不安全状态未必就是发生了死锁,但发生死锁时一定是在不安全状态)
因此可以在资源分配之前预先判断这次分配是否会导致系统进入不安全状态,以此决定是否答应资源分配请求。这也是“银行家算法”的核心思想。

银行家算法

在这里插入图片描述
在这里插入图片描述
实际做题(手算)时可用更快速的方法找到一个安全序列:
在这里插入图片描述

再看一个找不到安全序列的例子:
在这里插入图片描述
接下来看用代码如何实现银行家算法:
在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

四、死锁的处理策略——检测和解除

知识总览

在这里插入图片描述

死锁的检测

在这里插入图片描述
在这里插入图片描述
再来看一个不能消除所有边(死锁)的:
在这里插入图片描述
最终还连着边的那些进程就是处于死锁状态的进程:此图中,P3进程可以把所有与它相连的边都干掉,所以P3进程不是死锁状态,只有P1和P2是死锁状态的进程

在这里插入图片描述

不阻塞:这个进程申请的资源数量足够满足其需求,比如P1进程,P2进程则相反,所以P2进程是一个阻塞的进程

不是孤点:与这个进程至少有一个边相连,所以P1和P2都不是孤点

死锁的解除

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

  • 1
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值