Pr-1st-1.1-m08-Slajd23

Algorytm Lai-Yang (3)

Procedura RECORDSTATE zapamiętuje stan procesu, przypisując stan lokalny $S_i$ do zmiennej $procStat{e}_i$, a zawartość zmiennych $outLo{g}_i$ i $inLo{g}_i$ przypisując do $sentLo{g}_i$ i $recvLo{g}_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 >>