Pr-1st-1.1-m12-Slajd17

Z Studia Informatyczne
Wersja z dnia 16:09, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Pasywny algorytm zgodnego rozgłaszania niezawodnego (2)

Pasywny algorytm zgodnego rozgłaszania niezawodnego (2)


Zmienne oraz posiadają swoje zwykłe znaczenie. Zbiór zawiera identyfikatory procesów uznawanych za poprawne przez proces . Zbiór tworzą wiadomości, które już zostały odebrane przez . Tablica 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 . Zmienne oraz są używane lokalnie w programie obsługi zdarzenia wykrycia awarii procesu.


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