SO-1st-2.3-w14.tresc-1.0-Slajd28

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 >>