Pr-1st-1.1-m05-Slajd33

Alg. Chandy, Misra, Hass dla modelu OR (1)

Algorytm ten wykorzystuje dwa typy komunikatów kontrolnych, zapytania typu QUERY i odpowiedzi na zapytania typu REPLY. Każdy z tych komunikatów zawiera informację o procesie, który zainicjował dany proces detekcji oraz numer sekwencyjny przetwarzania sekwencyjnego.

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