当前位置: 首页 > news >正文

操作系统——死锁与饥饿

死锁的概念

在这里插入图片描述

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

死锁产生的条件

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
前三种条件可能会产生死锁,第四种条件(环路)可能会产生死锁
在这里插入图片描述
在这里插入图片描述
机器检测是否死锁是——检测是否有环路

解决死锁

在这里插入图片描述
在这里插入图片描述
以上预防死锁的方法不太实用,低效
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

银行家算法

在这里插入图片描述
P2运行完后可用队列就变成了 6 2 3,之后每个进程都能执行完,后续顺序无所谓了
以上只能确定此刻属于安全的时刻
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
但是不按照安全顺序分配则可能进入不安全状态
在这里插入图片描述
P3申请一个就进入不安全状态,这个时候银行家算法就将P3的申请给阻塞了

银行家算法

http://www.lryc.cn/news/517787.html

相关文章:

  • 【算法】字符串算法技巧系列
  • Vue中el-tree结合vuedraggable实现跨组件元素拖拽
  • 湘潭大学人机交互复习
  • 基于ADAS 与关键点特征金字塔网络融合的3D LiDAR目标检测原理与算法实现
  • Kivy App开发之UX控件DropDown下拉列表
  • 机器学习模型评估指标
  • C# 特性
  • Reactor测试框架之StepVerifier
  • k8s helm部署kafka集群(KRaft模式)——筑梦之路
  • unity action委托举例
  • conda 批量安装requirements.txt文件
  • Flutter:封装一个自用的bottom_picker选择器
  • Group3r:一款针对活动目录组策略安全的漏洞检测工具
  • 支持向量机算法(一):像讲故事一样讲明白它的原理及实现奥秘
  • 力扣-数组-35 搜索插入位置
  • List ---- 模拟实现LIST功能的发现
  • HashMap和HashTable区别问题
  • mysql -> 达梦数据迁移(mbp大小写问题兼容)
  • leetcode热门100题1-4
  • 作业:IO:day2
  • UVM: TLM机制
  • flink的EventTime和Watermark
  • arcgis的合并、相交、融合、裁剪、联合、标识操作的区别和使用
  • 【Leetcode 热题 100】20. 有效的括号
  • 比较procfs 、 sysctl和Netlink
  • Leetcode 3413. Maximum Coins From K Consecutive Bags
  • MakeFile使用指南
  • 矩阵碰一碰发视频的视频剪辑功能源码搭建,支持OEM
  • VB.NET CRC32 校验
  • 冒充者综合征上线了