王道考研——操作系统(第二章 进程管理)(死锁)
创始人
2024-04-09 14:37:49

一、死锁的概念

什么是死锁

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

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

在这里插入图片描述

死锁产生的必要条件

在这里插入图片描述

什么时候会发生死锁

在这里插入图片描述

死锁的处理策略

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

破坏互斥条件

在这里插入图片描述

破坏不剥夺条件

在这里插入图片描述

破坏请求和保持条件

在这里插入图片描述

破坏循环等待条件

在这里插入图片描述

知识回顾与重要考点

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

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

知识总览

在这里插入图片描述

什么是安全序列

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

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

在这里插入图片描述

在这里插入图片描述

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

银行家算法

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

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

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

死锁的检测

在这里插入图片描述
在这里插入图片描述
再来看一个不能消除所有边(死锁)的:
在这里插入图片描述

相关内容

热门资讯

最新或2023(历届)山东中医... 最新或2023(历届)军训时间尚未公布,以下是该校军训注意事项:一、了解军训  1、军训的科目都有什...
最新或2023(历届)滨州医学... 最新或2023(历届)滨州医学院军训时间尚未公布,以下是该校军训注意事项:一、了解军训  1、军训的...
最新或2023(历届)菏泽学院... 菏泽学院是山东省菏泽市唯一的全日制普通本科高校。学校前身是始建于1949年初的冀鲁豫区第二师范学校。...
最新或2023(历届)山东艺术... 山东艺术学院坐落于名泉簇拥的历史文化名城济南,是山东省唯一一所综合性高等艺术学府。经过几代人的不懈努...
最新或2023(历届)山东体育... 山东体育学院是山东省唯一一所普通高等体育院校,是国家公办、全日制、以体育学科为主,理、工、文、经相结...