操作系统实验二 银行家算法

一、实验目的
1、了解什么是操作系统安全状态和不安全状态;
2、了解如何避免系统死锁;
3、理解银行家算法是一种最有代表性的避免死锁的算法,掌握其实现原理及实现过程。
二、实验环境
虚拟机的Ubuntu 64位系统
三、实验内容
根据银行家算法的基本思想,编写和调试一个实现动态资源分配的模拟程序,并能够有效避免死锁的发生。
四、实验原理 实验中用到的系统调用函数(包括实验原理中介绍的和自己采用的),实验步骤,
进程申请资源时,系统通过一定的算法判断本次申请是否不可能产生死锁(处于安全状态)。若可能产生死锁(处于不安全状态),则暂不进行本次资源分配,以避免死锁。算法有著名的银行家算法。
1、什么是系统的安全状态和不安全状态?
所谓安全状态,是指如果系统中存在某种进程序列<P1,P2,…,Pn>,系统按该序列为每个进程分配其所需要的资源,直至最大需求,则最终能使每个进程都可顺利完成,称该进程序列<P1,P2,…,Pn,>为安全序列。
如果不存在这样的安全序列,则称系统处于不安全状态。
2、银行家算法
把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。
为保证资金的安全,银行家规定:
(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接纳该顾客;
(2) 顾客可以分期贷款,但贷款的总数不能超过最大需求量;
(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟支付,但总能使顾客在有限的时间里得到贷款;
(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金。

操作系统按照银行家制定的规则设计的银行家算法为:
(1)进程首次申请资源的分配:如果系统现存资源可以满足该进程的最大需求量,则按当前的申请量分配资源,否则推迟分配。
(2)进程在执行中继续申请资源的分配:若该进程已占用的资源与本次申请的资源之和不超过对资源的最大需求量,且现存资源能满足该进程尚需的最大资源量,则按当前申请量分配资源,否则推迟分配。
(3)至少一个进程能完成:在任何时刻保证至少有一个进程能得到所需的全部资源而执行到结束。
银行家算法通过动态地检测系统中资源分配情况和进程对资源的需求情况来决定如何分配资源,并能在确保系统处于安全状态时才把资源分配给申请者,从而避免系统发生死锁
因为是模拟程序,可以不使用系统调用函数。

五、实验要求
1、画出银行家算法流程图;

银行计算法流程图
2、对算法所用的数据结构进行说明;
#define process 5 //表示有5个进程
#define resources 3 //表示有3种资源
int Max[process][resources]; //最大资源需求量
int Allocation[process][resources]; //系统已分配资源量
int Need[process][resources]; //进程最多还需要资源量
int Available[resources]; //系统剩余资源量
int Request[process][resources]; //进程申请资源数
int flag = 0; //判断是否有可能发生死锁标志
int Judge[resources]; //判断所有进程是否运行完毕
int Remainder =process; //剩余的进程数
3、测试数据随机产生。不可手工输入;
4、 编写程序并调试;

// An highlighted block
#include<iostream>
#include<time.h>
using namespace std;
#define process 5					//表示有5个进程
#define resources 3					//表示有3种资源
int Max[process][resources];		//最大资源需求量
int Allocation[process][resources];	//系统已分配资源量
int	Need[process][resources];		//进程最多还需要资源量
int Available[resources];			//系统剩余资源量
int Request[process][resources];	//进程申请资源数
int flag = 0;						//判断是否有可能发生死锁标志
int Judge[resources];				//判断所有进程是否运行完毕
int Remainder =process;						//剩余的进程数
void initialization()//用随机数函数初始化各个矩阵
{
	srand((unsigned)time(NULL));
	for (int i = 0; i < process; i++)
	{
		for (int j = 0; j < resources; j++)
		{
				Max[i][j] = rand() % 9 + 1;
				Allocation[i][j] = rand() % 9 + 1;
				while (Allocation[i][j] > Max[i][j])
				{
					Allocation[i][j] = rand() % 9 + 1;
				}
				Need[i][j] = Max[i][j] - Allocation[i][j];		
		}
	}
}
void show()//打印矩阵
{
	for (int i = 0; i < process; i++)
	{
		cout
			<< "进程"<<i<<"\t\t" <<"("<< Max[i][0] <<"  "<< Max[i][1] << "  " << Max[i][2] <<")"<< "\t\t"
			<< "(" << Allocation[i][0] << "  " << Allocation[i][1] << "  " << Allocation[i][2] << ")" << "\t\t"
			<< "(" << Need[i][0] << "  " << Need[i][1] << "  " << Need[i][2] << ")" << endl;
	}		
}
void banker()//银行家算法
{
	for (int i = 0; i < resources; i++)//扫描随机生成出来的进程是否有已完成的
	{
		if (Need[i][0] == 0 && Need[i][1] == 0 && Need[i][2] == 0)
		{
			Remainder--;
			for (int j = 0; j < resources; j++)
			{
				Available[j] = Available[j] + Max[i][j];
			}
			cout << "进程" << i << "的最大需求已满足,运行完收回资源" << endl;
			cout << "系统剩余的资源为(" << Available[0] << "  " << Available[1]
				<< "  " << Available[2] << ")" << endl;
			cout << "-----------------------------------------------------------------------" << endl;
		}
	}
	while (Available[0]!=0|| Available[1] != 0||Available[2] != 0)
	{
		int temp = rand() % 5;
		while(Need[temp][0] == 0&& Need[temp][1] == 0&& Need[temp][2] == 0)//如果进程已运行结束
		{																//则该进程不会发出请求
			temp = rand() % 5;
		}
		do 
		{
			for (int i = 0; i < resources; i++)
			{
				Request[temp][i] = rand() % 10;		//模拟随机一个进程请求第(i+1)种资源
				while (Request[temp][i] > Need[temp][i])//使得模拟请求的资源数小于最多还需要资源数
				{
					Request[temp][i] = rand() % (Need[temp][i] + 1);
				}
			}
		} while (Request[temp][0] == 0 && Request[temp][1] == 0 && Request[temp][2] == 0);
		if (Request[temp][0] <= Available[0] && Request[temp][1] <= Available[1] 
			&& Request[temp][2] <= Available[2])//安全性算法
		{
			for (int i = 0; i < resources; i++)//系统尝试分配
			{
				Available[i] = Available[i] - Request[temp][i];
				Allocation[temp][i] = Allocation[temp][i] + Request[temp][i];
				Need[temp][i] = Need[temp][i] - Request[temp][i];
			}
			for (int n = 0; n < process; n++)
			{
				for (int m = 0; m < resources; m++)
				{
					if (Available[m] >= Need[n][m])
					{
						continue;
					}
					else
					{
						flag++;
						break;
					}
				}
			}
			if (flag == Remainder)
			{
				flag = 0;
				cout << "进程" << temp << "请求的资源数为(" << Request[temp][0] << "  "
					<< Request[temp][1] << "  " << Request[temp][2] << ")" << endl;
				cout << "系统分配后剩余的资源为(" << Available[0] << "  " << Available[1]
					<< "  " << Available[2] << ")" << endl;
				cout<<"虽然系统剩余的资源足够分配给进程"<< temp 
					<< ",但是进行分配有可能引起系统发生死锁,所以拒绝本次分配" << endl;
				cout << "-----------------------------------------------------------------------" << endl;
				for (int i = 0; i < resources; i++)//有可能引起死锁,所以拒绝分配,把之前分配的资源收回
				{
					Available[i] = Available[i] + Request[temp][i];
					Allocation[temp][i] = Allocation[temp][i] - Request[temp][i];
					Need[temp][i] = Need[temp][i] + Request[temp][i];
				}
			}
			else 
			{
				flag = 0;
				cout << "进程" << temp << "请求的资源数为(" << Request[temp][0] << "  "
					<< Request[temp][1] << "  " << Request[temp][2] << ")" << endl;
				cout<<"系统剩余的资源足够分配给进程"<< temp 
					<< ",并且不会引起死锁,同意本次分配" << endl;
				cout << "-----------------------------------------------------------------------" << endl;
				cout << "分配后系统当前进程资源使用情况" << endl;
				cout << "进程ID \t\t最大需求\t\t已分配\t\t\t最多还需要" << endl;
				show();
				cout << "系统分配后剩余的资源为(" << Available[0] << "  " << Available[1]
					<< "  " << Available[2] << ")" << endl;
				cout << "-----------------------------------------------------------------------" << endl;
			}
			if (Max[temp][0] == Allocation[temp][0]&& Max[temp][1] == Allocation[temp][1] 
				&& Max[temp][2] == Allocation[temp][2] )
			{
				Remainder--;
				for (int i = 0; i < resources; i++)
				{
					Available[i] = Available[i] + Max[temp][i];
				}	
				cout << "进程" << temp << "的最大需求已满足,运行完收回资源" << endl;
				cout << "系统剩余的资源为(" << Available[0] << "  " << Available[1]
					<< "  " << Available[2] << ")" << endl;
				cout << "-----------------------------------------------------------------------" << endl;
				if (Judge[0] == Available[0] && Judge[1] == Available[1] && Judge[2] == Available[2])
				{
					cout << "所有进程运行完毕" << endl;
					cout << "-----------------------------------------------------------------------" << endl;
					break;
				}
			}
		}
		else
		{
			cout << "进程" << temp << "请求的资源数为(" << Request[temp][0] << "  "
				<< Request[temp][1] << "  " << Request[temp][2] << ")" << endl;
			cout<<"系统剩余的资源为("<< Available[0] << "  " << Available[1] << "  " << Available[2] << "),系统剩余资源不足,进程" <<
				temp << "必须等待" << endl;
			cout << "-----------------------------------------------------------------------" << endl;
		}
	}
	if (Available[0] == 0 && Available[1] == 0 && Available[2] == 0)
	{
		cout << "系统已无资源分配" << endl;
	}
}
int main()
{
	cout << "系统当前进程资源使用情况" << endl;
	cout << "进程ID \t\t最大需求\t\t已分配\t\t\t最多还需要" << endl;
	initialization();
	show();
	for (int i = 0; i < resources; i++)
	{
		Available[i] = rand() % 15 + 1;	//随机生成系统剩余资源量
	}
	cout << "系统剩余资源为(" << Available[0] << "  " << Available[1] << "  " << Available[2] <<")"<< endl;
	cout << "-----------------------------------------------------------------------" << endl;
	for (int i = 0; i < resources; i++)
	{
		Judge[i] = Available[i];
	}
	for (int i = 0; i < process; i++)
	{
		for (int j = 0; j < resources; j++)
		{
			Judge[j] = Judge[j] + Allocation[i][j];
		}
	}
	banker();
}

5、 多次测试程序,截屏输出实验结果;
6、根据实验结果与理论课讲述的原理进行实验分析。
六、思考题
1、如何设计程序的输入模块才能满足实验要求,请举例说明;
输入模块中Max矩阵、Allocation矩阵都是由系统rand()函数随机生成的,其中Max矩阵生成的数我设置为0~9,这个可以自行设置,但是Allocation矩阵的随机输入必须低于Max矩阵中对应的数字,不然会导致安全性问题,Need矩阵=Max矩阵-Allocation矩阵
2、银行家算法在实现过程中必须注意哪些资源分配细节才能避免死锁?
当收到系统随机生成的请求后
1、判断是否低于该进程的最大还需资源量(即小于Need矩阵中对应的资源量)
2、判断系统的剩余资源量是否满足请求量
3、若满足以上两个条件,则系统尝试分配资源,然后进行安全性检查,如果存在发生死锁的可能,则回滚已分配的资源,该进程的资源请求必须阻塞等待
七、实验结果分析(截屏的实验结果,与实验结果对应的实验分析)
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

实验结果与分析均表现在运行截图上

5 银行家算法实现 5.1 实验类型 设计型(4学时)。 5.2 实验目的 1) 理解死锁避免相关内容; 2) 掌握银行家算法主要流程; 3) 掌握安全性检查流程。 5.3 实验描述 本实验主要对操作系统中的死锁预防部分的理论进行实验。要求实验设计一个程序,该程序可对每一次资源申请采用银行家算法进行分配。 5.4 实验内容 1) 设计多个资源(≥3); 2) 设计多个进程(≥3); 3) 设计银行家算法相关的数据结构; 4) 动态进行资源申请、分配、安全性检测并给分配结果。 5.5 实验要求 1) 编写程序完成实验内容; 2) 安全性检测函数流程图; 3) 撰写实验报告。 5.6 测试要求 1) 进行Request请求,输入参数为进程号、资源号和资源数; 2) 进行3次以上的Request请求; 3) 至少进行1次资源数目少于可用资源数,但不安全的请求。 5.7 相关知识 5.7.1 银行家算法数据结构 1) 可利用资源向量Available。其中每个元素代表每类资源的数目。 2) 最大需求矩阵Max。其中每个元素代表每个进程对于每类资源的最大需求量。Max[i,j]=K表示i进程对于j类资源的最大需求量为K。 3) 分配矩阵Allocation。其中每个元素代表每个进程已得到的每类资源的数目。 4) 需求矩阵Need。其中每个元素代表每个进程还需要的每类资源的数目。 5.7.2 银行家算法 Request i [j]=K表示进程Pi需要K个j类资源。 1) 如果Request i [j]≤Need[i , j],便转向步骤2,否则认为错。 2) 如果Request i [j]≤Available[j],便转向步骤3,否则表示无足够资源,Pi需等待; 3) 系统尝试分配资源给Pi; 4) 系统进行安全性检查检查此次资源分配后,系统是否安全。如果安全,则正式分配资源,否则撤销此次分配。 5.7.3 安全性算法 1) 设置两个向量:工作向量Work和Finish。算法开始时Work=Available;Finish表示系统是否有足够的资源分配给进程,使之运行完成,开始时,令Finish[i]=False;如果有足够的资源分配给进程,则令Finish[i]=True。 2) 从进程集合中找到一个能满足下列条件的进程:Finish[i]=False;Need[i,j] ≤ Work[j],若找到,执行步骤3),否则,执行步骤4); 3) Pi获得所需资源后,可顺利执行指导完成,并释放它占有的资源。并执行: Work[j]=Work[j]+Allocation[i , j]; Finish[i] = True; 到第2)步。 4) 直到所有Finish[i]=True,表示系统处于安全状态;否则系统处于不安全状态。 5.8 实验设备 PC机1台,要求安装DOS7.1、Turbo C3.0、Windows2000。 5.9 实验成绩评定 实验成绩评定方式包含实验报告成绩、实验过程成绩两个部分,其中实验过程成绩占60%、实验报告成绩占40%,如果其中任何一个部分成绩不及格,则总成绩按不及格处理。 5.10 实验报告 按照实验目的、实验内容实验要求、实验设备、测试等部分进行组织。 5.11 实验思考 1) 针对死锁有哪些可行方案? 2) 死锁解除的难点是什么?
实验目的】 1. 理解死锁的概念; 2. 用高级语言编写和调试一个银行家算法程序,以加深对死锁的理解。 【实验准备】 1. 产生死锁的原因  竞争资源引起的死锁  进程推进顺序不当引起死锁 2.产生死锁的必要条件  互斥条件  请求和保持条件  不剥夺条件  环路等待条件 3.处理死锁的基本方法  预防死锁  避免死锁  检测死锁  解除死锁 【实验内容】 1. 实验原理 银行家算法是从当前状态发,逐个按安全序列检查各客户中谁能完成其工作,然后假定其完成工作且归还全部贷款,再进而检查下一个能完成工作的客户。如果所有客户都能完成工作,则找到一个安全序列,银行家才是安全的。预防死锁的几种方法相比较,限制条件少,资源利用程度提高了。缺点:该算法要求客户数保持固定不变,这在多道程序系统中是难以做到的;该算法保证所有客户在有限的时间内得到满足,但实时客户要求快速响应,所以要考虑这个因素;由于要寻找一个安全序列,实际上增加了系统的开销.Banker algorithm 最重要的一点是:保证操作系统的安全状态!这也是操作系统判断是否分配给一个进程资源的标准!那什么是安全状态?举个小例子,进程P 需要申请8个资源(假设都是一样的),已经申请了5个资源,还差3个资源。若这个时候操作系统还剩下2个资源。很显然,这个时候操作系统无论如何都不能再分配资源给进程P了,因为即使全部给了他也不够,还很可能会造成死锁。若这个时候操作系统还有3个资源,无论P这一次申请几个资源,操作系统都可以满足他,因为操作系统可以保证P不死锁,只要他不把剩余的资源分配给别人,进程P就一定能顺利完成任务。 2.实验题目 设计五个进程{P0,P1,P2,P3,P4}共享三类资源{A,B,C}的系统,{A,B,C}的资源数量分别为10,5,7。进程可动态地申请资源和释放资源,系统按各进程的申请动态地分配资源。要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列;显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。 3.算法描述 我们引入了两个向量:Resourse(资源总量)、Available(剩余资源量) 以及两个矩阵:Claim(每个进程的最大需求量)、Allocation(已为每个进程分配的数量)。它们共同构成了任一时刻系统对资源的分配状态。 向量模型: R1 R2 R3 矩阵模型: R1 R2 P1 P2 P3 这里,我们设置另外一个矩阵:各个进程尚需资源量(Need),可以看 Need = Claim – Allocation(每个进程的最大需求量-剩余资源量) 因此,我们可以这样描述银行家算法: 设Request[i]是进程Pi的请求向量。如果Request[i , j]=k,表示Pi需k个Rj类资源。当Pi发资源请求后,系统按下述步骤进行检查: (1) if (Request[i]<=Need[i]) goto (2); else error(“over request”); (2) if (Request[i]<=Available[i]) goto (3); else wait(); (3) 系统试探性把要求资源分给Pi(类似回溯算法)。并根据分配修改下面数据结构中的值。 剩余资源量:Available[i] = Available[i] – Request[i] ; 已为每个进程分配的数量: Allocation[i] = Allocation[i] + Request[i]; 各个进程尚需资源量:Need[i] = Need[i]-Request[i]; (4) 系统执行安全性检查检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程以完成此次分配;若不安全,试探方案作废,恢复原资源分配表,让进程Pi等待。 系统所执行的安全性检查算法可描述如下: 设置两个向量:Free、Finish 工作向量Free是一个横向量,表示系统可提供给进程继续运行所需要的各类资源数目,它含有的元素个数等于资源数。执行安全算法开始时,Free = Available .标记向量Finish是一个纵向量,表示进程在此次检查中中是否被满足,使之运行完成,开始时对当前未满足的进程做Finish[i] = false;当有足够资源分配给进程(Need[i]<=Free)时,Finish[i]=true,Pi完成,并释放资源。 (1)从进程集中找一个能满足下述条件的进程Pi ① Finish[i] == false(未定) ② Need[i] D->B->A A 1 6 B 1 5 C 2 4 D 4 7 Available = (2) ; Resourse = (10) ; 测试结果如下 process number:5 resource number:4 resource series:6 3 4 2 assined matrix:p0:3 0 1 1 p1:0 1 0 0 p2:1 1 1 0 p3:1 1 0 1 p4:0 0 0 0 needed matrix: p0:1 1 0 0 p1:0 1 1 2 p2:3 1 0 0 p3:0 0 1 0 p4:2 1 1 0 p3-->p4-->p0-->p2-->p1 p3-->p4-->p0-->p1-->p2 p3-->p0-->p4-->p2-->p1 p3-->p0-->p4-->p1-->p2 p3-->p0-->p2-->p4-->p1 p3-->p0-->p2-->p1-->p4 p3-->p0-->p1-->p4-->p2 p3-->p0-->p1-->p2-->p4 it is safe,and it has 8 solutions
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值