SOP wyk nr 16-Slajd27

Macierzowa reprezentacja stanu — unikanie zakleszczenia (4)

Sprawdzenie bezpieczeństwa polega na uruchomieniu takiego samego algorytmu, jak w przypadku detekcji zakleszczenia, przy czym zamówieniami są maksymalne potrzeby zasobowe, wynikające z deklaracji i bieżącego przydziału — czyli macierz B . Analizowany jest zatem przypadek skrajny, w którym wszystkie procesy oczekują realizacji swoich deklaracji w stopniu maksymalnym.

<< Poprzedni slajd | Spis treści | Następny slajd >>