OC - Лекция 5 / Копия Alg_banker

  { =========================================== }
  { Правки                                      }
  { =========================================== }
  {     free_device = NUM_DEVICE - alloc_count; }
  {                                             }
  { =========================================== }
  { FAQ                                         }
  { =========================================== }
  {   Q: alloc[i] не инициализирован, ок?       }
  {   A: Ок.                                    }
  {                                             }

program alg_banker;//предложен Дейкстрой
const 
  NUM_DEVICE = 100; // общее число устройств
  NUM_PROC   = 50;  // общее число процессов

var
  max_want: array[1..NUM_PROC] of integer;  // максимальная потребность процессов
  alloc: array[1..NUM_PROC] of integer;     // выделено устройств
  completed: array[1..NUM_PROC] of boolean; // признак завершённости

  alloc_count: integer; // количество занятых устройств
  was_free: boolean;    // признак освобождения устройств
  i: integer;

begin  
  { инициализируем }

  alloc_count := 0;

  for i := 1 to NUM_PROC do
  begin
    completed[i] := False;
    alloc_count := alloc_count + alloc[i];
  end;

  { обрабатываем }

  repeat
    was_free := False;
    for i := 1 to NUM_PROC do
    if (not completed[i]) and (max_want[i] - alloc[i] <= free_device) do
    begin
      completed[i] := True;
      alloc_count := alloc_count - alloc[i];
      was_free := True;
    end;
  until not was_free;

  { выводим }

  if alloc_count = 0 then 
    { State is safety }
  else
    { State is not safety } 		
end.