操作系统-银行家算法

1.设计五个进程{P0,P1,P2,P3,P4}共享三类资源{A,B,C}的系统,{A,B,C}的资源数量分别为10,5,7。进程可动态地申请资源和释放资源,系统按各进程的申请动态地分配资源。在T0时刻的资源分配情况如下图所示:
在这里插入图片描述
(1)若进程P1请求资源,发出请求向量Request1(1,0,2),编写程序用银行家算法判断系统能否将资源分配给它;
(2)若进程P2提出请求Request2(0,1,0),用银行家算法程序验证系统能否将资源分配给它;
(3)若进程P0提出请求Request2(0,0,3),用银行家算法程序验证系统能否将资源分配给它。
要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列。
2. 实验代码

#include<iostream>
using namespace std; 

int Available[3]={3,3,2};
int Max[5][3]={{7,5,3},{3,2,2},{9,0,2},{2,2,2},{4,3,3}};
int Allocation[5][3]={{0,1,0},{2,0,0},{3,0,2},{2,1,1},{0,0,2}};
int Need[5][3]={{7,4,3},{1,2,2},{6,0,0},{0,1,1},{4,3,1}};
int Work[3];
int Finish[5]={0,0,0,0,0};
int SafeArray[5];
int Request[3];

void ShowSafe(int i);
void Show(){
	cout<<"T0时刻的分配情况"<<endl;
	cout<<"进程\tMax\t\tAllocation\tNeed\t\tAvailable"<<endl;
	for(int i=0;i<5;i++){
		cout<<"P"<<i<<"\t";
		for(int j=0;j<3;j++){
			cout<<Max[i][j]<<" ";
		}
		cout<<"\t\t"; 
		for(int j=0;j<3;j++){
			cout<<Allocation[i][j]<<" ";
		}
		cout<<"\t\t";
		for(int j=0;j<3;j++){
			cout<<Need[i][j]<<" ";
		}
		cout<<"\t\t";
		if(i==0){
			for(int j=0;j<3;j++){
				cout<<Available[j]<<" ";
			}
		}
		cout<<endl;
	} 
}
int NeedLessWork(int i){
	for(int j=0;j<3;j++){
		if(Need[i][j]>Work[j]){
			return 0;
		}
	}
	return 1;
}
void SafeLine(){
	cout<<"当前系统安全"<<endl;
	cout<<"安全序列是:" ; 
	for(int i=0;i<5;i++){
		cout<<SafeArray[i]<<" ";
	} 
	cout<<endl;
	for(int i=0;i<5;i++){
		Finish[i]=0;
	}
}
void IsSafe(int index){
	for(int i=0;i<5;i++){
		int temp=NeedLessWork(i);
		if(Finish[i]==0&&temp){
			SafeArray[index]=i;
			index++;
			Finish[i]=1;
			ShowSafe(i);
			for(int j=0;j<3;j++){
				Work[j]=Work[j]+Allocation[i][j];
			}
			break;
		}
	}			
	int mult=1;
	for(int k=0;k<5;k++){
		mult*=Finish[k]; 
	}
	if(mult==0){
		IsSafe(index);
	}else{
		SafeLine(); 
	}
}
void ShowSafe(int i){
	cout<<"P"<<i<<"\t";
	for(int j=0;j<3;j++){
		cout<<Work[j]<<" ";
	} 
	cout<<"\t\t";
	for(int j=0;j<3;j++){
		cout<<Need[i][j]<<" ";
	} 
	cout<<"\t\t";
	for(int j=0;j<3;j++){
		cout<<Allocation[i][j]<<" ";
	} 
	cout<<"\t\t";
	for(int j=0;j<3;j++){
		cout<<Work[j]+Allocation[i][j]<<" ";
	}
	cout<<"\t\t";
	cout<<Finish[i]; 
	cout<<endl;
	
} 
void SafeCheck(){
	cout<<"系统安全情况分析"<<endl;
	cout<<"进程\tWork\t\tNeed\t\tAllocation\tWork+Allocation\tFinish"<<endl;
	for(int i=0;i<3;i++){
		Work[i]=Available[i];
	} 
	IsSafe(0);
}

int RequestLessNeed(int i){
	for(int j=0;j<3;j++){
		if(Request[j]>Need[i][j]){
			return 0;
		}
	}
	return 1;
}	
int RequestLessAvailable(int i){
	for(int j=0;j<3;j++){
		if(Request[j]>Available[j]){
			return 0;
		}
	}
	return 1;
}
void RequestResourse(){
	cout<<"请输入请求资源的进程"<<endl;
	int n;
	cin>>n;
	cout<<"请输入需要的资源数量"<<endl;
	for(int i=0;i<3;i++){
		cin>>Request[i];
	}
	if(RequestLessNeed(n)&&RequestLessAvailable(n)){
		for(int j=0;j<3;j++){
			Available[j]=Available[j]-Request[j];
			Allocation[n][j]=Allocation[n][j]+Request[j];
			Need[n][j]=Need[n][j]-Request[j];			
		} 
		SafeCheck();		
	}else{
		cout<<"资源不足,请求失败,p"<<n<<"等待"<<endl;
		return ;
	}

}
int main(){
	while(true){
		cout<<"------------------------------------"<<endl;
		cout<<"    1 系统安全情况分析"<<endl;
		cout<<"    2 请求资源"<<endl; 
		cout<<"    3 显示有关资源数据"<<endl;
		cout<<"    4 退出系统"<<endl; 
		int choose;
		cin>>choose;
		switch (choose){
			case 1 :
				SafeCheck();
				break;
			case 2:
				RequestResourse();
				break;
			case 3:
				Show();
				break;
			case 4:
				cout<<"退出系统"<<endl;
				return 0; 
			default:
				cout<<"输入错误,请重新输入"<<endl;
				continue;
		} 
	}
}

存在问题:
1
请求资源时,如果满足
Request<=Need&&Request<=Available
但无法通过安全性检查的情况没有完善
2
无法通过安全性检查的情况没有完善

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) 死锁解除的难点是什么?
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值