Interactive Bully algorithm — five processes with IDs P1..P5; the highest alive ID is always leader. Step through three failure scenarios or take over in free play.
5 processes · highest ID winsleadercandidatehigher-ID OKcrashed
1 · Detect failure
2 · Election sent
3 · Higher OKs
4 · Top elected
5 · Coordinator
Step 0 / 0
Ready. Five processes alive. P5 (highest ID) is leader.