OC - Лекция 5 / Alg_banker

program alg_banker;//предложен Дейкстрой
const
num_device=100;//общее число устройств
num_proc=50;//общее число процессов
var
max_want:array[1..num_proc] of integer;//максимальная потребность процессов
allot:array[1..num_proc] of integer;//выделено устройств
rest:array[1..num_proc] of integer;//остаток
not_completed:array[1..num_proc] of boolean;//=true, если процесс может не завершиться
free_device:integer;//количество свободных устройств
i:integer;
was_free:boolean;//признак освобождения устройств
{алгоритм применяется после предварительного выделения устройств}
begin
free_device:=num_device;
for i:=1 to num_proc do
begin
free_device:=free_device-allot[i];
not_completed[i]:=true;
rest[i]:=max_want[i]-allot[i];
end;
repeat
was_free:=false;
for i:=1 to num_proc do
if not_completed[i] and (rest[i]<=free_device) do
begin
not_completed[i]:=false;
free_device:=free_device+allot[i];
was_free:=true;
end;
until not was_free;
if free_device=num_device then State_is_safety
else State_is_not_safety;
end.