Tekst źródłowy strony Pr-1st-1.1-m08-Slajd23

==Algorytm Lai-Yang (3)==

[[Image:pr-1st-1.1-m08-Slajd23.png|Algorytm Lai-Yang (3)]]


Procedura RECORDSTATE zapamiętuje stan procesu, przypisując stan lokalny <math>S_i</math> do zmiennej <math>procState_i</math>, a zawartość zmiennych <math>outLog_i</math> i <math>inLog_i</math> przypisując do <math>sentLog_i</math> i <math>recvLog_i</math>. Procedura SENDSTATE służy do przesłania zapisanego stanu procesu <math>P_i</math> do monitora <math>Q_{\beta}</math> zajmującego się konstrukcją obrazu spójnego stanu globalnego.


[[pr-1st-1.1-m08-Slajd22 | << Poprzedni slajd]] | [[pr-1st-1.1-m08-toc|Spis treści ]] | [[pr-1st-1.1-m08-Slajd24 | Następny slajd >>]]