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

操作系统之死锁处理策略

概念

一、什么是死锁
哲学家进程问题中,都在等待另外的哲学家放弃另一只筷子,造成了都不能用餐的现象,互相等待对方的资源

二、死锁、饥饿、死循环区别
在这里插入图片描述
三、死锁产生的条件
1、互斥条件
只有对互斥使用的资源的争抢才能导致死锁,像内存,扬声器之类的可以共享的资源并不会导致死锁的产生;

2、不可剥夺条件
进程在使用完这个资源的时候不能被其他的进程掠夺这个资源,只能主动的释放;

3、请求和保持条件
进程已经保持了至少一个资源,但是又提出了新的资源请求,而该资源又被其他资源所占用;

4、循环等待条件
类似于哲学家进餐问题的互相等待筷子;

死锁的处理策略

一、预防死锁
1、破坏互斥条件
在这里插入图片描述

2、破坏不剥夺条件
在这里插入图片描述
3、破坏请求和保持条件
在这里插入图片描述
如果需要一次性请求所有资源,如果A,B交替使用资源1和2这个时候C不能一次性的请求1和2两个资源,导致了C进程资源饿死;

4、破环循环等待条件
在这里插入图片描述
如果先使用打印机,后使用扫描仪,但是需要扫描仪的编号在打印机之前,这样申请了扫描仪之后并不能使用,造成了资源浪费,而且不同的操作系统之间,编号顺序有可能不同,导致了不同的系统需要重新写不同的调用顺序代码,造成了用户编程比较麻烦

二、避免死锁

1、什么是安全序列?
在这里插入图片描述
安全序列指的就是能够找到使得每个进程都能够顺利的安全访问的条件,系统就是安全状态;安全序列可能有多个;

2、银行家算法
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

三、死锁的检测和解除
在这里插入图片描述
在这里插入图片描述
类似于安全序列
在这里插入图片描述
死锁定理:如果某时刻系统的资源分配图是不可以完全简化的,不能消除所有的边,导致系统死锁
在这里插入图片描述


http://www.kler.cn/news/17467.html

相关文章:

  • 体验 nanoGPT
  • PWLCM分段线性混沌映射
  • 日语学习(一)
  • flink-on-yarn两种提交模式及其区别
  • 【Linux问题合集001】Linux中如何将用户添加到sudo组中的步骤
  • 武忠祥老师每日一题||不定积分基础训练(六)
  • Lattics ——一款简单易用、好看强大的知识管理工具
  • 【Spring Security第一篇】初始Spring Security、表单认证、认证与授权
  • Docker安全最佳实践
  • 算法的时间复杂度和空间复杂度(友友们专属限定版)
  • linux常用操作
  • Java ---比较器
  • 武忠祥老师每日一题||定积分基础训练(五)
  • java基础:接口的定义与实现
  • 今日事务java所感
  • 深入源码理解redis数据结构(一)
  • 从 Elasticsearch 到 Apache Doris,10 倍性价比的新一代日志存储分析平台
  • IronOCR 2023.4.13 Crack
  • 【移动端网页布局】流式布局案例 ⑥ ( 多排按钮导航栏 | 设置浮动及宽度 | 设置图片样式 | 设置文本 )
  • JDK17新特性之--新的Compact Strings(JEP 254)
  • 以两分钟了解Python之SQLAlchemy框架的使用
  • 腾讯云的cdn怎么配置|腾讯云CDN配置教程
  • ps磨皮插件专用智能磨皮插件 AI算法美颜 提高P图效率
  • 如何在Emacs中设置字体大小?- 探索Emacs的设置字体大小方法
  • 微信小程序——自定义组件
  • 关于数据倾斜
  • 【Linux】基础IO——库函数与系统调用的关系
  • 牛客刷SQL题Day5
  • Golang中sync.Pool详解及使用方法
  • ( “ 图 “ 之 拓扑排序 ) 210. 课程表 II ——【Leetcode每日一题】