Pr-1st-1.1-m10-Slajd55

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakończenia dynamicznego

Detekcja zakończenia dynamicznego


Detekcja zakończenia dynamicznego sprowadza się do wyznaczenia wartości predykatów definiujących zakończenie:

W tym celu zaproponowano algorytm, który stosuje mechanizm cykli detekcyjnych oraz wiadomości kontrolne typu QUERY i REPLY, a także liczniki wiadomości odebranych i wysłanych przez procesy.


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