计算机与信息工程系
?计算机系统与系统软件?
课程设计报告
目:模拟实现银行家算法实现死锁避免
业:信息管理与信息系统级:信管
业:
信息管理与信息系统
级:
信管082班
t=r.
号: 名:
指导老师:
2010年 9 月 9 日
、实验题目
模拟实现银行家算法实现死锁避免
、目的:
1、了解进程产生死锁的原因,了解为什么要进行死锁的避免。
2、掌握银行家算法的数据结构,了解算法的执行过程,加深对银行家算法的理解。
三、内容:
模拟实现银行家算法实现死锁避免。要求:初始数据(如系统在 况、每一种资源的总数量)从文本文件读入,文件中给出最大需求矩阵 Allocation ,在程序中求得需求矩阵 Need 和可利用资源向量 Available 。
T0 时刻的资源分配情
Max 、分配矩阵
四、实验提示:
1、整个银行家算法的思路。
先对用户提出的请求进行合法性检查, 再进行预分配, 利用安全性检查算法进行安全性检 查。
2、算法用到的主要数据结构和
( 1 )、
( 2 )、
( 3 )、
(4)、
( 5 )、
( 6 )、
( 7 )、
可利用资源向量 最大需求矩阵 已分配矩阵 还需求矩阵 申请各类资源数量 工作向量
INT
INT
INT
C 语言说明。
AVAILABLE[M] M 为资源的类型。
MAX[N][M] N 为进程的数量。 ALLOCA TION[N][M]
NEED[N][N]
INT
int Request[x]; // int Work[x];
int Finish[y]; // 表示系统是否有足够的资源分配给进程, 主程序) 系统初始化。输入进程数量,资源种类,各进程已分配、 源可用数量等 输入用户的请求三元组(I, J, K),为进程I申请 检查用户的请求是否小于还需求的数量,条件是 提示重新输入,即不允许索取大于需求量 检查用户的请求是否小于系统中的可利用资源数量,条件是K<=AVALIABLE[I,J] 。
如果条件不符则申请失败,阻塞该进程,重新进行进程动态资源申请(使用goto 语
句) 进行资源的预分配,语句如下: AVALIBLE[I][J]= A VALIBLE[I][J]-K ; ALLOCA TION[I][J]= ALLOCA TION[I][J]+K ; NEED[I][J]=NEED[I][J]-K ; 系统调用安全性检查算法(safe()函数)进行检查,如果检查通过,则不用回收,否 则进行回收,进程资源申请失败进入等待。
4、安全性检查算法(safe()子函数)
( 1 )、设置两个临时变量。
FINISH[N] 记录进程模拟执行的结束状态,初值为 0,如果可以模拟执行结束,则可
0 为否,非 0 为是
3、银行家算法
( 1 )
还需求各资源数量,各资
2)、
3)、
4)、
6)、
K 个 J 类资源。
K<=NEED[I,J] 。如果条件不符则
(2 )、
(3 )、
(4 )、
设为1,也可设为其它非零值以表示执行的先后次序。
WORK[M]记录模拟执行中资源的回收情况,初值为 AVAILABLE[M]的值。 在进程中查找符合以下条件的进程。
条件 1: FINISH[I]=O
条件 2: NEED[I][J] 〈=WORK[J]
如果查找成功则进行资源的模拟回收,语句如下:
WORK[J]=WORK[J]+ALLOCA TION[I][J];
FINISH[I]=1 或查找到的顺序号
如果查找不成功,则检查所有进程的FINISH[],如果有一个为 0,则系统不为0,
返回不成功标志。否则返回成功标志。
五、程序源代码
Hrintt): 〃用于打印输出表格的函娄 read(取文件函数Inputt)://^^ 输入的? 数 tri/fenpeitint i);"试分配函数 refenpeitint
Hrintt): 〃用于打印输出表格的函娄 read(取文件函数
Inputt)://^^ 输入的? 数 tri/fenpeitint i);"试分配函数 refenpeitint复数据?教
checksafeCint s);//安全检测函数
ifit temp [ t ]: ifit workfc]: "定义初始化数组 int Auailabl色[c],
MaK[t][c], flllocation[t][c], Heed[t][c], Requ9St[c], tntal[c];
Int In;//用户选择的进程号
*/7*nairi 函数
*/
int pidin(int argc, char *a『gu[]){ int i;
chat" C"h=*V* ■ coutw打开葬谍取文件内容…YGrun: readO 7"读敢X件函薮
Prin