Message history
- Assume process is deterministic
- What if messages sending was based on a random seed?
- On takeover, backup runs "count until sync" messages
- At the count, know that the processes should be in the same state
- What about ...
- Signals
- Non-deterministic servers (file server process)
Notes:
No notes for slide 23