SOP wyk nr 16-Slajd25

Macierzowa reprezentacja stanu — unikanie zakleszczenia (2)

Oprócz macierzy, opisujących stan systemu, czyli C , R , A i F , oraz pomocniczych W i K , potrzebne są jeszcze macierze, związane z maksymalnymi deklaracjami zasobowymi. Deklaracje odnośnie maksymalnego zapotrzebowania procesów na jednostki zasobów poszczególnych typów, przechowywane są macierzy D .

Macierze B = D – A . Maksymalne potrzeby odjąć bieżący przydział daje liczbę jednostek, której zażądania zarządca może się jeszcze spodziewać.

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