操作系统银行家算法实现

 

一、安全状态

指系统能按照某种顺序如<P1,P2,…,Pn>(称为<P1,P2,…,Pn>序列为安全序列)，为每个进程分配所需的资源，直至最大需求，使得每个进程都能顺利完成。

二、银行家算法

假设在进程并发执行时，进程i提出请求j类资源k个后，表示为Requesti[j]=k。系统按下述步骤进行安全检查：

（1）如果Requesti≤Needi则继续以下检查，否则显示需求申请超出最大需求值的错误。

（2）如果Requesti≤Available则继续以下检查，否则显示系统无足够资源，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［i］+Allocation［i,j］;

  Finish［i］∶=true;

  go to step 2;

（4）如果所有进程的Finish［i］=true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态。

#include <stdio.h>
int main()
{
	int claim[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 i,j,k,l=0,count=0,m=0;
	int C_A[5][3]={{0,0,0},{0,0,0},{0,0,0},{0,0,0},{0,0,0}};//各进程仍需要的各类资源
	int result[5]={-1,-1,-1,-1,-1};//存放预分配成功的线程
	int currentavail[3]={3,3,2};//当前可分配资源
	printf("银行家总共拥有的各类资源的总数：\n     A  B  C\n     10 5  7\n");
	printf("银行目前仍剩下的各类资源的数量：\n     A  B  C\n     3  3  2\n");
	printf("各进程对各类资源的最大需求量：\n     A  B  C\n");
	for(i=0;i<5;i++)
	{
		printf("P%d: ",i);
		for(j=0;j<3;j++)
		{
			printf(" %d ",claim[i][j]);
			C_A[i][j]=claim[i][j]-allocation[i][j];
		}
		printf("\n");
	}
	printf("各进程已分配到的各类资源：\n     A  B  C\n");
	for(i=0;i<5;i++)
	{
		printf("P%d: ",i);
		for(j=0;j<3;j++)
			printf(" %d ",allocation[i][j]);
		printf("\n");
	}
	printf("各进程仍需的各类资源数量：\n     A  B  C\n");
	for(i=0;i<5;i++)
	{
		printf("P%d: ",i);
		for(j=0;j<3;j++)
			printf(" %d ",C_A[i][j]);
		printf("\n");
	}
	while(result[l]==-1)//
	{
		for(k=0;k<5;k++)
			if(result[k]==-1)
			{
				for(j=0;j<3;j++)
//判断各线程对各资源仍需量是否小于当前可分配资源总量,此量为正数才正常
			    if(C_A[k][j]<=currentavail[j]&&C_A[k][j]>=0)
				{
//把满足条件的进程的已分配资源加到当前可分配资源中
					currentavail[j]=currentavail[j]+allocation[k][j];
				    m++;
				    if(m==3)
					{
						result[l]=k;//只有ABC三类资源都满足才把相应的线程记入数组result中
				        m=0;
					}
				}
				else break;//否则退出循环,打印"系统不安全"
				l++;
			}
			for(i=0;i<l;i++)
			if(result[i]!=-1)
			{
				printf("P%d->",result[i]);//把预分配成功的先打印出来
				count++;
			}
		l=0;//清零,为下一轮的预分配做准备
	}
	if(count==5)
		printf("\n系统安全!上行所示为其中一个进程安全序列\n");
	else
		printf("\n系统不安全!\n");
}

 

个进程同时运行时，系统根据各类系统资源的最大需求和各类系统的剩余资源为进程安排安全序列，使得系统能快速且安全地运行进程，不至发生死锁。银行家算法是避免死锁的主要方法，其思路在很多方面都非常值得我们来学习借鉴。

通过本次银行家算法实验，加深了我对银行家算法的了解，掌握了如何利用银行家算法避免死锁。实验中遇到点问题，通过查阅资料、询问老师顺利解决。通过这次的实践，使我的理论知识更加的牢固，使自己在学习以后的知识及编程语言更加具有信心了。操作系统是计算机系统中必不可少的系统软件。它是计算机系统中的各种资源的管理者和各种活动的组织者、指挥者。银行家算法是为了使系统保持安全状态。

我们可以把操作系统看作是银行家，操作系统管理相当与银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。

通过你上面的例子，我们看到银行家算法确实能保证系统时时刻刻都能处于安全状态，但它要不断检测每个进程对各类资源的占用和申请情况，需要花费较多的时间。这次的实验，让我深有体会。