操作系统（六）死锁

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$C${}_{ij}$+A${}_j$=E${}_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 两阶段加锁：在第一阶段，进程试图对所有所需的记录进行加锁，一次锁一个记录，如果第一阶段加锁成功，就开始第二阶段，完成更新然后释放锁。