操作系统实验——实现模拟银行家算法(避免死锁)

银行家算法

什么是银行家算法?
  银行家算法(Banker’s Algorithm)是一个避免死锁(Deadlock)的著名算法,是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础,判断并保证系统的安全运行。
  在银行中,客户申请贷款的数量是有限的,每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量,在满足所有贷款要求时,客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时,都应尽量满足客户的需要。在这样的描述中,银行家就好比操作系统,资金就是资源,客户就相当于要申请资源的进程。
  银行家算法是一种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次分配资源的安全性,若分配不会导致系统进入不安全状态,则分配,否则等待。为实现银行家算法,系统必须设置若干数据结构。
  
银行家算法中的数据结构
  为了实现银行家算法,在系统中必须设置这样四个数据结构,分别用来描述系统中可利用的资源、所有进程对资源的最大需求、系统中的资源分配,以及所有进程还需要多少资源的情况。
  (1) 可利用资源向量 Available。这是一个含有 m 个元素的数组,其中的每一个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源的数目,其数值随该类资源的分配和回收而动态地改变。如果 Available[j] = K,则表示系统中现Rj类资源K个。
  (2) 最大需求矩阵Max。这是一个n x m的矩阵,它定义了系统中n个进程中的每个进程对m类资源的最大需求。如果Max[i,j] = K,则表示进程i需要Rj 类资源的最大数目为K。
  (3) 分配矩阵 Allocation。这也是一个n x m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果 Allocation[i,jl = K,则表示进程i当前己分得Rj类资源的数目为K。
  (4) 需求矩阵Need.这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j] = K,则表示进程i还需要Rj类资源K个方能完成其任务。
上述三个矩阵间存在下述关系:
              Need[i,j] = Max[i,j] - allocation[i, j]
              
银行家算法详述:
  设 Request;是进程Pi的请求向量,如果 Requesti[j] = K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检査:
  (1) 如果 Requesti[j] ≤ Need[i,j]便转向步骤(2);否则认为出错,因为它所需要的资源数已超过它所宣布的最大值。
  (2) 如果 Requesti[j] ≤ Available[j],便转向步骤(3);否则,表示尚无足够资源,Pi须等待。
  (3) 系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值
    Available[j] = Available[j] - Requesti[j];
    Allocation[i,j] = Allocation[i,j] + Requesti[j];
    Need[i,j] = Need[i,j] - Requesti[j];
  (4) 系统执行安全性算法,检查此次资源分配后系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,以完成本次分配;否则,将本次的试探分配作废,恢复原来的资源分配状态,让进程Pi等待。
  
安全性算法:
系统所执行的安全性算法可描述如下:
  (1) 设置两个向量:①工作向量Work,它表示系统可提供给进程继续运行所需的各类资源数目,它含有m个元素,在执行安全算法开始时,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;
    go to step 2;(goto语句不推荐使用 _ )
  (4)如果所有进程的 Finish[i] =true都满足,则表示系统处于安全状态;否则,系统处于不安全状态。

代码运行过程:
1.输入进程数量,生成对应数量的进程,并且进程的Max,Need,Allocation随机分配有值,然后可用资源Available也随机分配有值;
2.运用DFS算法遍历进程,搜索是否能有完成所以进程的序列。有的话输出序列,否则输出不能被完成的进程;
3.模拟系统提出request,输入进程号及对应的需求向量,执行安全性算法,检查需求满足需求后是否能执行完剩下的进程;
4.所有的进程完成后,程序结束。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<ctime>
#include<vector>
using namespace std;
const int N=1005;
struct process{
	int A,B,C;
}Max[N],allocation[N],need[N],available,request,temp;
int processSize,vis[N],flag,num,finishedProcess;
vector<int>safeList,badProcess;
void checkAvailable(process Available){//检查可用资源向量available是否可分配 
	if(flag) return;
	if(safeList.size()==processSize){
		flag=1;
		return;
	}
	int fg=0;
	for(int i=0;i<processSize;i++){
		if(vis[i]==0){
			if(Available.A>=need[i].A&&Available.B>=need[i].B&&Available.C>=need[i].C){
				fg=1;
				vis[i]=1;
				safeList.push_back(i);
				process temp = (process){
					Available.A+allocation[i].A,Available.B+allocation[i].B,Available.C+allocation[i].C
				};
				checkAvailable(temp);
				if(flag) return;
				safeList.pop_back();
				vis[i]=0;
			}
		}
	}
	if(fg==0){
		badProcess.clear();
		for(int i=0;i<processSize;i++){
			if(vis[i]==0){
				badProcess.push_back(i);
			}
		}
	}
}

