Pr-1st-1.1-m12-Slajd17

Pasywny algorytm zgodnego rozgłaszania niezawodnego (2)

Zmienne $pcktIn$ oraz $msgOut$ posiadają swoje zwykłe znaczenie. Zbiór $correct_{i}$ zawiera identyfikatory procesów uznawanych za poprawne przez proces $P_{i}$. Zbiór $delivered_{i}$ tworzą wiadomości, które już zostały odebrane przez $P_{i}$. Tablica $from_{i}$ zawiera zbiory, których elementami są pary składające się z identyfikatora pierwotnego nadawcy wiadomości i samej wiadomości aplikacyjnej. Odpowiednio, j-ty element tej tablicy to wiadomości przekazane przez monitor $Q_{j}$. Zmienne $pId$ oraz $msg$ są używane lokalnie w programie obsługi zdarzenia wykrycia awarii procesu.

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