Модель Холта Пример R3R3 P2P2 P1P1 R1R1 R2R2 P3P3
Обнаружение тупика посредством редукции графа повторно используемых ресурсов Порядок сокращения n процессов и m ресурсов D = ||d ij || - матрица распределения ресурсов d ij = |(R j,P i )|, 0 i n, 0 j m N = ||n ij ||, матрица запросов, где n ij = |(Р i, R j )| r = (r 1, r 2,..., r m ) - массив доступных единиц ресурсов Время выполнения алгоритма пропорционально m n 2 w i - счетчик ожиданий L:= {P i | w i = 0} Время выполнения алгоритма пропорционально m n.
R3R3 P2P2 P1P1 R1R1 R2R2 P3P3 Пример
R3R3 P2P2 P1P1 R1R1 R2R2 P3P3 Пример
R3R3 P2P2 P1P1 R1R1 R2R2 P3P3 Пример
R3R3 P2P2 P1P1 R1R1 R2R2 P3P3 Пример