Pr-1st-1.1-m09-Slajd45

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakończenia dla systemów asynchronicznych (Misra ’83)

Algorytm detekcji zakończenia dla systemów asynchronicznych (Misra ’83)


Dla systemów asynchronicznych można wykorzystać w celu detekcji zakończenia algorytm (Misra’83), który nie czyni żadnych założeń co do topologii przetwarzania i czasu przesyłania. Algorytm ten wymaga natomiast, by żadne nie wiadomości nie były gubione podczas transmisji (niezawodność komunikacji) oraz by kanały komunikacyjne zachowywały porządek wysyłania wiadomości (kanały FIFO).

Algorytm ten, podobnie jak przedstawiony wcześniej algorytm dla modelu synchronicznego (Dijkstra, Feijen, van Gasteren) używa znacznika, oraz kolorowanie procesów. Dla ułatwienia analizy, można przyjąć, że wszystkie topologia przetwarzania to graf w pełni połączony, jednakże algorytm łatwo można dostosować do dowolnej topologii, co zostanie pokazane dalej.


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