本篇博文為追憶以前寫過的算法系列第二篇（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);
}
結果演示：
