Pr-1st-1.1-m09-Slajd09
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.
