一、死锁
1、原因
竞争资源/程序推进顺序不当
2、必要条件
1、互斥条件
2、请求和保持条件
3、不剥夺条件
4、环路等待条件
3、处理死锁基本方法
1、预防死锁(摒弃除1以外的条件)
2、避免死锁(银行家算法)
3、检测死锁(资源分配图)
4、解除死锁
剥夺资源
撤销进程
二、银行家算法
概念：
在银行中，客户申请贷款的数量是有限的，每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量，在满足所有贷款要求时，客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时，都应尽量满足客户的需要。在这样的描述中，银行家就好比操作系统，资金就是资源，客户就相当于要申请资源的进程。
银行家算法
银行家算法是一种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次分配资源的安全性，若分配不会导致系统进入不安全状态，则分配，否则等待。为实现银行家算法，系统必须设置若干数据结构。
要解释银行家算法，必须先解释操作系统安全状态和不安全状态。
安全序列是指一个进程序列{P1，…，Pn}是安全的，即对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j < i )当前占有资源量之和
以下为示例帮助理解：
系统有A、B、C、D四种资源供5个进程P1、P2、P3、P4、P5共享。系统拥有资源A3个、B14个、C12个、D12个
资源分配情况如下：
各进程已占用资源数 各进程所需最大资源数
| A | B | C | D | A | B | C | D | ||
| P1 | 0 | 0 | 1 | 2 | 0 | 0 | 1 | 2 | |
| P2 | 1 | 0 | 0 | 0 | 1 | 7 | 5 | 0 | |
| P3 | 1 | 3 | 5 | 4 | 2 | 3 | 5 | 6 | |
| P4 | 0 | 6 | 3 | 2 | 0 | 6 | 5 | 2 | |
| P5 | 0 | 0 | 1 | 4 | 0 | 6 | 5 | 6 |
1、问系统中各种资源还剩多少？
A资源=总数(3) - P2(1) - P3(1) = 1个
B资源=总数(14) - P3(3) - P4(6) = 5个
C资源=总数(12) - P1(1) - P3(5) - P4(3) - P5(1) = 2个
D资源=总数(12) - P1(2) - P3(4) - P4(2) - P5(4) = 0个
2、现在系统是否出于安全状态，为什么？
Max(进程最大需求数) AL(进程已分配数) Need(进程待分配数) Available(系统可用内存)
目前：Available=1520（依次代表ABCD四种资源）
| Work | AL | Need(小与Work) | Work+AL（P1释放） | ||
| P1 | 1 5 2 0 | 0 0 1 2 | 0 0 0 0 | 1 5 3 2 | True |
| P4 | 1 5 3 2 | 0 6 3 2 | 0 0 2 0 | 1 11 6 4 | True |
| P2 | 1 11 64 | 1 0 0 0 | 0 7 5 0 | 2 11 6 4 | True |
| P3 | 2 11 64 | 1 3 5 4 | 1 0 0 2 | 3 14 11 8 | True |
| P5 | 3 14 11 8 | 0 0 1 4 | 0 6 4 2 | 3 14 12 12 | True |
答：系统属于安全，因为能找到安全序列P1、P2、P3、P4、P5、、、
