next up previous
Next: About this document ... Up: Figures in the book Previous: Checkpointing for Recovery

Message Logging for Recovery

Figure: A distributed computation

Figure: Formal description of the fault-tolerant vector clock

Figure: A formal description of the version end table mechanism

Figure: An optimistic protocol for asynchronous recovery

Figure: An example of recovery



Vijay K. Garg 2005-02-08