Next: Knowledge and Common Knowledge Up: Figures in the book Previous: Distributed Shared Memory

Self-Stabilization

**Figure:** -state self-stabilizing algorithm
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} xxxx\=xxxx\=xxxx\=xxxx\=xx... ...\> \> {\bf if} $(L \neq S)$ {\bf then} $S := L$ ; \end{tabbing}\end{minipage}}$

**Figure:** A move by the bottom machine in the -state algorithm
$\begin{figure}\begin{center} <tex2html_file> ...$

**Figure:** A move by a normal machine in the -state algorithm
$\begin{figure}\begin{center} <tex2html_file> ...$

**Figure:** Three-state self-stabilizing algorithm
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} xxxx\=xxxx\=xxxx\=xxxx\=xx... ...(L=B)$ and $(T \neq B+1)$ {\bf then} $T:=B+1$;\\ \end{tabbing}\end{minipage}}$

**Figure:** A sample execution of the Three-state self-stabilizing algorithm
$\begin{figure}\begin{center} \3state{1}{0}{2}{0}{$\rightarrow$}{$\rightarrow$}{$... ...} \par\3state{1}{2}{2}{0}{$\leftarrow$}{}{$\leftarrow$} \end{center}\end{figure}$

Vijay K. Garg 2005-02-08