Consensus · fault injection · linearizability
Raft, replayed exactly.
A Raft node here is a pure state machine — no sockets, no clock, no
randomness. A simulator owns all three, so an entire run is
a pure function of its seed: the link in your address
bar reproduces what you are looking at, tick for tick, and the
timeline can travel backwards by replaying it.
Partition the cluster. Kill the leader. Watch the logs diverge, then
watch them get forced back into agreement.
- Seeds swept
- 100,000
- Safety violations
- 0
- Histories linearizable
- 100,000
- Real bugs it found
- 5
- Tests
- 298
the part of a clock that converts continuous force into discrete, countable ticks — the reason a clock ticks rather than simply unwinding.
This one does it to a distributed system.
Transport
Run
Conditions
Intervene · click a node on the map
pick two nodes to split them apart, or drag a box around a group