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

一、死锁的概念

什么是死锁

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

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

在这里插入图片描述

死锁产生的必要条件

在这里插入图片描述

什么时候会发生死锁

在这里插入图片描述

死锁的处理策略

在这里插入图片描述

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

破坏互斥条件

在这里插入图片描述

破坏不剥夺条件

在这里插入图片描述

破坏请求和保持条件

在这里插入图片描述

破坏循环等待条件

在这里插入图片描述

知识回顾与重要考点

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

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

知识总览

在这里插入图片描述

什么是安全序列

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

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

在这里插入图片描述

在这里插入图片描述

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

银行家算法

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

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

知识回顾与重要考点

在这里插入图片描述

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

知识总览

在这里插入图片描述

死锁的检测

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

相关内容

热门资讯

监控摄像头接入GB28181平... 流程简介将监控摄像头的视频在网站和APP中直播,要解决的几个问题是:1&...
Windows10添加群晖磁盘... 在使用群晖NAS时,我们需要通过本地映射的方式把NAS映射成本地的一块磁盘使用。 通过...
protocol buffer... 目录 目录 什么是protocol buffer 1.protobuf 1.1安装  1.2使用...
在Word、WPS中插入AxM... 引言 我最近需要写一些文章,在排版时发现AxMath插入的公式竟然会导致行间距异常&#...
Fluent中创建监测点 1 概述某些仿真问题,需要创建监测点,用于获取空间定点的数据࿰...
educoder数据结构与算法...                                                   ...
MySQL下载和安装(Wind... 前言:刚换了一台电脑,里面所有东西都需要重新配置,习惯了所...
MFC文件操作  MFC提供了一个文件操作的基类CFile,这个类提供了一个没有缓存的二进制格式的磁盘...
有效的括号 一、题目 给定一个只包括 '(',')','{','}'...
【Ctfer训练计划】——(三... 作者名:Demo不是emo  主页面链接:主页传送门 创作初心ÿ...