银行家算法

1.题目

银行家算法

#define  n  5  //进程个数
#define  m  3  //资源种类
int   Available[m],Alloc[n][m],Need[n][m];
main()
{
int request[m];
input();
    while(1)
    {
        read_req(); 
        if(请求结束)  break;
        (1)if(!(requesti<=Needi))  表示非法请求;
        (2)if(!(requesti<=Available))  则Pi阻塞;
(3)试探性分配
Available=Available - Requesti;
           Alloci=Alloci+Requesti;
           Needi=Needi-Requesti;
       (4)若新状态安全,则实际分配资源给Pi,否则取消试探性分配。
     }
}

安全状态判别算法:

  • 设置Finish=(false,…,false) work=Available
  • 循环查找满足下列条件的进程pi //最多循环n次
    Finish[i]=false且Needi<=work
  • 若找到则 Finish[i]=true;work=work+Alloci; 转(2)
  • 若Finish=(true,…,true) 则安全,否则不安全。
    测试数据:m=3:种类型的资源(A,B,C)进程个数n=5
    Available=(2,3,3);
    已分配资源数量 资源需求量
    A B C A B C
    P1 2 1 2 3 4 7
    P2 4 0 2 1 3 4
    P3 3 0 5 0 0 3
    P4 2 0 4 2 2 1
    P5 3 1 4 1 1 0
    请求序列如下:
    a.进程P2请求资源(0,3,4)
    b.进程P4请求资源(1,0,1)
    c.进程P1请求资源(2,0,1)
    d.进程P3请求资源(0,0,2)

2.程序设计

首先是定义并初始化各个变量,包括空余资源、已分配资源、还需要的资源以及请求的资源,接下来是一个Display函数,负责将进程的各类资源信息输出显示在屏幕上,然后就是一个分配资源函数Distribute(),其主体如available[j]-=request[j];alloc[i][j]+=
request[j];need[i][j]-=request[j];主要是对资源的更新,后面的恢复资源函数Restore和这个基本相同,差别只是运算符相反。
后面就是安全状态算法,检查预分配后的资源序列是否安全,返回bool值。首先是将finish[n]全部设置为false,然后在循环for(j=0;j<m;j++)里首先将可利用资源数赋值给work,利用do-while语句首先判断分配资源的进程是否可以执行完毕,若可以,则将分配给该进程的所有资源返回work,并继续寻找可以执行完毕的安全序列,若找到则finish即为true,然后利用循环判断所有finish是否都为true,若是则系统安全,准许分配,返回true,否则系统不安全,不予分配返回false。
然后就是算法执行的主体:该算法放在一个大循环里面,方便连续多次资源的申请。首先初始化各个所需变量,用户输入申请资源的进程号以及该进程的各类资源数,然后利用循环依次判断申请的资源是否大于进程所需量以及是否大于系统资源剩余量,若符合条件,则首先预分配资源,然后调用安全算法检查预分配资源后的序列是否安全,若不安全则恢复资源数并显示各个资源信息,若安全则首先判断进程是否获得全部所需资源,即运行完成,则释放全部占有资源,否则直接输出显示资源信息即可。在完成分配资源之后,判断所有进程是否已获得全部资源,若是则直接退出大循环,没必要再分配资源了,否则询问是否继续分配资源,若是则再次循环执行上面的步骤,否则直接break循环。
最后就是主函数,很简单,首先利用函数Display显示资源信息,然后执行银行家算法主体即可,至此,算法结束。

3.测试结果

在这里插入图片描述
在这里插入图片描述

4.源码

//操作系统上机之银行家算法
#include <iostream>
#define n 5    //进程个数 
#define m 3    //资源种类 
using namespace std;

int available[m]={2,3,3};                                 //空余资源 
int alloc[n][m]={{2,1,2},{4,0,2},{3,0,5},{2,0,4},{3,1,4}};//已分配资源 
int need[n][m]={{3,4,7},{1,3,4},{0,0,3},{2,2,1},{1,1,0}}; //还需要的资源 
int request[m];                                           //请求的资源 

