操作系统第3章_3剖析.ppt

* 银行家算法 基本模式： 将进程分为若干步，每一步使用的资源固定，当进程每一步申请资源时，将请求、分配、释放、空闲的情况结合起来计算，看是否符合分配条件。 数据结构： n个并发进程P1…Pn共享m个资源R1…Rm： 可用资源向量Available[m]: Available[j] — 资源Ri现有的空闲个数 最大需求矩阵Max[n*m]:Max[i,j] — 进程Pi对资源Rj的最大需要数 分配矩阵Allocation[n*m]: Allocation[i,j] — 进程Pi已获得资源Rj的数量 需求矩阵Need[n*m]:Need[i,j] —进程Pi还需要资源Rj的数量 Need[i，j] = Max[i，j] - Allocation[i，j] * * * 例：五个进程共享三类资源A、B、C，每类资源数量为10、5、7。 时刻T0的资源分配情况如下： Max Allocation Need Availlable A B C A B C A B C A B C P0 7 5 3 0 1 0 7 4 3 3 3 2 P1 3 2 2 2 0 0 1 2 2 P2 9 0 2 3 0 2 6 0 0 P3 2 2 2 2 1 1 0 1 1 P4 4 3 3 0 0 2 4 3 1 10 5 7 - 7 2 5 = 3 3 2 * 对T0时刻进行安全性分析后，可以找到一个安全序列{P1，P3，P4，P2，P0}，则系统安全。 T0 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 3 3 2 1 2 2 2 0 0 5 3 2 true P3 5 3 2 0 1 1 2 1 1 7 4 3 true P4 7 4 3 4 3 1 0 0 2 7 4 5 true P2 7 4 5 6 0 0 3 0 2 10 4 7 true P0 10 4 7 7 4 3 0 1 0 10 5 7 true * P1发出请求Req(1,0,2） = Need(1,2,2）及Availlable(3,3,2）为P1试探分配，修改Availlable 、Allocation 、NeedT1时刻进行安全性分析，找到安全序列{P1，P3，P4，P0，P2} 说明系统安全，可以为P1实施分配 T1 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 2 3 0 0 2 0 3 0 2 5 3 2 true P3 5 3 2 0 1 1 2 1 1 7 4 3 true P4 7 4 3 4 3 1 0 0 2 7 4 5 true P0 7 4 5 7 4 3 0 1 0 7 5 5 true P2 7 5 5 6 0 0 3 0 2 10 5 7 true T0 3 3 2 1 2 2 2 0 0 * P4发出请求Req(3，3，0）：  Req(3，3，0） =Need(4，3，1) Req(3，3，0） Availlable(2，3，0)，不能分配，等待。P0发出请求Req(0，2，0）：  Req(0，2，0） =Need(7，4，3) Req(0，2，0）= Availlable(2，3，0)，试探分配，修改数据： Allocation Need Availlable A B C A B C A B C P0 0 3 0 7 2 3 2 1 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 无法满足任何进程不能分配 * 3、死锁的检测和恢复 1）死锁的检测：判断死锁是否发生？ 2）死锁的恢复： 终止各进程，或逐个终止，直至先后释放的