Skip to content

[ADDED] Add assert.Unreachable when losing commits#7213

Merged
neilalexander merged 1 commit intomainfrom
maurice/assert-lost-commits
Aug 26, 2025
Merged

[ADDED] Add assert.Unreachable when losing commits#7213
neilalexander merged 1 commit intomainfrom
maurice/assert-lost-commits

Conversation

@MauriceVanVeen
Copy link
Copy Markdown
Member

To support our testing in Antithesis, add an explicit assert when truncating data that was meant to be committed. Before we'd only be notified based on logging Resetting WAL state, but even if the WAL is not reset entirely losing just a single committed message already violates correctness.

This assert is purely added to make it easier to spot any issues in Antithesis, and given our effort in fixing replication bugs I don't expect this assert to fail. It will just be there being a more strict guard for safety.

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

Signed-off-by: Maurice van Veen <github@mauricevanveen.com>
@MauriceVanVeen MauriceVanVeen requested a review from a team as a code owner August 26, 2025 09:24
Copy link
Copy Markdown
Member

@neilalexander neilalexander left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@neilalexander neilalexander merged commit 7a64c93 into main Aug 26, 2025
90 of 92 checks passed
@neilalexander neilalexander deleted the maurice/assert-lost-commits branch August 26, 2025 09:43
MauriceVanVeen pushed a commit that referenced this pull request Sep 3, 2025
To support our testing in Antithesis, add an explicit assert when
truncating data that was meant to be committed. Before we'd only be
notified based on logging `Resetting WAL state`, but even if the WAL is
not reset entirely losing just a single committed message already
violates correctness.

This assert is purely added to make it easier to spot any issues in
Antithesis, and given our effort in fixing replication bugs I don't
expect this assert to fail. It will just be there being a more strict
guard for safety.

Signed-off-by: Maurice van Veen <github@mauricevanveen.com>
@wallyqs wallyqs changed the title Add assert.Unreachable when losing commits [ADDED] Add assert.Unreachable when losing commits Sep 3, 2025
neilalexander added a commit that referenced this pull request Sep 8, 2025
Includes the following:
- #7200
- #7201
- #7202
- #7209
- #7210
- #7211
- #7213
- #7212
- #7216
- #7217
- #7230
- #7239
- #7246
- #7248
-
8241a15,
specifically delayed errors that are not JS API errors
- #7158 (not containing
2.12-specific changes)
- #7233
- #7255
- #7249
- #7259
- #7265
- #7273 (not including Go
1.25.x)
- #7258
- #7222

Signed-off-by: Maurice van Veen <github@mauricevanveen.com>
Signed-off-by: Neil Twigg <neil@nats.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants