银行家算法例题

1、银行家算法例题假定系统中有五个进程P0, P1, P2, P3, P4和三类资源A , B,C,各种资源的数量分别 为10、5、7,在T0时刻的资源分配情况资源情况MaxAllocationNeedAvailable进程A B CA B CA B CA B CP07 5 30 1 07 4 33 3 2P13 2 22 0 01 2 2P29 0 23 0 26 0 0P32 2 22 1 10 1 1P44 3 30 0 24 3 1(1) T0时刻的安全性利用安全性算法对 T0时刻的资源分配情况进行分析资源情况 进程WorkA B CNeedA B CAllocationA B CWork

2、+Allocatio nA B CFinishP13 3 21 2 22 0 05 3 2TRUEP35 3 20 1 12 1 17 4 3TRUEP47 4 34 3 10 0 27 4 5TRUEP27 4 56 0 03 0 210 47TRUEP010 4 77 4 30 1 010 57TRUE(2) P1请求资源：P1发出请求向量Request1(1,0,2),系统按银行家算法进行检查Requestl (1, 0, 2) < Needl (1, 2, 2)Requestl (1, 0, 2) < Available1 (3,3,2)系统先假定可为P1分配资源，并修改

3、Available, Allocation1和Need1向量，由此形成的资源变化情况如下图所示。资源情况MaxAllocationNeedAvailableA B CA B CA B CA B CP07 5 30 1 07 4 32 3 0P13 2 23 0 20 2 0P29 0 23 0 21 2 2P32 2 22 1 10 1 1P44 3 30 0 24 3 1再利用安全性算法检查此时系统是否安全。P1申请资源时的安全性检查资源情况 进程WorkA B CNeedA B CAllocationA B CWork+AllocationABCFinishpi2 3 00 2 03 0

4、25 3 2TRUEP35 3 20 1 12 1 17 4 3TRUEP47 4 34 3 10 0 27 4 5TRUEP07 4 57 4 30 1 07 5 5TRUEP210 5 56 0 03 0 210 5 7TRUE(3) P4请求资源：P4发出请求向量 Request4 (3,3,0),系统按银行家算法进行检查:Request4 (3, 3, 0) & Need4 (4, 3, 1);Request4(3, 3, 0)Available (2, 3, 0),让 P4等待。(4)P0请求资源：P0发出请求向量 Requst0(0,2,0),系统按银行家算法进行检查:Re

5、quest。(0, 2,0) & NeedO (7, 4, 3);Request。(0,2,0) < Available (2, 3, 0);系统暂时先假定可为P0分配资源，并修改有关数据。为P0分配资源后的有关资源数据资源情况 进程AllocationNeedAvailableA B CA B CA B CP00 1 07 2 32 1 0P13 0 20 2 0P23 0 26 0 0P32 1 10 1 1P40 0 24 3 1进行安全性检查：可用资源Available (2, 1, 0)已不能满足任何进程的需要，故系统进入不安全状态，此时系统不分配资源。BeginEmpty1=1; empty2=1;Full1=0; full2=0;CobeginInput:BeginRepeatWait(emptyl);将数据输入到缓冲区1中;Signal(fulll);Until falseEnd;Copy:BeginRepeatWait(full1);从缓冲区1中提取数据；Signal(empty1);Wait(empty2);将数据复制到缓冲区2；Signal(full2);Until fal