实验二银行家算法.docVIP

实验报告

实验报告

课程名称

操作系统

班级

实验日期

姓名

学号

实验成绩

实验名称

银行家算法

实验

目的

及

要求

了解掌握银行家算法，学会模拟实现资源分配，同时有要求编写和调试一个系统分配资源的简单模拟程序，观察死锁产生的条件，并使用适当的算法，有效的防止和避免死锁的发生

实

验

环

境

MicrosoftVisualStudio

实

验

内

容

1、模拟操作系统对于资源动态分配的过程

2、模拟的程序，首先可以由用户进行自由的输入当前系统中进程的数目和资源的分配状态，可以进行对于当前资源分配的状态情况进行安全检验。第二，程序可以满足进程对于资源的请求，并且进行分配。分配结束之后检验是否处于安全的状态。并且可以报告出现的情况。

算

法

描

述

及

实

验

步

骤

M

Main()

安全性算法

资源请求算法

银行家算法：

设Request[i]是进程Pi的请求向量，如果Requesti[j]=K,表示进程Pi需要K个Rj类型的资源，当Pi发出资源请求后，系统按下面步骤进行检查：

（1）如果Requesti[j]=Need[i,j]，便转向步骤2；否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。

（2）如果Requesti[j]=Available[j],便转向步骤3；否则，表示尚无足够资源，Pi须等待。

（3）系统试探着把资源分配给进程Pi，并修改下面数据结构中的数值：

Available[j]:=Available[j]-Requesti[j];

Allocation[i,j]:=Allocation[i,j]+Requesti[j];

Need[i,j]:=Need[i,j]-Requesti[j];

（4）系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。

银行家算法中的数据结构：

（1）可利用资源向量Available。这是一个含有n个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果Available[j]=K,则表示系统中现有Rj类资源K个。

（2）最大需求矩阵Max。这是一个m*n的矩阵，它定义了系统中n个进程中每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。

（3）分配矩阵Allocation。这也是一个m*n的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的数目为K。

（4）需求矩阵Need。这也是一个n*m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个，方能完成其任务。

（5）工作数组Work.。这是一个含有n个元素的数组，它代表可以提供分配的资源数，初始值是Available中的数值，随着资源的回收，它的值也会改变，公式是Work[i]=Work[i]+Allocation[i]。

Safety功能：检验当前系统对于进程分配的资源之后是否存在死锁，是否处于安全状态。进程数，资源数，分配状态都需要用户自行进行输入。

算法：voidSafety(int*Available,int*Finish,int**Max,int**Allocation,int**Need,intm,intn)//安全算法实现代码

Request功能：对于用户输入的资源请求进行模拟，看是否可以进行资源的分配。满足请求后，进行检验，看系统是否处于安全状态。

算法：voidRequesta(int*Request,int*Available,int*Finish,int**Max,int**Allocation,int**Need,intm,intn)//资源请求算法的实现

二维数组某一行和一维数组：intCompare1(int**Need,int*Available,intn,inti)

比较一维数组：intCompare2(int*Request,int*Available,intn)

二维数组某一行和一维数组：intCompare3(int**Need,int*Request,intn,inti)

在Safety算法中调用Compare1，在Requesta算法中调用Compare2、Compare3。

在主函数中调用Safety算法和Requesta算法来实现。

调

试

过

程

及

实

验

结

果

1