银行家算法例题

1、银行家算法例题假定系统中有五个进程p0，p1，p2，p3，p4 和三类资源a ，b,c,各种资源的数量分别 为 10、5、7，在 t0 时刻的资源分配情况资源情况进程maxa b callocationa b cneeda b cavailablea b cp0p1p2p3p47 5 33 2 29 0 22 2 24 3 30 1 02 0 03 0 22 1 10 0 27 4 31 2 26 0 00 1 14 3 13 3 2（1）t0 时刻的安全性利用安全性算法对 t0 时刻的资源分配情况进行分析资源情况进程worka b cneeda b callocationa b cwork+

2、allocationfinisha b cp1p3p4p2p03 3 25 3 27 4 37 4 510 4 71 2 20 1 14 3 16 0 07 4 32 0 02 1 10 0 23 0 20 1 05 3 27 4 37 4 510 4 710 5 7truetruetruetruetrue（2）p1 请求资源：p1 发出请求向量 request1(1,0,2),系统按银行家算法进行检查1 request1（1，0，2）need1（1，2，2）2 request1（1，0，2）available1（3,3,2)3 系统先假定可为 p1 分配资源，并修改 available，al

3、location1 和 need1 向量，由此形成的资源变化情况如下图所示。资源情况p0p1p2p3p4maxa b c7 5 33 2 29 0 22 2 24 3 3allocationa b c0 1 03 0 23 0 22 1 10 0 2needa b c7 4 30 2 01 2 20 1 14 3 1availablea b c2 3 0再利用安全性算法检查此时系统是否安全。 p1 申请资源时的安全性检查资源情况进程worka b cneeda b callocationa b cwork+allocationfinisha b cp1p3p4p0p22 3 05 3 27 4

4、 37 4 510 5 50 2 00 1 14 3 17 4 36 0 03 0 22 1 10 0 20 1 03 0 25 3 27 4 37 4 57 5 510 5 7truetruetruetruetrue（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

5、（7，4，3）；2 request0（0,2,0）available（2，3，0）；3 系统暂时先假定可为 p0 分配资源，并修改有关数据。为 p0 分配资源后的有关资源数据资源情况进程allocationa b cneeda b cavailablea b cp0p1p2p3p40 1 03 0 23 0 22 1 10 0 27 2 30 2 06 0 00 1 14 3 12 1 0进行安全性检查：可用资源 available（2，1，0）已不能满足任何进程的需要，故系统进 入不安全状态，此时系统不分配资源。begine mpty1=1; empty2=1;f ull1=0; full2=0;cobegininput:beginrepeatwait(empty1);将数据输入到缓冲区 1 中； signal(full1);until falseend;copy:beginrepeatwait(full1);从缓冲区 1 中提取数据；signal(empty1);wait(empty2);将数据复制到缓冲区 2； signal(full2);until fal