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