Next: Solvable Problems in Asynchronous Up: Figures in the book Previous: Consensus Under Synchrony

Failure Detectors

**Figure:** Failure detectors with strong completeness property
$\begin{figure}\begin{center} \begin{tabular}{\vert l \vert l\vert l\vert} \hline... ...nd\;\cal{S}$ & Eventually weak \\ \hline \end{tabular}\end{center}\end{figure}$

**Figure:** Implementation of a $\Diamond\;\cal{S}$ detector using a $\Diamond\;\cal{W}$ detector
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...pects := ES.suspects \cup m.suspects - \{ i \}$;\\ \end{tabbing}\end{minipage}}$

**Figure:** Consensus using $\Diamond\;\cal{S}$ detector
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...$ to all;\\ \> \> $p$ decides on $w$ and halts. \end{tabbing}\end{minipage}}$

Vijay K. Garg 2005-02-08