实验1银行家算法(1) - 范文中心

实验1银行家算法(1)

01/04

实 验 报 告

实验课程:

学生姓名: 学 号: 专业班级:

操作系统 20 级计算机科学与技术专业 班

2015年 月 日

实验一 银行家算法的模拟

一、实验目的

(1) 加深了解有关资源申请、避免死锁等概念。

(2) 体会和了解死锁和避免死锁的具体实施方法。

二、实验知识点

1.死锁的相关知识。

2.银行家算法。

3.系统安全性检查。

三、实验内容

1.设定系统提供资源的初始状况。

2.设定每次某个进程对各类资源的申请表示。

3.编制程序,依据银行家算法,决定其资源申请是否得到满足。

4.显示资源申请和分配时的变化情况。

四、设计理论描述

本设计的目的是通过编写和调试一个系统动态分配资源的简单模拟程序,观察死锁产生的条件,并采用适当的算法,有效地防止和避免死锁地发生。要求如下:

(1) 模拟一个银行家算法;

(2) 初始化时让系统拥有一定的资源;

(3) 用键盘输入的方式申请资源;

(4) 如果预分配后,系统处于安全状态,则修改系统的资源分配情况;

(5) 如果预分配后,系统处于不安全状态,则提示不能满足请求,

设计的主要内容是模拟实现动态资源分配。同时编写和调试一个系统动态资源的简单模拟程序,观察死锁产生的条件,并使用适当的算法,有效的防止和避免死锁的发生。

银行家算法. 顾名思义是来源于银行的借贷业务,一定数量的本金要应多个客户的借贷周转,为了防止银行加资金无法周转而倒闭,对每一笔贷款,必须考察其是否能限期归还。在操作系统中研究资源分配策略时也有类似问题,系统中有限的资源要供多个进程使用,必须保证得到的资源的进程能在有限的时间内归还资源,以供其他进程使用资源。如果资源分配不得到就会发生进程循环等待资源,则进程都无法继续执行下去的死锁现象。

把一个进程需要和已占有资源的情况记录在进程控制中,假定进程控制块PCB其中“状态”有就绪态、等待态和完成态。当进程在处于等待态时,表示系统不能满足该进程当前的资源申请。“资源需求总量”表示进程在整个执行过程中总共要申请的资源量。显然,每个进程的资源需求总量不能超过系统拥有的资源总数, 银行算法进行资源分配可以避免死锁。

五、算法描述

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

如找到,执行(3);否则,执行(4)

(3)设进程获得资源,可顺利执行,直至完成,从而释放资源。

Work=Work+Allocation

Finish=True

GO TO 2

(4)如所有的进程Finish[M]=true,则表示安全;否则系统不安全。

六、算法运行界面

七、程序代码

#include

#include

#include

#define False 0

#define True 1

using namespace std;

int Max[100][100]={0};//各进程所需各类资源的最大需求

int Avaliable[100]={0};//系统可用资源

char name[100]={0};//资源的名称

int Allocation[100][100]={0};//系统已分配资源

int Need[100][100]={0};//还需要资源

int Request[100]={0};//请求资源向量

int temp[100]={0};//存放安全序列

int Work[100]={0};//存放系统可提供资源

int M=100;//进程的最大数为

int N=100;//资源的最大数为

void showdata()//显示资源矩阵

