重新整理操作系统概念系类——死锁
前言
简单介绍一下死锁,以及解决死锁的办法。
正文
死锁发生的必要条件
1.互斥条件:只有对必须互斥使用的资源的争夺才会导致死锁,内存、扬声器是不会导致死锁的。
2.进程所获取的资源在未使用完成之前,不能其他进程抢夺。
3.进程已经保持了至少一个资源,但又提出新的资源请求,而该资源又被其他进程占有,此时请求进程被阻塞,但是自己的资源又不会被释放。
4.循环等待条件:存在一种进程资源的循环等待,链中的每一个进程已获得的资源同时被下一个进程所请求。
发生死锁一定是循环等待,循环等待不一定死锁,比如说有10个资源,各剩下一个,两个进程分别占有3个资源,都还需要两个资源就可以运行,那么这时候谁都不放手就循环等待了。
但是如果循环等待,出现一种情况,就是其他进程占有的3个资源释放了,那么就可以继续运行了。
其实说了这么多就是这样子:
两个进程必须互相占有一个资源,然后都在等待对方释放。
预防死锁
预防死锁就是破坏死锁产生的必要条件。
1.解决互斥条件,把互斥资源改成共享资源,如打印机,有两个进程他们要使用打印机可以另外建立一个进程专门来管理打印机,其他进程要想打印就得请求这个打印机管理进程。
2.破坏不剥夺条件,进程所获取的资源在未使用完之前,不能被其他进程强行夺走,只能主动释放。
3.破坏请求和保持条件,进程已经至少有一个资源,然后还请求其他资源,然后新请求的资源又请求不到。
4.破坏循环等待条件
避免死锁(银行家算法)
其实就是银行家算法,地址:https://baike.baidu.com/item/银行家算法/1679781?fr=aladdin
死锁的检测和解除
死锁检查:
死锁解除:
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构