软考-系统架构设计师：进程管理-银行家算法

形成死锁的必要条件（缺一不可）

• 互斥：同一时刻只有一个进程获得了必要资源
• 保持和等待：各个进程会保持自己的资源并且等待其他进程释放更多资源
• 不剥夺：系统不会把已经分配给某个进程的资源剥夺掉分配给其他的进程
• 环路等待：A等待B释放资源，B等待C释放资源，C等待A释放资源

解决死锁的方案

• 死锁的预防
  • 打破四大条件
• 死锁的避免
  • 有序资源分配法
  • 银行家算法

银行家算法

分配资源的原则。

• 当一个进程对资源的最大需求量不超过系统中的资源数时可以接纳该进程
• 进程可以分期请求资源，但请求的总数不能超过最大需求量
• 当系统现有的资源不能满足进程尚需资源数时，对进程的请求可以推迟分配，但总能使进程在有限的时间里得到资源

银行家算法例子

假设系统中有三类互斥资源R1、R2、R3，可用资源数分别是9、8、5。在T0时刻系统中有P1、P2、P3、P4、和P5五个进程，这些进程对资源的最大需求量和已分配资源数如下所示，如果进程按____序列执行，那么系统状态是安全的。

A：P1->P2->P4->P5->P3
B：P2->P4->P5->P1->P3
C：P2->P1->P4->P5->P3
D：P4->P2->P4->P1->P3

解题

还剩余资源数：
R1 = 9-(1+2+2+1+1)=2
R2 = 8-(2+1+1+2+1)=1
R3 = 5-(1+1+0+0+3)=0

各进程还需要资源数：