1. Introduction

We want to be able to record global states of a distributed system.

Stability detection
- Deadlock
- Done with computation
Checkpointing and recovery
(Good for lots of general purpose algorithms)

Next