第三章
3.1 资源
- 在进程对设备、文件等取得了排他性访问权时,有可能会出现死锁。为了方便讨论,我们把需要排他性使用的这类对象称为资源。
3.1.1可抢占资源和不可抢占资源
- 可抢占资源可以拥有它的进程中抢占而不会产生任何副作用,存储器就是一类可抢占资源。
- 不可抢占资源是指在不引起相关的计算失败的情况下,无法把它从占有它的进程处抢占过来。
- 总的来说,死锁和不可强占资源有关。
- 使用一个资源所需要的时间顺序可以用抽象的形式表示如下:
(1)请求资源
(2)使用资源
(3)释放资源
3.2 死锁的概述
- 如果一个进程集合中的每个进程都在等待只能由该组进程中的其他进程才能引发的事件,那么,改组进程是死锁的。
3.2.1 死锁的条件
- 发生死锁的四个必要条件
(1)互斥条件。每个资源要么已经分配给一个进程,要么就是可用的
(2)占有和等待条件。已经得到了某个资源的进程,可以再请求新的进程。
(3)不可抢占条件。已经分配给一个进程的资源不能强制性的被抢占,它只能被占有它的进程显示的释放。
(4)环路等待条件。死锁发生时,系统中一定有由两个或两个以上的进程组成一条环路,该环路中的每个进程都在等待着下一个进程所占有的资源
死锁发生时,以上四个条件一定是全部都满足的,如果其中任何一个条件不成立,死锁就不会发生。
3.3 鸵鸟算法
- 最简单的解决方法就是鸵鸟算法:把头埋到沙子里,假装根本没有问题发生。
3.4 死锁检测和死锁恢复
- 第二种技术就是死锁检测和死锁恢复。
3.4.1 每种类型一个资源的死锁检测
3.4.2 每种类型多个资源的死锁检测
3.4.3 从死锁中恢复
- 1.利用抢占恢复
- 2.利用回退恢复
- 3.通过杀死进程恢复
3.5 死锁避免
- 单个资源的银行家算法
- 多个资源的银行家算法
3.6 死锁预防
- 破坏互斥条件
- 破坏占有和等待条件
- 破坏不可抢占条件
- 破坏循环等待条件
3.7 其他问题
- 两阶段加锁
- 非资源死锁
- 饥饿