「银行家算法例题」.doc

银行家算法例题假定系统中有五个进程P0，P1，P2，P3，P4 和三类资源A ，B,C,各种资源的数量分别为10、5、7，在T0 时刻的资源分配情况资源情况进程MaxAllocationNeedAvailableA 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 1 0 1 1P44 3 30 0 24 3 1（1）T0时刻的安全性利用安全性算法对T0时刻的资源分配情况进行分析 资源情况进程WorkA B CNeedA B CAllocationA B CWork+AllocationA B CFinishP13 3 21 2 22 0 05 3 2 TRUEP35 3 20 1 12 1 17 4 3 TRUEP47 4 34 3 10 0 27 4 5TRUEP27 4 56 0 03 0 210 4 7TRUEP010 4 77 4 30 1 010 5 7TRUE（2）P1请求资源：P1发出请求向量Request1(1,0,2),系统按银行家算法进行检查Request1（1，0，2）Need1（1，2，2）Request1（1，0，2）Available1（3,3,2)系统先假定可为P1分配资源，并修改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 1 0 1 1P44 3 30 0 24 3 1再利用安全性算法检查此时系统是否安全。P1 申请资源时的安全性检查 资源情况进程WorkA B CNeedA B CAllocationA B CWork+AllocationA B CFinishP12 3 00 2 03 0 25 3 2 TRUEP35 3 20 1 12 1 17 4 3 TRUEP47 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），系统按银行家算法进行检查： Request0（0, 2,0）Need0（7，4，3）； Request0（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 1 0 1 1P40 0 24 3 1进行安全性检查：可用资源Available（2，1，0）已不能满足任何进程的需要，故系统进入不安全状态，此时系统不分配资源。 Begin Empty1=1; empty2=1; Full1=0; full2=0;Cobegin Input:BeginRepeatWait(empty1);将数据输入到缓冲区1中；Signal(full1);Until falseEnd; Copy: BeginRepeatWait(full1);从缓冲区1中提取数据；Signal(empty1);Wait(empty2);将数据复制到缓冲区2；Signal(full2);Until falseEnd;