Pr-1st-1.1-m11-Slajd67

Problem wyboru lidera: Algorytm (5)

Po otrzymaniu wiadomości typu HEARTBEAT (pulsu) od innego procesu, następuje sprawdzenie, czy proces ten znajduje się już w zbiorze $candidateSet_{i}$. Jeżeli tak, to w zbiorze $possibleSet_{i}$ uaktualniany jest ewentualnie numer epoki. W przeciwnym wypadku, identyfikator tego procesu wraz z numerem epoki jest dołączany jest do zbioru $candidateSet_{i}$.

Po każdym wznowieniu (restarcie) procesu, modelowanym tu zajściem zdarzenia $e\_recovery(P_{i})$, jest wczytany numer epoki za pomocą procedury RETRIEVE. Wszystkie pozostałe zmienne wchodzące w skład stanu procesu są inicjowane wartościami początkowymi. Następnie numer ten jest zwiększany o jeden, zapisany do pamięci dyskowej za pomocą procedury STORE oraz rozesłany do wszystkich monitorów.

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