王道考研——操作系统(第二章 进程管理)(死锁)
创始人
2024-03-04 23:23:13
0

一、死锁的概念

什么是死锁

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

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

在这里插入图片描述

死锁产生的必要条件

在这里插入图片描述

什么时候会发生死锁

在这里插入图片描述

死锁的处理策略

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

破坏互斥条件

在这里插入图片描述

破坏不剥夺条件

在这里插入图片描述

破坏请求和保持条件

在这里插入图片描述

破坏循环等待条件

在这里插入图片描述

知识回顾与重要考点

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

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

知识总览

在这里插入图片描述

什么是安全序列

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

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

在这里插入图片描述

在这里插入图片描述

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

银行家算法

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

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

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

死锁的检测

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

相关内容

热门资讯

保存时出现了1个错误,导致这篇... 当保存文章时出现错误时,可以通过以下步骤解决问题:查看错误信息:查看错误提示信息可以帮助我们了解具体...
汇川伺服电机位置控制模式参数配... 1. 基本控制参数设置 1)设置位置控制模式   2)绝对值位置线性模...
不能访问光猫的的管理页面 光猫是现代家庭宽带网络的重要组成部分,它可以提供高速稳定的网络连接。但是,有时候我们会遇到不能访问光...
不一致的条件格式 要解决不一致的条件格式问题,可以按照以下步骤进行:确定条件格式的规则:首先,需要明确条件格式的规则是...
本地主机上的图像未显示 问题描述:在本地主机上显示图像时,图像未能正常显示。解决方法:以下是一些可能的解决方法,具体取决于问...
表格列调整大小出现问题 问题描述:表格列调整大小出现问题,无法正常调整列宽。解决方法:检查表格的布局方式是否正确。确保表格使...
表格中数据未显示 当表格中的数据未显示时,可能是由于以下几个原因导致的:HTML代码问题:检查表格的HTML代码是否正...
Android|无法访问或保存... 这个问题可能是由于权限设置不正确导致的。您需要在应用程序清单文件中添加以下代码来请求适当的权限:此外...
【NI Multisim 14...   目录 序言 一、工具栏 🍊1.“标准”工具栏 🍊 2.视图工具...
银河麒麟V10SP1高级服务器... 银河麒麟高级服务器操作系统简介: 银河麒麟高级服务器操作系统V10是针对企业级关键业务...