11677709846
83%

Ran 05 Nov 2024 05:41AM UTC

Jobs 1

Files 57

Run time 1min

Badge

Embed ▾

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	11677709846.1	05 Nov 2024 05:41AM UTC	0	85.41	GitHub Action Run

Source Files on build 11677709846

Detailed source file information is not available for this build.

nats-io / nats-server / 11677709846
83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11677709846

nats-io / nats-server / 11677709846 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11677709846

nats-io / nats-server / 11677709846
83%

README BADGES
x