银行家算法



（1）银行家算法的数据结构

  A、可利用资源向量Available。其中每个元素代表每类资源的数目。

B、 最大需求矩阵Max。其中每个元素代表每个进程对于每类资源的最大需求量。Max[i，j]=K 表示i进程对于j类资源的最大需求量为K。

C、分配矩阵Allocation。其中每个元素代表每个进程已得到的每类资源的数目。

D、需求矩阵Need。其中每个元素代表每个进程还需要的每类资源的数目。

（2）银行家算法

  Request i [j]=K 表示进程Pi需要K个j类资源。

A、如果Request i [j]≤Need[i , j]，便转向步骤B，否则认为出错。

B、如果Request i [j]≤Available[j]，便转向步骤C，否则表示无足够资源，Pi需等待； 

C、系统尝试分配资源给Pi； 

D、系统进行安全性检查，检查此次资源分配后，系统是否安全。如果安全，则正式分配资源，否则撤销此次分配。

（3）安全性算法

A、设置两个向量：工作向量Work和Finish。算法开始时Work=Available；Finish表示系统是否有足够的资源分配给进程，使之运行完成，开始时，令Finish[i]=False；如果有足够的资源分配给进程，则令Finish[i]=True。

B、从进程集合中找到一个能满足下列条件的进程：Finish[i]=False；Need[i，j]≤Work[j]，若找到，执行步骤C，否则，执行步骤D； 

C、Pi 获得所需资源后，可顺利执行直到完成，并释放它占有的资源。并执行： 

Work[j]=Work[j]+Allocation[i , j]； 

Finish[i] = True； 

到第B步。

D、直到所有Finish[i]=True，表示系统处于安全状态；否则系统处于不安全状态。

代码如下：

#include<iostream>
using namespace std;
const int n=5;
const int m=3;
int flag=1;
int i,j,Resources[m],Request[m],Max[n][m],Allocation[n][m],Need[n][m],Available[m],hao;
void Initialization();
void Count_Need();
void Count_Available();
void Confirm_Request(); 
void Update(int[],int[][m],int[][m]);
bool Security(int[],int[][m],int[][m]);
void Initialization()
{
 cout<<"输入3类资源的数量:"<<endl;
 for(j=0;j<m;++j)
  cin>>Resources[j];
 cout<<"输入5个进程对3种资源的最大需求<Max>："<<endl;
 for(i=0;i<n;++i)
 for(j=0;j<m;++j)
  cin>>Max[i][j];
 cout<<"输入5个进程的资源分配<Allocation>："<<endl;
 for(i=0;i<n;++i)
 for(j=0;j<m;++j)
  cin>>Allocation[i][j];
 cout <<"需求矩阵<Need>："<<endl;
 Count_Need();
 cout<<"可利用资源矩阵<Available>:"<<endl;
    Count_Available();
}
void Count_Need()
{
 for(i=0;i<n;++i)
 for(j=0;j<m;++j)
  Need[i][j]=Max[i][j]-Allocation[i][j];
 for(i=0;i<n;++i)
 {
  if(flag==0)
  cout<<endl;
  for(j=0;j<m;++j)
   cout<<Need[i][j]<<" ";
   flag=0;
 }
 cout<<endl;
}
void Count_Available()
{
 for(i=0;i<n;++i)
 for(j=0;j<m;++j)
  Available[j]+=Allocation[i][j];
 for(i=0;i<n;++i)
  Available[i]=Resources[i]-Available[i];
 for(j=0;j<m;++j)
  cout<<Available[j]<<" ";
 cout<<endl;
}
void Confirm_Request()
{
 int flager=1;
 cout<<"输入几号进程发出请求（0~4)"<<endl;
 if(hao<=4)
 cin>>hao;
 else
 cout<<"输入违法，重新输入"<<endl;
 cout<<"输入对3类资源的请求数："<<endl;
 for(i=0;i<3;++i)
  cin>>Request[i];
 for(i=0;i<n;++i)
 {
  if(Request<=Need[i,j])
  {
   if(Request[i]<=Available[i])
   continue;
     }
  else
     {
     cout<<"输入有误可能的原因有：1.系统所需资源数已超过它所宣布最大值 2.尚无足够资源，进程需等待";
     flager=0;
     break;
     }
 }
 if(flager==1)
 cout <<"申请合法,正在更新Available，Allocation，Need所对应的值"<<endl;
 Update(Available, Allocation, Need);
}
void Update(int available[],int allocation[][m],int need[][m])//更新数据
{
 for(j=0;j<m;++j)
 {
  available[j]=available[j]-Request[j];
  allocation[hao][j]=allocation[hao][j]+Request[j];
  need[hao][j]=need[hao][j]-Request[j];
 }
 cout<<"Need的新值为："<<endl;
 for(i=0;i<n;++i)
 {
  if(flag==1)
  cout<<endl;
  for(j=0;j<m;++j)
   cout<<need[i][j]<<" ";
   flag=1;
 }
 cout<<endl;
 cout<<"Available的新值为："<<endl;
 for(j=0;j<m;++j)
  cout<<available[j]<< " ";
 cout<<endl;
 cout<<"Allocation的新值为："<<endl;
 for(i=0;i<n;++i)
 {
  if(flag==0)
  cout<<endl;
  for(j=0;j<m;++j)
   cout<<allocation[i][j]<<" ";
   flag=0;
 }
 cout<<endl;
 cout<<"安全性算法进行检测."<<endl;
 if (Security(available,allocation,need)==1)
  cout<<"银行家算法成功!"<<endl;
 else
     cout<<"银行家算法失败!"<<endl;
}
bool Security(int avail[],int allo[][m],int needer[][m])
{
 bool a;
 int count=0;
 int work[m],finish[n];
 for(j=0;i<m;++j)
  work[j]=avail[j];
   count=0;
   for(i=0;i<n;i++)
    if(needer[j][i]<=work[i])
    count+=1;
    else
    count-=1;
   if((finish[j]==0)&&(count==3))
   {
    for(j=0;j<m;++j)
     work[j]=work[j]+allo[i][j];
    finish[i]=1;
   }
   else
      finish[i]=0;
 for(i=0;i<n;++i)
  a=finish[i];
}
int main(void)
{
 Initialization();
 Confirm_Request();
}