- 1、本文档共13页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
《操作系统原理》实验报告六
2015——2016学年 第二学期
专 业
班 级
学 号
姓 名
日 期
实
验
题 目 实验 银行家算法实验 了解掌握银行家算法
学会模拟实现资源分配,同时要求编写和调试一个系统分配资源的简单模拟程序
观察死锁产生的条件,并使用适当的算法,有效的防止和避免死锁的发生。 实验理论基础 设计要求:编制银行家算法通用程序,并检测所给状态的系统安全性。 1.银行家算法: 设进程i提出请求Request[n],则银行家算法按如下规则进行判断。 (1)如果Request[n]Need[i,n],则报错返回。 (2)如果Request[n]Available,则进程i进入等待资源状态,返回。 (3)假设进程i的申请已获批准,于是修改系统状态: Available=Available- Request Allocation=Allocation +Request Need=Need-Request(4)系统执行安全性检查,如安全,则分配成立;否则试探险性分配作废,系统恢复原状,进程等待。 2.安全性检查 (1)设置两个工作向量Work=Available;Finish[M]=False(2)从进程集合中找到一个满足下述条件的进程, Finish [i]=False Need=Work 如找到,执行(3);否则,执行(4) (3)设进程获得资源,可顺利执行,直至完成,从而释放资源。 Work=Work+Allocation Finish=True GO TO 2 (4)如所有的进程Finish[M]=true,则表示安全;否则系统不安全。 1、本试验设计的目的是通过编写和调试一个系统动态分配资源的简单模拟程序,观察死锁产生的条件,并采用适当的算法,有效地防止和避免死锁地发生。要求如下:
(1)?模拟一个银行家算法;
(2)?初始化时让系统拥有一定的资源;
(3)?用键盘输入的方式申请资源;
(4)?如果预分配后,系统处于安全状态,则修改系统的资源分配情况;
(5)?如果预分配后,系统处于不安全状态,则提示不能满足请求 以下提供了部分该实例的源代码,要求同学们根据理论基础部分内容分析该源代码,并将缺失的程序代码补充完整,然后调试这段程序,最终按要求给出相应的结论。
#include stdio.h
#include stdlib.h
#include string.h
#include time.h
int need[10][3]; //进程还需资源矩阵
int max[10][3]; //进程最大需求矩阵
int allocation[10][3]; //已分配资源矩阵
int available[3]; //可用资源向量
int work[3]; //可用资源向量
int finish[10],finish1[10]; //记录进程申请的资源是否能分配
int path[10]={0,1,2,3,4,5,6,7,8,9}; //记录安全序列
int is_save; //是否产生安全序列
int mark[10]; //记录某进程是否已分配资源
void display(int *a,int n) //显示一维数组
{ int i;
for(i=0;in;i++)
printf(%3d,a[i]);
}
void disp( ) //显示资源列表
{ int i;
printf(Nnumber\t Max\t\t need\t\t allocation\t avalible\n);
for(i=0;iN;i++)
{printf(p%d\t,i);//--分别显示P0,P1,P2的Max,Need,Allocation,Avalible
display(max[i],M);
printf(\t);
display(need[i],M);
printf(\t);
display(allocation[i],M);
printf(\t);
if(i==0)
display(available,M);
pri
文档评论(0)