Pr-1st-1.1-m08-Slajd23

Algorytm Lai-Yang (3)

Procedura RECORDSTATE zapamiętuje stan procesu, przypisując stan lokalny $S_{i}$ do zmiennej $procState_{i}$, a zawartość zmiennych $outLog_{i}$ i $inLog_{i}$ przypisując do $sentLog_{i}$ i $recvLog_{i}$. Procedura SENDSTATE służy do przesłania zapisanego stanu procesu $P_{i}$ do monitora $Q_{\beta }$ zajmującego się konstrukcją obrazu spójnego stanu globalnego.

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