c实现银行家算法.doc

《c实现银行家算法.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、银行家算法银行家算法是一种最有代表性的避免死锁的算法。要解释银行家算法，必须先解释操作系统安全状态和不安全状态。安全状态：如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态。安全状态一定是没有死锁发生。不安全状态:不存在一个安全序列。不安全状态不一定导致死锁。那么什么是安全序列呢？安全序列：一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj(j

2、作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。算法：n

3、：系统中进程的总数m：资源类总数Available:ARRAY[1..m]ofinteger;Max:ARRAY[1..n,1..m]ofinteger;Allocation:ARRAY[1..n,1..m]ofinteger;Need:ARRAY[1..n,1..m]ofinteger;Request:ARRAY[1..n,1..m]ofinteger;符号说明：Available可用剩余资源Max最大需求Allocation已分配资源Need需求资源Request请求资源当进程pi提出资源申请时，系统执行下列步骤：(“=

4、”为赋值符号，“==”为等号)step（1）若Request<=Need,gotostep（2）；否则错误返回step（2）若Request<=Available,gotostep（3）；否则进程等待step（3）假设系统分配了资源，则有：Available=Available-Request;Allocation=Allocation+Request;Need=Need-Request若系统新状态是安全的，则分配完成若系统新状态是不安全的，则恢复原状态，进程等待为进行安全性检查，定义数据结构：9/9Work:ARRAY[1

5、..m]ofinteger;Finish:ARRAY[1..n]ofBoolean;安全性检查的步骤：step(1):Work=Available;Finish=false;step(2)寻找满足条件的i：a.Finish==false;b.Need<=Work;如果不存在，gotostep(4)step(3)Work=Work+Allocation;Finish=true;gotostep(2)step(4)若对所有i,Finish=true,则系统处于安全状态，否则处于不安全状态/*银行家算法，操作系统概念(OSconc

6、eptsSixEdition)reeditbyJohnnyhagen，SCAU，runatvc6.0*/#include"malloc.h"#include"stdio.h"#include"stdlib.h"#definealloclensizeof(structallocation)#definemaxlensizeof(structmax)#defineavalensizeof(structavailable)#defineneedlensizeof(structneed)#definefinilensizeof(st

7、ructfinish)#definepathlensizeof(structpath)structallocation{intvalue;structallocation*next;};structmax{intvalue;structmax*next;};structavailable/*可用资源数*/{intvalue;structavailable*next;};9/9structneed/*需求资源数*/{intvalue;structneed*next;};structpath{intvalue;structpat

8、h*next;};structfinish{intstat;structfinish*next;};intmain(){introw,colum,status=0,i,j,t,temp,processtest;structallocation*allochead,*alloc1,*allo