11677709846
85%

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

Uncovered Existing Lines

Lines	Coverage	∆	File
2	86.17	0.05%	src/github.com/nats-io/nats-server/server/events.go
3	80.88	-0.07%	src/github.com/nats-io/nats-server/server/opts.go
5	73.14	0.03%	src/github.com/nats-io/nats-server/server/jetstream_api.go
6	94.17	-0.25%	src/github.com/nats-io/nats-server/server/gateway.go
7	90.41	-0.17%	src/github.com/nats-io/nats-server/server/leafnode.go
8	84.49	0.02%	src/github.com/nats-io/nats-server/server/stream.go
9	84.27	0.03%	src/github.com/nats-io/nats-server/server/filestore.go
10	71.08	-3.01%	src/github.com/nats-io/nats-server/server/store.go
11	94.77	-0.26%	src/github.com/nats-io/nats-server/server/client.go
12	83.72	0.37%	src/github.com/nats-io/nats-server/server/raft.go
15	88.99	-0.38%	src/github.com/nats-io/nats-server/server/mqtt.go
22	87.26	-0.12%	src/github.com/nats-io/nats-server/server/consumer.go
53	80.3	0.21%	src/github.com/nats-io/nats-server/server/jetstream_cluster.go

Jobs

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

nats-io / nats-server / 11677709846
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 11677709846

nats-io / nats-server / 11677709846 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 11677709846

nats-io / nats-server / 11677709846
85%

README BADGES
x