void Display()                                            //输出显示资源 
{
	int i,j;
	cout<<"\t\t    可利用的资源量\n";
	cout<<"\t\t    A     B     C\n";
	cout<<"\t\t    ";
	for(i=0;i<m;i++)
	{
		cout<<available[i]<<"     ";
	}
	cout<<"\n\t  已分配的资源量     还需要的资源量\n";
	cout<<"\tA      B      C      A      B      C\n";
   	for(i=0;i<n;i++)
   	{
   		cout<<"P"<<i+1;
   	    for(j=0;j<m;j++)
   	    {
   	    	cout<<"      "<<alloc[i][j];
		}
		for(j=0;j<m;j++)
   	    {
   	    	cout<<"      "<<need[i][j];
		}
		cout<<endl;
    }
    cout<<endl;
}


void Distribute(int i)                 //分配资源 
{
	int j;
	for(j=0;j<m;j++)
	{
		available[j]-=request[j];
		alloc[i][j]+=request[j];
		need[i][j]-=request[j];
	}
}


void Restore(int i)                    //恢复资源 
{
	int j;
	for(j=0;j<m;j++)
	{
		available[j]+=request[j];
		alloc[i][j]-=request[j];
		need[i][j]+=request[j];
	}
}


bool Check(int p)                       //检查是否安全
{ 
    int work,finish[n];
    int i,j,k=0;
    
    for(i=0;i<n;i++)                   //初始化 
	{
		finish[i]=false;
	}
    for(j=0;j<m;j++)
    {
        work=available[j];
        i=p;
        do
        {
            if(finish[i]==false&&need[i][j]<=work)
            {
                work+=alloc[i][j];
                finish[i]=true;
                i=0;
            }
            else
            {
				i++;
            }
        }while(i<n);
        
        for(i=0;i<n;i++)
        {
        	if(finish[i]==false)
            {
               cout<<"系统不安全!资源申请失败!"<<endl;
               return false;
            }
		}
    }
    cout<<"系统安全!资源申请成功!"<<endl;
    return true;
}


void Banker()//算法主体
{
	while(1)
	{
		int P,i,j,flag2=0,flag3=0;
	    char flag1='y',flag4;
	    char resource[3]={'A','B','C'};
		cout<<"请输入您想申请资源的进程号(P1-P"<<n<<")P";//输入申请资源 
		cin>>P;
		cout<<"请依次输入要申请的ABC类资源量:";
	    for(j=0;j<m;j++)
	    {
	        cin>>request[j];
		}
		
		for(j=0;j<m;j++)                                  //判断申请是否合理 
		{
			if(request[j]>need[P-1][j])
			{
				cout<<"申请不合理!申请的"<<resource[j]<<"资源量大于所需量!\n";
				flag1='n';
			}
	    }
	    for(j=0;j<m;j++)
		{
			if(request[j]>available[j])
			{
				cout<<"申请不合理!申请的"<<resource[j]<<"资源量大于剩余量!\n";
				flag1='n';
			}
		}
		cout<<endl; 
		
		if(flag1=='y')
		{
			Distribute(P-1);     //预分配资源 
			if(Check(P-1)==false)//检查是否安全 
			{
				Restore(P-1);    //资源申请失败,恢复预分配的资源 
				Display();
			}
			else                 //资源申请成功
			{
				for(j=0;j<m;j++) //进程若获得全部所需资源,运行完成,释放全部占有资源
				{
					if(need[P-1][j]==0)
					{
						flag2++;
					}
				}
				if(flag2==m)
				{
					for(j=0;j<m;j++)
					{
						available[j]+=alloc[P-1][j];
					}
				}
				Display();
			}
		}
		
		for(i=0;i<n;i++)       //若所有进程已获得全部资源,则直接退出程序 
		{
			for(j=0;j<m;j++)
			{
				if(need[i][j]==0)
				{
					flag3++;
				}
			}
		}
		if(flag3==n*m)
		{
			cout<<"所有进程已获得它们所需的全部资源";
			break;          //退出大循环 
		}
		
		cout<<"是否继续分配资源?(Y/N)";
		cin>>flag4;
		if(flag4=='n'||flag4=='N')
		{
			cout<<"感谢使用!\n";
			system("pause");
			break;
		}
	}
}


int main(void)
{
	Display();
	Banker();
	return 0;
}
  • 2
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值