11677709846

Committed 04 Nov 2024 04:21PM UTC coverage: 85.411% (-0.02%) from 85.426%

Build # 11677709846

Build Type

push

github

Committed by

web-flow

Commit Message

NRG (2.11): Vote request cancels catchup, new leader could have rejected subsequent catchup messages (#6072)

Antithesis triggered a case where:
- a follower (S0) is behind and triggers catchup from the leader (S2)
- another follower (S1) triggers leader election
- the follower (S0) allows follower (S1) to become leader
- the leader (S2) sends a new message, which new leader (S1) rejects
because it's on a higher term
- the follower (S0) now receives above message that new leader (S1)
rejected, providing previous leader (S2) with quorum
- the new leader (S1) rejected that message, so previous leader (S2) has
now desynced since it applied the message

This is solved by canceling catchup once a leader election happens for a
higher term. The new leader will then resume our catchup once it's
elected.


Signed-off-by: Maurice van Veen <github@mauricevanveen.com>

Run Details

67555 of 79094 relevant lines covered (85.41%)

1159757.89 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

80.3

/src/github.com/nats-io/nats-server/server/jetstream_cluster.go

Source Not Available

The file "src/github.com/nats-io/nats-server/server/jetstream_cluster.go" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.

nats-io / nats-server / 11677709846

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available

Source File
Press 'n' to go to next uncovered line, 'b' for previous