Pr-1st-1.1-m12-Slajd17

Pasywny algorytm zgodnego rozgłaszania niezawodnego (2)

Zmienne $pcktIn$ oraz $msgOut$ posiadają swoje zwykłe znaczenie. Zbiór $correc{t}_i$ zawiera identyfikatory procesów uznawanych za poprawne przez proces $P_i$. Zbiór $delivere{d}_i$ tworzą wiadomości, które już zostały odebrane przez $P_i$. Tablica $fro{m}_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 >>