Integer Св_Деньги; boolean Безопасно;

boolean array Завершение_под_сомнением [1..N];

Св_Деньги := наличные;

for i := 1 step 1 until N do Завершение_под_сомнением[i] := true;

L: for i :=1 step 1 until N do begin

If ((Завершение_под_сомнением [I]) and

(Требован[i] ≤ Св_Деньги)) then begin

Завершение_под_сомнением [i] := false;

Св_Деньги := Cв_Деньги + Заем[i];

goto L;

end;

end;

if (Св_Деньги = капитал) then Безопасно := true;

else Безопасно := false;

Проверка возможности выплаты, то есть положение Безопасно, означает, могут ли с гарантией быть завершены все сделки. Алгоритм начинается с проверки, имеет ли, по крайней мере, один клиент требование, не превышающее наличные деньги. Если это так, то этот клиент может завершить свою сделку, и поэтому исследуются оставшиеся клиенты, чтобы первый клиент завершил свою сделку и возвратил свой заём полностью.

Безопасность положения означает, что могут быть закончены все сделки, то есть банкир видит способ получения обратно всех своих денег.

Если более глубоко анализировать эту проблему, то можно показать, что решение о выделении следующего запрашиваемого талера клиенту будет принято тогда, когда хотя бы для одного клиента переменная «Завершение_под_сомнением» примет значение false.

Применение алгоритма банкира

Каждому талеру можно поставить в соответствие жесткий диск или какое-либо устройство. Тогда заем талера будет означать разрешение на использование одного из дисков.

begin integer array Заем, Требование, Клиент_Сем,

Клиент_Пер, Номер_Талера,

Возвращенные_Талеры[1..N],

Талер_Сем, Талер_Пер,

Номер_Клиента[1..M];

integer Взаимн_искл, наличные, k;

boolean procedure Попытка_выдать_талер_клиенту (integer j);

begin

if Клиент_Пер[j]=1 then begin

integer i, Своб_Деньги;

boolean array Заверш_под_сомн[1..N];

Своб_Деньги :=наличные -1;

Требование[j]:=Требование[j]-1;

Заем[j]:=Заем[j]+1;

for i:=1 step 1 until N do

Завершен_под_сомн[j]:=true;

L0: for i:=1 step 1 until N do begin

if Завершен_под_сомн[j] and

(Требование[i]=<Своб_Деньги) then begin

if i<>j begin

Заверш_под_сомн[i]:=false;

Своб_Деньги:=Своб_Деньги+Заем[i];

goto L0;

end

else begin

i:=0;

L1: i:=i+1;

if Талер_Пер[i] = 0 then goto L1;

Номер_Талера[j]:=i;

Номер_Клиента[i]:=j;

Клиент_Пер[j]:=0;

Талер_Пер[i]:=0;

Наличные:=Наличные-1;

Попытка_Выдать_Талер_Клиенту:=true

V (Клиент_Сем[j]);

V (Талер_Сем[j]);

goto L2;

end;

Требование[j]:=Требование[j]+1;

Заем[j]:=Заем[j]-1;

end;

Попытка_Выдать_Талер_Клиенту:=false;

L2: end /* процедуры */

Взаимн_искл:=1; Наличные :=M;

for k:=1 step 1 until N do begin

Заем[k]:=0;

Клиент_Сем[k]:=0;

Клиент_Пер[k]:=0;

Требование[k]:=Потребность[k];

Возвращенные_Талеры[k]:=Потребность[k];

end;

for k:=1 step 1 until M do begin

Талер_Сем[k]:=0;

Талер_Перем[k]:=1;

end;

parbegin

Клиент 1: begin ... end;

…

Клиент i: begin ...

P(Возвращенные_Талеры[i]); P(Взаимн_искл);

Клиент_Пер[i] := 1;

Попытка_выдать_талер_клиенту(i);