操作系统笔记：死锁

夜以冀北

已于 2022-05-10 21:10:06 修改

阅读量392

点赞数

文章标签： windows

于 2022-05-05 21:42:11 首次发布

本文链接：https://blog.csdn.net/qq_43561934/article/details/124585177

版权

操作系统笔记
原作者视频地址：https://www.bilibili.com/video/BV1YE411D7nH?spm_id_from=333.337.search-card.all.click
本人为自学整理的文档

第二部分：死锁

死锁的定义

多个进程因竞争资源而造成的一种僵局（互相等待），若无外力作用，这些进程都无法向前推进。
死锁产生的必要条件：互斥条件（独占资源）、不剥夺条件（主动释放资源）、请求并保持条件（保持现有资源申请新资源）、循环等待条件（资源循环等待链）

死锁预防策略

1.破坏互斥条件：将只能互斥的资源改成同时共享访问；独占锁改成共享锁；不是所有资源都能改成可共享的
2.破坏不剥夺条件：请求新资源时必须释放已有资源；由OS协助强制剥夺某进程持有的资源；实现此策略复杂且代价高，而且这个策略操作过多导致原进程任务无法推进
3.破坏请求并保持条件：进程开始运行一次申请所需资源（导致资源浪费和进程饥饿）—>阶段性请求和释放资源
4.破坏循环等待条件：对所有资源进行排序，按序号请求资源（请求时先低后高，释放时先高后低）；对资源编号应相对稳定，限制了新设备增加；进程使用资源的顺序与编号顺序不同；限制用户编程

死锁避免

银行家算法 （得到安全序列）
数据结构：
可利用资源向量Available：含有m个元素的数组，每个元素代表一类可用的资源数目。
最大需求矩阵Max：n x m矩阵，定义系统中n个进程中的每个进程对m类资源的最大需求。
分配矩阵Allocation：n x m矩阵，定义系统中每类资源当前已分配给每个进程的资源数。
需求矩阵Need：n x m矩阵，表示每个进程接下来最多还需要多少资源。
银行家算法的主要思想是避免系统进入不安全状态。在每次进行资源分配时，首先检查系统是否有足够的资源满足要求，若有则先进行分配，并对分配后的新状态进行安全性检查。若新状态安全，则正式分配上述资源，否则拒绝分配上述资源。这样保证系统始终处于安全状态，从而避免了死锁现象的发生。