银行家算法

更新： 修改了第一例中的错误

前言

操作系统在解决死锁问题的时候，有四个大的方向，分别是预防死锁，避免死锁，检测死锁和解除死锁。而今天要讲的银行家算法是避免死锁算法的代表。

安全状态

首先我们了解一个概念，安全状态。

避免死锁的定义：在资源动态分配的过程中，防止系统进入不安全状态。

由定义可知道，要想实现避免死锁，那么就必须让进程资源分配处于安全状态，所谓安全状态就是系统能按照某种进程推进顺序（安全序列）进行。所以避免死锁需要知道未来进程资源的请求情况。

上面的定义可能比较抽象，下面用一个实例来介绍安全状态。（此处建议动笔一起计算）

我们先来说答案，其中按照 <P2,P1,P3>的推进序列使用磁带机就是安全的。

我们来看

1. 现在的可用（可以分配）的资源数是 3 ，而 P2 需要的资源数是 2，所以可以分配
2. 待 P2 执行完毕后，释放资源数为 4，变成可用资源，加上之前剩余的可用资源数，一共是 5 个
3. 观察到 P1 需要 5 个，所以分配给 P1
4. P1 执行完后释放资源数为 10，变成可用资源
5. 而 P3 只需要 7 个，所以分配 7 个可用资源个 P3
6. P3 运行完毕

并非所有的不安全状态都是死锁，但是处于不安全状态很可能产生死锁

银行家算法

银行家算法的数据结构

1. 可利用资源向量（Available）：系统还可以分配的资源
2. 最大需求矩阵（Max）：进程的最大资源需要
3. 分配矩阵（Alloction）：进程已经获得的资源
4. 需求矩阵（Need）：进程还需要获得的资源

银行家算法

1. 假设 P1 进程提出请求 K 个资源

2. 如果 K <= Need，就继续步骤；否则出错，因为请求资源 K 不能超过还需要获得的资源

3. 如果 K <= Available，就继续步骤；否则出错，因为请求资源 K 不能超过系统还可以分配的资源 Available

4. 系统试探分配资源，并修改下列数据
   Available = Available - K；表示分配给 P1 K 个资源后，还剩多少系统可分配资源
   Allocation = Allocation + K；表示 P1 已经获得的资源
   Need = Need - K；表示进程 P1 还需要获得的资源

5. 此时系统执行安全性算法，计算进程是否处于安全性状态

   PS：此时是执行的试探分配，为的是检查进程是否处于安全状态，不处于
   则试探分配作废
   

安全性算法

安全性算法是银行家算法在第五步执行的子算法，用于检查进程的安全状态。银行家算法是
计算某一个进程对资源的需求问题，安全性算法是计算所有的进程在各自的银行家算法执行
下，是否处于**安全状态**。

两个向量

• 工作向量（Work）：系统提供给进程的各类资源数目
• Finish：表示系统是否有足够的资源分配给进程，这是一个布尔值。初始化为 false。

算法描述

在进程集合中找到下述条件的进程

1. Finish[ i ] = false;
2. Need <= Work
3. 进程执行完毕
4. Work = Work + Allocation
5. Finish [ i ] = true
6. 返回继续执行 1 ，寻找其他的进程分配资源
7. 若所有的 Finish 为 true 则安全

银行家算法实例

分析此时刻，P1 和 P3 都可以进行分配（PS：安全序列的结果并不是唯一的）
利用上述的银行家算法即可得出此时的安全序列：<P1,P3,P4,P2,P0>

完毕。