Pr-1st-1.1-m09-Slajd09

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Przykład 2 – obraz stanu globalnego

Przykład 2 – obraz stanu globalnego


Przykład 2: Algorytm Matterna konstrukcji spójnego obrazu stanu globalnego wśrodowisku zkanałami nonFIFO.

Ze względu na możliwe zmiany uporządkowania wiadomości w kanałach otrzymanie wiadomości koloru Red nie przesądzało o tym, że wkanałach nie ma już wcześniej wysłanych wiadomości koloru White. Ponieważ jednak zbiór otrzymanych przez proces koloru Red wiadomości White określa stan kanału wwyznaczanym obrazie stanu globalnego, niezbędne jest niezależne od procesu konstrukcji obrazu stanu globalnego sprawdzenie, czy w kanałach nie ma jeszcze wiadomości koloru White. Dopiero bowiem wówczas, gdy stwierdzimy, że wszystkie wiadomości koloru White zostały odebrane, wyznaczone stany kanałów odpowiadają spójnemu obrazowi stanu globalnego.


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