銀行家算法例題：

在避免死鎖的方法中，所施加的限制條件較弱，有可能獲得令人滿意的系統(tǒng)性能。在該方法中把系統(tǒng)的狀態(tài)分為安全狀態(tài)和不安全狀態(tài)，只要能使系統(tǒng)始終都處于安全狀態(tài)，便可以避免發(fā)生死鎖。

銀行家算法的基本思想是分配資源之前，判斷系統(tǒng)是否是安全的；若是，才分配。它是最具有代表性的避免死鎖的算法。

設(shè)進程cusneed提出請求REQUEST [i]，則銀行家算法按如下規(guī)則進行判斷。

(1)如果REQUEST [cusneed] [i]<= NEED[cusneed][i]，則轉(zhuǎn)（2)；否則，出錯。

(2)如果REQUEST [cusneed] [i]<= AVAILABLE[i]，則轉(zhuǎn)（3)；否則，等待。

(3)系統(tǒng)試探分配資源，修改相關(guān)數(shù)據(jù)：

AVAILABLE[i]-=REQUEST[cusneed][i];

ALLOCATION[cusneed][i]+=REQUEST[cusneed][i];

NEED[cusneed][i]-=REQUEST[cusneed][i];

(4)系統(tǒng)執(zhí)行安全性檢查，如安全，則分配成立；否則試探險性分配作廢，系統(tǒng)恢復(fù)原狀，進程等待。

安全性檢查算法

(1)設(shè)置兩個工作向量Work=AVAILABLE;FINISH

(2)從進程集合中找到一個滿足下述條件的進程，

FINISH==false;

NEED<=Work;

如找到，執(zhí)行（3)；否則，執(zhí)行（4)

(3)設(shè)進程獲得資源，可順利執(zhí)行，直至完成，從而釋放資源。

Work=Work+ALLOCATION;

Finish=true;

GOTO 2

(4)如所有的進程Finish= true，則表示安全；否則系統(tǒng)不安全。

算法（C語言實現(xiàn)）