- Follower
- Candidate
- Leader
- Crashed
Select a node to crash or restart it.
Tick 0
Leader none
Term 0
Safety properties
Plant a bug
Each one restarts the run.
Why old entries can't be counted: Figure 8
An entry can sit on a majority and still get overwritten. Walk through it with the rule on, then again with “Commit entries from old terms” on.
Logs
Each cell is an entry: its value and the term it was created in. A solid outline means committed on that node.