Interactive lease-based leader election — five processes contending for a TTL-bounded lock in a shared store. Step through three scenarios or take over in free play.
Acquire & renew
Leader crash
GC pause & fence
Free play
5 processes · TTL = 15 s · renew at 5 s
leader
follower
acquiring
crashed
Shared store · /leader
rev 1
holder
P1
epoch
1
expires in
15.0 s
TTL
100%
1 · Acquire
2 · Renew
3 · Expire
4 · Re-acquire
5 · Fence
Step 0 / 0
Ready.
P1 holds the lease at epoch 1.
Scenario timeline
—
Prev
Play
Next
Restart
←
→
space
Free play — crash, release, fence
Crash P1
Crash P2
Crash P3
Crash P4
Crash P5
Lease:
Expire now
Leader releases
Next survivor acquires
Revive all
Reset
leader
P1
epoch
1
ttl
100%
acquires
1
Message log
last 2 messages