OS复习笔记ch6-1

死锁的原理

定义

一组进程中,其中每个进程因等待事件而阻塞,且所等待的事件只能被这组进程中的另一阻塞进程激发称之为死锁。

举例如下
image.png

四个车辆希望紧迫的希望能很快通过,每辆车需要两个象限的资源,然而四个车都只得到一个象限的资源,每辆车都过不去,此时就会发生阻塞。

死锁的原因

并发进程的资源竞争
  • 资源数目不足
  • 资源分配策略,如动态分配
  • 进程对资源使用要互斥访问

有关资源的竞争,比如上图中四辆车过交叉路口、著名的哲学家就餐问题,还有在之前的章节中,我们讲解互斥和同步的时候也举了很多由于资源竞争的例子,这里不再赘述。

并发进程执行的顺序

这里举了一个双进程的例子,理解执行顺序对死锁的影响
image.png
有两个进程P、Q需要互斥地访问A、B一段时间,各自的伪代码如右图所示


下图是进程访问图示(图中总共有6种路线,中间的/和\区域需要互斥访问)
image.png

  • 1、2号线,表示Q进程先拿到了A和B的资源,P进程拿不到,只能等到Q进程释放资源。同理,对于5、6号线路P进程先拿到资源,然后是Q进程等待,不会引发死锁。

  • 3、4号线路是死锁不可避免,两者只是顺序不同,所以我们就只看其中一条线路即可。3号线路中,其中P拥有A,Q拥有B。由于不能走到互斥访问区域,所以接下来不管怎么走,P和Q两个都会走到死锁区域的边界点,即图中的(GetB,GetA)。
    image.png

解决方案
image.png
此时,可以通过修改P进程的代码实现互斥,将Get B和release A交换顺序,可以避免死锁
这样资源的访问图如下
image.png
两者的不可访问区域没有重叠,进程对资源的获得有隙可乘,就可以实现互斥访问了

资源分类

  • 可重用资源的死锁:内存,信号量等
  • 可消耗资源:中断信号、message(消息)、I/O缓冲区

资源分配图

image.png
箭头表示资源的供给关系,左图P1需要Ra资源,右图P1占有Ra资源
image.png

图c是资源数目不够,然后形成了回路,相互得不到资源。
而图d是资源数目充足,虽然表面是回路,但是下一时刻资源可以分配,也就没有死锁。

死锁的条件

  • Mutual exclusion 互斥
    任一时刻只允许一个进程使用资源
  • Hold-and-wait 保持和请求
    进程在请求其余资源时,不主动释放已经占用的资源
  • No preemption 不可剥夺
    进程已经占用的资源,不会被强制剥夺
  • Circular wait 循环等待
    资源分配图不能化简,存在一个进程之间的封闭环路。(注意:循环等待不一定导致死锁,但是死锁一定有循环等待)

这四个条件都是必要条件,只不过一般情况下,根据循环等待判断死锁,往往比较有充分性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/web/15817.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

golang调用aliyun的语音通话服务,复制直接使用

golang调用aliyun的语音通话服务 通过API使用语音通知/语音验证码——阿里云官方文档SingleCallByTts - 发送语音验证码或文本转语音类型的语音通知入门流程主要参数引入阿里云语音官方SDK-go版本完整代码通过API使用语音通知/语音验证码——阿里云官方文档 https://help.aliy…

电子电器架构 - AUTOSAR软件架构介绍

电子电器架构 - AUTOSAR软件架构介绍 我是穿拖鞋的汉子,魔都中坚持长期主义的汽车电子工程师。 老规矩,分享一段喜欢的文字,避免自己成为高知识低文化的工程师: 屏蔽力是信息过载时代一个人的特殊竞争力,任何消耗你的人和事,多看一眼都是你的不对。非必要不费力证明自己…

MFC Winsock 类:MFC 中的网络编程

目录 概述 一.MFC Winsock 类简介 1.MFC Winsock 类的主要功能 2.MFC Winsock 类的主要优点 3.MFC Winsock 类的主要缺点 4.MFC Winsock 类的主要类 5.MFC Winsock 类示例 二.CAsyncSocket 类 1.主要功能 异步通信 事件驱动 数据传输 套接字选项 2.常用函数 创建…

Maven多环境打包配置

一、启动时指定环境配置文件 在启动springboot应用的jar包时,我们可以指定配置文件,通常把配置文件上传到linux服务器对应jar包的同级目录,或者统一的配置文件存放目录 java -jar your-app.jar --spring.config.location/opt/softs/applicat…

matlab 图像的中值滤波

目录 一、功能概述1、算法概述2、主要函数3、计算公式二、代码实现三、结果展示四、参考链接本文由CSDN点云侠翻译,放入付费专栏只为防不要脸的爬虫。专栏值钱的不是本文,切勿因本文而订阅。 一、功能概述 1、算法概述 中值滤波是图像处理中一种常用的非线性运算,用于减少…

间接平差——以水准网平差为例 (python详细过程版)

目录 一、原理概述二、案例分析三、代码实现四、结果展示本文由CSDN点云侠原创,间接平差——以水准网平差为例 (python详细过程版),爬虫自重。如果你不是在点云侠的博客中看到该文章,那么此处便是不要脸的爬虫与GPT生成的文章。 一、原理概述 间接平差的函数模型和随机模型…

openai api的初次尝试

