Pr-1st-1.1-m08-Slajd57

Algorytm z znacznikami BF i FF (4)

Inicjator konstrukcji obrazu spójnego stanu globalnego $Q_{\alpha }$ spontanicznie zapisuje stan za pomocą procedury RECORDSTATE.

Monitor $Q_{i}$, który jeszcze nie zapisał swojego stanu, wywołuje funkcję RECORDSTATE (zapisując stan procesu i rozsyłając do sąsiadów znaczniki typu BMARKER i FMARKER) po otrzymaniu znacznika typu BMARKER.

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