6.1 资源
可抢占资源:进程可以从其他进程中抢占而不会产生副作用的资源,如打印时的内存。
6.2 死锁简介
死锁:一个进程集合中,每个进程都在等待只能由该进程集合中的其他进程才能引发的事件。(这个定义是大黑书上的,虽然不如2.3.7那里王道上写得明白,但是更靠谱一点)
资源死锁:因为需要其他进程所拥有的资源,每个进程还都无法释放资源,产生的死锁。
6.2.1 资源死锁产生的条件
1.互斥条件:每个资源要么已经分配给了一个进程,要么时可用的。
2.占有和等待条件:进程如果已经得到某个资源,就可以再请求新的资源。
3.不可抢占条件:已经分配的资源不能被抢占。
4.环路等待条件:两个及以上的进程产生一条等待环路
6.2.2 死锁建模
资源是正方形,进程是圆形。
进程占有资源:资源->进程
进程请求资源:进程->资源
6.3鸵鸟算法
当看不见
6.4 死锁检测和死锁恢复
6.4.1 每种类型只有一个资源的死锁检测
按照6.2.2方法画出图,有环就有死锁
6.4.2 每种类型多个资源的死锁检测
E表示现有资源,A表示可用资源,C表示当前分配矩阵,R表示当前请求矩阵。
矩阵行数代表第几个进程,列数代表第几个资源。
有恒等式Σ i = 1 n ^{n}_{i=1} i=1nC i j _{ij} ij+A j _j j=E j _j j (好像是屁话)
检测方式:
{
找到一个A(可用资源)可以满足的R中的行(进程请求)
该进程可以进行
将C中该行的元素加到A上(该进程占用的现有资源释放)
}
直到R=0矩阵或者有一个不满足为止,即可判断出是否死锁。
6.4.3 从死锁中恢复
1.利用抢占恢复(人为强行取走资源分配)
2.利用回滚恢复(读取之前的存档点)
3.通过杀死进程恢复(找一个没副作用的且杀死之后可以破解死锁的杀)
6.5 死锁避免
6.5.2 安全状态和不安全状态
对于每一个进程对资源写出已有数量和最大需求,
并在表格最下写出目前空闲资源数量,
然后通过资源分配看有没有一种策略可以使所有进程全部完成,
如果有那就是安全,
没有就是不安全。
6.5.3 单个资源的银行家算法
Banker’s algorithm 银行家算法:一种能够避免死锁的调度算法,实质是对每一个请求进行检查,检查如果满足这一请求是否会到达安全状态,是则满足。
先尝试满足请求后,按6.5.2的思路来。
如果安全,可以满足该请求,如果不安全,就不满足。
6.5.4 多个资源的银行家算法
先尝试满足请求后,按6.5.2的思路来,只不过每次是多个值都需要满足而已。
如果安全,可以满足该请求,如果不安全,就不满足。
two-stage locking 两阶段加锁:在第一阶段,进程试图对所有所需的记录进行加锁,一次锁一个记录,如果第一阶段加锁成功,就开始第二阶段,完成更新然后释放锁。