SOP wyk nr 16-Slajd25
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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ą w macierzy D .
Macierz B = D – A . Maksymalne potrzeby odjąć bieżący przydział daje liczbę jednostek, której zażądania zarządca może się jeszcze spodziewać.