{

int i,j; cout

cout

cout

cout

cout

}

} for(j=0;j

int changdata(int i)//进行资源分配

{

}

int safe()//安全性算法

{

int i,k=0,m,apply,Finish[100]={0}; int j; int flag=0; Work[0]=Avaliable[0]; Work[1]=Avaliable[1]; Work[2]=Avaliable[2]; for(i=0;i

} } if (Finish[i]==False&&Need[i][j]

cout

cout

} for(i=0;i";

void share()//利用银行家算法对申请资源对进行判定

{

char ch; int i=0,j=0; ch='y'; cout

cin>>i;//输入须申请的资源号

cout>Request[j];//输入需要申请的资源

for (j=0;j

if(Request[j]>Need[i][j])//判断申请是否大于需求,若大于则出错 { } else { cout

if(Request[j]>Avaliable[j])//判断申请是否大于当前资源,若大于则

} { //出错 } cout

}

if(ch=='y') {

changdata(i);//根据进程需求量变换资源 showdata();//根据进程需求量显示变换后的资源 safe();//根据进程需求量进行银行家算法判断 }

}

int main()//主函数

{

int i,j,number,choice,m,n,flag;

char ming;

cout>n; N=n; for(i=0;i>ming; name[i]=ming; cout>number; Avaliable[i]=number;

cin>>m; M=m; cout>Max[i][j]; do{ } while(flag); flag=0; cout>Allocation[i][j]; if(Allocation[i][j]>Max[i][j]) flag=1; Need[i][j]=Max[i][j]-Allocation[i][j];

showdata();//显示各种资源

safe();//用银行家算法判定系统是否安全 return 1;

}

八、实验总结

„„


相关内容

  • 银行家算法课程设计
    操作系统课程设计报告 题目:银行家算法 安全性算法 院 (系):计算机科学与工程 专 业:软件工程 班 级:130608班 学 生:姚骏川 学 号:130608118 指导教师:姜虹 2015年12月28 目录 摘 要 .......... ...
  • 商务智能论文
    对信用卡客户分类和数据挖掘 选题背景:随着经济的发展,我国信用卡市场逐步壮大并日益繁荣.近几年信用卡逐渐成为我国居民个人消费使用最为频繁的支付工具之一.信用卡属于一种贷款,这也构成了客户对于开证银行的债务关系,所以信用卡开证行对于用户的基本 ...
  • 操作系统 磁盘管理 实验报告
    实 验 报 告 课程名称:院 系:专业班级:姓 名:指导老师: 操作系统 信息与控制工程学院 计算机0801 2010年 12月 31日 目录 一.实验目的 ......................................... ...
  • 第3章处理机调度与死锁练习答案
    第三章 处理机调度与死锁 一.单项选择题 1.操作系统中的作业管理是一种(A ). A.宏观的高级管理 B.宏观的低级管理 C.系统刚开始加电 D.初始化引导完成 2.作业调度又称为[1A],它决定将哪些在外存储器上的处于[2D]状态的作业 ...
  • 盲源分离方法
    第30卷第10期2008年10月 Journalof 电子与信息学报 Electronics&InformationTechnology .,01.30No.10 Oct.2008 基于盲源分离的小波域多重音频水印方法 马晓红 孙长 ...
  • 基于遗传算法的网格资源调度算法
    第41卷第12期2004年12月 计算机研究与发展 JOURNAL OF COM PUTER RESEARCH AND DEVELOPM EN T V ol . 41, No . 12Dec . 2004 基于遗传算法的网格资源调度算法 林 ...
  • 俄罗斯方块
    程序设计实践设计报告 课题名称: 学生姓名: 班 学 日 级: 号: 期: 班内序号: 双人俄罗斯方块游戏程序 陈宸 2013211113 12 2 0 1 3 21 0 3 75 2015.6.13 1.课题概述 1.1 课题目标和主要内 ...
  • 一种新的车牌定位方法及应用
    1482009,45(17) ComputerEngineering and却,)胁眦如m计算机工程与应用 ◎图形.图像.模式识别◎ 一种新的车牌定位方法及应用 李宇成,覃妮,王目树 LI Yu-cheng,QINNi,WANG Mu-sh ...
  • 信息技术会考知识点
    题目是万变的,但知识点就这么点 上册: 信息的一般特征: ①载体依附性 ② 价值相对性 ③时效性 ④共享性⑤真伪性⑥可处理性.⑦传递性: 五次信息技术革命: ①语言的使用 ②文字的创造,信息的存储和传递首次超越了时间和地域的局限 ③印刷术的 ...
  • 页面置换算法
    页面置换算法 实验名称:页面置换算法 实验目的:编写页面置换算法演示程序,理解页面置换算法在虚拟存储器管理中的作用,理解常见的页面置换算法,学会OPT .LRU 和FIFO 算法的应用. 实验学时:2 实验内容:设计并编写一个页面置换算法模 ...