Pr-1st-1.1-m06-Slajd15

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dwufazowy algorytm detekcji zakleszczenia dla modelu k spośród r (2)

Dwufazowy algorytm detekcji zakleszczenia dla modelu k spośród r (2)

Najistotniejsze zmienne wykorzystywane przez ten algorytm są następujące:

  • – tablica, której j-ty element określa zbiór procesów , których monitory przesłały wiadomości typu FLOOD odebrane już przez w ramach ostatniego procesu detekcji zakleszczenia, zainicjowanego przez monitor .
  • – tablica, której j-ty element określa zbiór warunkujący procesu , w chwili otrzymania wiadomości typu FLOOD w ramach ostatniego procesu detekcji zakleszczenia, zainicjowanego przez monitor .
  • – liczba k wymaganych przez aplikację wiadomości potwierdzeń, w chwili otrzymania wiadomości FLOOD w ramach ostatniego procesu detekcji, zainicjowanego przez monitor
  • – czas logiczny rozpoczęcia ostatniej detekcji przez
  • – moment w którym ostatnio zablokowany był proces
  • – waga będąca w dyspozycji inicjatora procesu detekcji zakleszczenia


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