死锁 银行家算法

死锁 银行家算法

1. 死锁

1.1 产生死锁的4个必要条件

产生死锁的4个必要条件：
1. 互斥条件：每个资源要么已经分配给一个进程，要么就是可用的；
2. 占有和等待条件：已经得到了某个资源的进程可以再请求新的资源；
3. 不可抢占条件：已经分配给一个进程的资源不能强制性地被抢占，它只能被占有的进程显式地释放；
4. 环路等待条件：死锁发生时，系统中一定有两个或两个以上的进程组成一条环路，该环路中每个进程都在等待下一个进程所占有的资源。

死锁发生时，上述4个条件一定是同时满足的，如果其中任何一个不成立，死锁就不会发生。

1.2 处理死锁

4种处理死锁的策略：
1. 忽略；
2. 检测死锁并恢复。让死锁发生，检测它们是否发生，一旦发生死锁，采取行动解决问题；
3. 仔细对资源进行分配，动态地避免死锁；
4. 破坏死锁发生的4个必要条件之一，防止死锁发生。

1.3 安全状态、不安全状态

安全状态和不安全状态：
安全状态：如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态。安全状态一定是没有死锁发生。
不安全状态：不存在一个安全序列。不安全状态不一定导致死锁。

2. 银行家算法

Dijkstra(1965)提出的避免死锁的调度算法，称为银行家算法。
银行家算法，检查满足一个请求是否会达到安全状态，如果能达到安全状态，就接受，如何判断是安全状态，具体过程请看参考。
参考：
[1] 《现代操作系统》