Next: Message Logging for Recovery Up: Figures in the book Previous: Solvable Problems in Asynchronous

Checkpointing for Recovery

**Figure:** An example of the domino effect
$\begin{figure}\centerline{\epsfbox{figs/second-1.1.eps}}\end{figure}$

**Figure:** Examples of zig-zag paths
$\begin{figure}\centerline{\epsfbox{figs/second-1.2.eps}}\end{figure}$

**Figure:** Example of an R-graph
$\begin{figure}\centerline{\epsfbox{figs/second-1.3.eps}}\end{figure}$

**Figure:** Example of a computation with local predicates
$\begin{figure}\centerline{\epsfbox{figs/second-2.1.eps}}\end{figure}$

**Figure:** Slice of the computation
$\begin{figure}\centerline{\epsfbox{figs/second-2.2.eps}}\end{figure}$

Vijay K. Garg 2005-02-08