本篇博文为追忆曾经写过的算法系列第二篇(20081021)
温故知新
目的:具有代表性的死锁避免算法是Dijskstra给出的银行家算法。本实验是基于银行家算法的思想通过编写C++程序实现银行家算法的计算机程序化,使其更实用。同时也加深了有关自愿申请、避免死锁等概念,体会避免死锁的实际实现过程与方法。
要求: 1.设定进程p对各类资源r合理的最大需求max及初值确定;2.设定系统提供资源初始状况allocation;3.设定每次某个进程对各类资源的申请表示need;4.编制C++程序,基于银行家算法思想,决定申请是否被允许。
说明:
1.数据结构
假设有p个进程r类资源,则有如下数据结构:
max[p][r] p个进程对r类资源的最大需求量
allocation[p][r] p个进程已经得到r类资源的资源量
need[p][r] p个进程还需要r类资源的资源量
available[r] 当前系统对r类资源的可用资源数
2.银行家算法
设进程I提出请求request[r],则银行家算法按如下规则进行判断。
(1)如果request[r]<=need[p][r],则转(2);否则,出错。
(2)如果request[r]<=available [r],则转(3);否则,出错。
(3)系统试探分配资源,修改相关数据:
available[r]= available [r]-request[r]
allocation[pn][r]=allocation[pn]+request[r]
need[pn][r]=need[pn][r]-request[r]
其中,pn指第pn行申请资源。
(4)系统执行安全性检查,如安全,则分配成立;否则试探险性分配作废,系统恢复原状,进程等待。
3.安全性检查
(1)设置两个工作向量work=available;finish[p]=0;
(2)从进程集合中找到一个满足下述条件的进程,
finish[i]=0
need<=work
如找到,执行(3);否则,执行(4)
(3)设进程获得资源,可顺利执行,直至完成,从而释放资源:
work=work+allocation
finish[i]=1
转(2);
(4)如所有的进程finish[p]=1,则表示安全;否则系统不安全。
算法流程:
算法程序:
// gujinjin 08/10/05_06
// 避免死锁银行家算法的C++ 编程实现
#include<iostream>
using namespace std;
// p 进程数,r 资源种类
#define p 4
#define r 3
/*-----------------------------------------------*/  
/*输入函数*/  
/*-----------------------------------------------*/
//a-max,b-allocation,c-need,d-available
void input(int a[p][r],int b[p][r],int c[p][r],int d[r])
{
	int i,j;
	cout<<"* input max data:\n";
	for(i=0;i<p;i++)
		for(j=0;j<r;j++)cin>>a[i][j];
	cout<<"* input allocation data:\n";
	for(i=0;i<p;i++)
		for(j=0;j<r;j++)cin>>b[i][j];
	cout<<"* input need data:\n";
	for(i=0;i<p;i++)
		for(j=0;j<r;j++)cin>>c[i][j];
    cout<<"* input available data:\n";
	for(j=0;j<r;j++)cin>>d[j];
}
/*-----------------------------------------------*/  
/*比较函数*/  
/*-----------------------------------------------*/
//比较结果为m中的元素全大于n中的元素返回1,否则返回0
int com(int m[r],int n[r])
{
	int i,flag=0;
	for(i=0;i<r;i++)
		if(m[i]<n[i])
		{
			flag=1;
		    break;
		}
	if(flag==1)	return(0);
	else return(1);
}
/*-----------------------------------------------*/  
/*安全性检验函数*/  
/*-----------------------------------------------*/
//b、c、d意义同上
int stest(int b[p][r],int c[p][r],int d[r])
{
	int i,j,k,l,flag=0,flag1=0;
	int t[r],finish[p],dd[r];
	for(i=0;i<p;i++)finish[i]=0;//finish为1即表示available满足某一进程并让其实现
	for(i=0;i<r;i++)dd[i]=d[i];
	cout<<"分配序列:\n";
	for(k=0;k<p;k++)            //全搜索,直至实现或不可能实现
	{
		for(i=0;i<p;i++)
		{
			if(finish[i]==1)continue;
			else
			{
				for(j=0;j<r;j++)t[j]=c[i][j];
				if(com(dd,t))
				{
					finish[i]=1;
					cout<<i+1<<'\t';
				    flag=1;
					for(l=0;l<r;l++)dd[l]=dd[l]+b[i][l];
					break;
				}
			}
			if(flag==1)break;
		}	
	}
	cout<<'\n';
	for(l=0;l<p;l++)
	{
		//cout<<finish[l]<<endl;
		if(finish[l]==0)flag1=1;
	}
	    //cout<<flag1<<endl;
	if(flag1==0)return(1);    //flag1为记录finish是否有0存在的标记,当flag1=0时,安全
	else return(0);
}
/*-----------------------------------------------*/  
/*申请进程后的安全性检验函数*/  
/*-----------------------------------------------*/
//req-request,n-第n个进程申请资源
void rtest(int b[p][r],int c[p][r],int d[r],int req[r],int n)
{
	int i,j;
	int t[r];
	n=n-1;
	for(i=0;i<r;i++)t[i]=c[n][i];
	if(com(d,req)&&com(t,req))//对available,request进行比较
	{
		for(j=0;j<r;j++)
		{
			b[n][j]=b[n][j]+req[j];
			c[n][j]=c[n][j]-req[j];
			d[j]=d[j]-req[j];
		}
	    if(stest(b,c,d))cout<<"允许"<<n+1<<"个进程申请资源!\n";
	    else 
		{
		cout<<"不允许"<<n+1<<"个进程申请资源!\n";
		cout<<"恢复以前状态!\n";
	    for(j=0;j<r;j++)
		{
			b[n][j]=b[n][j]-req[j];
			c[n][j]=c[n][j]+req[j];
			d[j]=d[j]+req[j];
		}
		}
	}
	else cout<<"申请资源量出错!\n";
}
/*-----------------------------------------------*/  
/*主函数*/  
/*-----------------------------------------------*/
void main()
{
	int j,n;                   //n-第n个资源申请
	int max[p][r],allocation[p][r],need[p][r];
	int available[r],request[r];
	input(max,allocation,need,available);
	if(stest(allocation,need,available)==1)cout<<"初始状态安全!\n";
	else cout<<"初始状态不安全!\n";
	cout<<" input request data:\n";
	for(j=0;j<r;j++)cin>>request[j];
	cout<<"第n个进程申请资源——n的值\n";
	cin>>n;
	rtest(allocation,need,available,request,n);
}结果演示:
避免死锁的银行家算法C++程序实现,布布扣,bubuko.com
原文:http://blog.csdn.net/gujinjinseu/article/details/35563155