Pr-1st-1.1-m05-Slajd27

Alg. Chandy, Misra, Hass dla modelu AND (2)

Detekcja zakleszczenia jest inicjowana przez monitor procesu pasywnego. Monitor taki zapamiętuje własny identyfikator w zmiennej a i rozsyła do pozostałych monitorów pakiet typu PROBE z własnym identyfikatorem informując je o rozpoczęciu detekcji zakleszczenia.

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