int checkSafe(){//检查资源分配情况并输出 
	
	printf("\n可用资源Available(A,B,C)为(%d, %d, %d)\n",available.A,available.B,available.C);
    printf("\n检查T%d时刻资源分配情况是否安全:\n...............\n\n",num);
    
    flag=0; 
    memset(vis,0,sizeof(vis));
	safeList.clear(); 
	badProcess.clear();
	temp=available;
    checkAvailable(available);
    
    if(flag==0){
    	printf("T%d时刻资源分配 不安全,不能得到充足资源的进程有:{",num);
    	for(int i=0;i<badProcess.size();i++){
    		printf("P%d",badProcess[i]);
    		if(i!=badProcess.size()-1) printf(", ");
			else printf("}\n");  
		}
		return 0;
	} 
	 
	printf("T%d时刻资源分配 安全,此时的一个安全序列是:{",num++);
	for(int i=0;i<safeList.size();i++){
		printf("P%d",safeList[i]);
		if(i!=safeList.size()-1) printf(", ");
		else printf("}\n"); 
	}
	
	printf("进程\t Work\t\t Need\t\t Allocation\t Work+Allocation\t Finish\n");
	for(int i=0;i<safeList.size();i++){
		int x = safeList[i];
		printf("P%d\t %-2d %-2d %-2d\t %-2d %-2d %-2d\t %-2d %-2d %-2d\t %-2d %-2d %-2d \t\t true\n",safeList[i],temp.A,temp.B,temp.C, need[x].A,need[x].B,need[x].C,
			allocation[x].A,allocation[x].B,allocation[x].C, temp.A+allocation[x].A,temp.B+allocation[x].B,temp.C+allocation[x].C
		);
		temp.A+=allocation[x].A;
		temp.B+=allocation[x].B;
		temp.C+=allocation[x].C;
	}
	return 1;
	
}

void init(){//初始化,输入数据 
	
	printf("\n\t\t\t\t模拟银行家算法\n\n");
	srand((unsigned)time(NULL));
	printf("请输入进程数量:");
	scanf("%d",&processSize);
	
	printf("进程\t Max(最大需求)\t Allocation(分配)\t Need(需求)\t\n");
	for(int i=0;i<processSize;i++){
		allocation[i].A=rand()%20;//随机生成 
		allocation[i].B=rand()%20;
		allocation[i].C=rand()%20;
		need[i].A=rand()%20; 
		need[i].B=rand()%20;
		need[i].C=rand()%20; 
		Max[i].A=allocation[i].A+need[i].A;
		Max[i].B=allocation[i].B+need[i].B;
		Max[i].C=allocation[i].C+need[i].C;
		printf("p%d\t %-2d %-2d %-2d\t %-2d %-2d %-2d\t\t %-2d %-2d %-2d\t\n",i,Max[i].A,Max[i].B,Max[i].C,allocation[i].A,allocation[i].B,allocation[i].C,need[i].A,need[i].B,need[i].C);
	}
	
    available.A=rand()%20+rand()%10;//随机生成资源向量available 
    available.B=rand()%20+rand()%10;
    available.C=rand()%20+rand()%10;
    
}

void putRequest(){//输入请求向量 
	while(true){
		printf("\n\n***模拟系统请求资源***\n");
		printf("请输入4个数,分别表示请求资源进程号和进程的三个资源:\n");
		
		int req;
		scanf("%d %d %d %d",&req,&request.A,&request.B,&request.C);	
		if(request.A>need[req].A||request.B>need[req].B||request.C>need[req].C){
			printf("请求资源量大于进程最大需求资源量,请重新输入!\n");
		}
		else if(request.A>available.A||request.B>available.B||request.C>available.C){
			printf("请求资源量大于可用进程资源量,请重新输入!\n");
		}
		else {
			available.A-=request.A;
			available.B-=request.B;
			available.C-=request.C;
			need[req].A-=request.A;
			need[req].B-=request.B;
			need[req].C-=request.C;
			allocation[req].A+=request.A;
			allocation[req].B+=request.B;
			allocation[req].C+=request.C;
			printf("\n进程'P%d'的信息为:\n",req);
			printf("进程\t Max(最大需求)\t Allocation(分配)\t Need(需求)\t\n");
			printf("p%d\t %-2d %-2d %-2d\t %-2d %-2d %-2d\t\t %-2d %-2d %-2d\t\n",req,Max[req].A,Max[req].B,Max[req].C,allocation[req].A,allocation[req].B,allocation[req].C,need[req].A,need[req].B,need[req].C);
		 	
		 	if(need[req].A==0&&need[req].B==0&&need[req].C==0){
		 		finishedProcess++;
		 		available.A+=allocation[req].A;
				available.B+=allocation[req].B;
				available.C+=allocation[req].C;
		 		if(finishedProcess==processSize){
		 			printf("\n所有进程都已分配资源,结束任务!"); 
		 			return;
				 }
			 } 
			if(checkSafe()==0){
				printf("可用资源已不满足任何进程的需求,故系统进入不安全状态,此时系统不分配资源!");
				return; 
			}
		}
	}
}
int main ()
{
	
    init();
	if(!checkSafe()) exit(0);
	putRequest();
	
	return 0;
}
【实验目的】 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
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值