操作系统简要总结之死锁
死锁的概念
死锁 (deallocks): 是指两个或两个以上的进程(线程)在执行过程中,因争夺互斥资源而造成的一种互相等待的现象。
死锁产生的原因
-----竞争资源引起的资源分配不当
-----进程推进顺序不合理
产生死锁的四个必要条件
-----互斥条件:一个资源每次只能被一个进程(线程)使用。
-----不可剥夺条件:一个进程(线程)对已获得的资源在未使用完毕之前,不能被其他进程强行剥夺,而只能又该进程自愿释放。
-----请求保持条件条件: 进程(线程)每次申请它所需要的一部分资源,在申请新资源的同时继续占用已分配的资源。
-----循坏等待条件: 多个进程(线程)之间形成一种头尾相接的循环等待资源关系,即前一个进程占有后一个进程所请求的资源。
注:这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述条件之 一不满足,就不会发生死锁。
解决死锁的方法
-----预防死锁(破坏产生死锁的条件)
-----避免死锁(银行家算法)
-----检测死锁(资源分配图)
-----解除死锁
注:第三条与第四条一般联合使用
预防死锁的策略
-----破坏互斥条件(SPOOLing)
----- 允许剥夺其他进程的资源(破坏不可剥夺条件)
-----一次性分配所有的资源(破坏请求与保持条件)
-----有序分配资源(破坏请求与保持条件)
检测死锁的策略
资源分配图
解除死锁的策略
-----撤销进程
-----撤消陷于死锁的全部进程
-----逐个撤消陷于死锁的进程,直到死锁不存在
-----剥夺资源
-----将陷于死锁的进程所占用的资源逐个强迫放弃,直至死锁消失
-----从另外一些进程那里强行剥夺足够数量的资源分配给死锁进程,以解除死锁状态
与死锁相关的概念
-----活锁:活锁不会被阻塞,而是不停检测一个永远不可能为真的条件。除去进程本身持有的资源外,活锁状态的进程会持续耗费宝贵的CPU时间。
避免活锁的简单方法是采用先来先服务的策略
-----饥饿:由于优先级别低而无法得到执行。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步