Raft

Election Starts on Timeout

Timeout turns a follower into a candidate that requests votes.

highlighted = computed this step

An election starts on timeout

A timeout makes a follower become a candidate. The candidate increments its term, votes for itself, and asks peers for votes. Note: votes are rendered from the replayed request.

timeout election\text{timeout election}

Candidate transition

The timeout trace records 3 votes and 0 leaders so far. Note: win has not been replayed yet.

votes=3,leaders=0\text{votes}=3,\quad \text{leaders}=0

a simplified Raft over a tiny cluster: terms, votes, leader election, and the term-restricted commit rule are exact on these traces; the full safety proof, membership changes, snapshotting, log compaction, and real RPC/timing are beyond these traces - no product claims.

Timeout starts election commitIndex 0 0 1 A t0/F t1/C B t0/F t1/F C t0/F t1/F vote tally t1 A:3 leader log -

Summary

Timeout starts an election but does not by itself install a leader. Note: this is simplified Raft; the full safety proof, membership changes, snapshots, and real timing are beyond these traces.

candidate first\text{candidate first}