不懂已经不去百度了,现在直接问chatgpt就解决绝大多数问题了。 OpenAI API目前还没有官方支持的npm库,但是您可以使用现有的第三方npm库进行OpenAI API的访问和使用。这里提供一个npm库 openai-node 的安装和使用方法: 在命令行或终端中使用…

Util和utils

Util FieldStats 这段代码定义了一个名为FieldStats的Java类,位于com.cqupt.software_1.Util包中。它使用了lombok库的Data和AllArgsConstructor注解,这些注解帮助生成了getter、setter、toString等方法,以及包含所有参数的构造函数。类中有…

区块链会议投稿资讯CCF A--USENIX Security 2025 截止9.4、1.22 附录用率

会议名称:34th USENIX Security Symposium CCF等级:CCF A类学术会议 类别:网络与信息安全 录用率:2023年接收率29%,2024录用的区块链相关文章请查看 Symposium Topics System security Operating systems security …

vue实现可拖拽移动悬浮球

封装悬浮球组件&#xff0c;文件名s-icons.vue <template><div ref"icons" class"icons-container" :style"{ left: left px, top: top px }"><slot></slot></div> </template> <script> export …

国产化服务器开启NTP功能并向NTP时钟服务器同步

1.备份/etc/chrony.conf文件&#xff1b; cp -rp /etc/chrony.conf /etc/chrony.conf.bak.20240522 2.修改chrony.conf文件&#xff0c;增加NTP时钟信息。&#xff08;客户端填写时钟同步服务器的IP地址或者域名&#xff0c;我这里写的IP地址。下面Allow NTP Client是只允许…

Mysql 的 binlog 有几种格式?

MySQL 的二进制日志&#xff08;binlog&#xff09;有三种格式&#xff0c;每种格式都有其特定的用途和优缺点。以下是详细描述&#xff1a; 1. STATEMENT 描述: 记录的是 SQL 语句。特点: 每条更改数据的 SQL 语句都会记录在 binlog 中。相对较小&#xff0c;因为只记录了 S…

数字图像处理冈塞雷斯第四版课后习题答案【英文原版】

第二章 第三章 . 第四章 傅里叶变换是一个线性过程&#xff0c;而计算梯度的平方根和平方根则是非线性运算。傅里叶变换可以用来计算微分的差值(如问题4.50)&#xff0c;但必须在空间域中直接计算平方和平方根值。 (a)实际上&#xff0c;由于高通操作&#xff0c;环有一个暗中心…

在已创建的git工程中添加.gitignore

有些代码创建git时&#xff0c;为了方便将所有文件都加入了git管理&#xff0c;但实际有些库的Makefile文件和编译目录的文件不需要加入管理&#xff0c;否则每次提交或编译后&#xff0c;git diff将看到非常多的冗余信息。而我们修改的核心代码都淹没在这些大量无用的信息里面…

Golang:gammazero/deque是一个快速环形缓冲区deque(双端队列)实现

gammazero/deque是一个快速环形缓冲区deque&#xff08;双端队列&#xff09;实现。 文档 https://github.com/gammazero/deque 安装 go get github.com/gammazero/deque代码示例 先入先出队列 package mainimport ("fmt""github.com/gammazero/deque&quo…

留守儿童|基于SprinBoot+vue的留守儿童爱心网站(源码+数据库+文档)

留守儿童爱心网站 目录 基于SprinBootvue的留守儿童爱心网站 一、前言 二、系统设计 三、系统功能设计 1系统功能模块 2管理员功能模块 3用户功能模块 四、数据库设计 五、核心代码 六、论文参考 七、最新计算机毕设选题推荐 八、源码获取&#xff1a; 博主介绍&…

STM_HAL_TIM_IC_(输入捕获,捕获PWM波)

介绍 TM32微控制器提供了输入捕获&#xff08;Input Capture&#xff09;功能&#xff0c;这是一种用于精确测量外部信号脉冲宽度和周期的强大技术。输入捕获通常与定时器&#xff08;如TIM&#xff09;的高级控制定时器&#xff08;TIM1和TIM8&#xff09;或通用定时器&#…

MySQL之Schema与数据类型优化和创建高性能的索引(一)

Schema与数据类型优化 只修改.frm文件 从前面的例子中可以看到修改表的.frm文件是很快的&#xff0c;但MySQL有时候会在没有必要的时候也重建.如果愿意冒一些风险&#xff0c;可以让MySQL做一些其他类型的修改而不用重建表。下面这些操作是有可能不需要重建表的: 1.移除(不是…

JavaEE-文件IO2

文章目录 前言一、字节流1.1 读文件1.2 写文件 二、字符流2.1 读文件2.2 写文件 三、文件IO三道例题 前言 在这里对Java标准库中对文件内容的操作进行总结&#xff0c;总体上分为两部分&#xff0c;字节流和字符流&#xff0c;就是以字节为单位读取文件和以字符为单位读取文件…

[AI Google] 介绍 VideoFX,以及 ImageFX 和 MusicFX 的新功能

VideoFX 是来自 labs.google 的最新实验&#xff0c;您可以查看音乐效果和图像效果的新更新&#xff0c;现在在 110 多个国家可用。 生成式媒体正在改变人们构思创意并增强我们的创造力能力的方式。我们致力于与创作者和艺术家合作构建人工智能&#xff0c;以更好地理解这些生成…