next up previous
Next: Observing Global Predicates Up: Figures in the book Previous: Leader Election

Global State

Figure: Chandy and Lamport's snapshot algorithm
\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...an[j]$ := $append(chan[j], program\_message)$; \\ \end{tabbing}\end{minipage}}


Vijay K. Garg 2005-02-08