Repository navigation
Conversation
This was referenced Oct 25, 2026
- At the end of a historic timeline (e.g. after the standby we stream
from got promoted), the server ends copy mode with CopyDone. Npgsql
expected only CopyData and broke the connection ("Received backend
message CopyDone while expecting CopyDataMessage"). It now answers
with CopyDone, reads the next timeline the server sends, both
CommandCompletes and ReadyForQuery, and ends the enumeration normally,
leaving the connection usable. Status updates stop before our
CopyDone, since the protocol doesn't allow CopyData after it. The next
timeline is logged, and the StartReplication docs explain how to
continue: IDENTIFY_SYSTEM returns the current timeline and
TIMELINE_HISTORY the position where it branched off, which can be
before the end of the WAL received on the old timeline.
- Asked to start at the end of a historic timeline, the server doesn't
enter copy mode but sends the next timeline right away, which Npgsql
treated as an unexpected message. The enumeration now ends right away.
- A walsender that exits after everything has been replicated (e.g. at
server shutdown, npgsql#5752) sends CommandComplete, which also broke the
connection with a misleading error. It now throws an NpgsqlException
saying that the server ended the replication stream.
- In logical replication, unknown CopyData message types are skipped
instead of breaking the connection, like the logical replication
worker, which ignores them on purpose. Physical replication keeps
rejecting them, like walreceiver, since it must not lose WAL.
Keepalive fields that newer servers may add are skipped in both.
- In physical replication, the received position reported to the server
was the server's own WAL end, not the end of the WAL received, so
pg_stat_replication.write_lsn and synchronous_commit = remote_write
treated WAL as written before it arrived. It is now the end of the
data the consumer is done with, like walreceiver reports what it
wrote.
- LastReceivedLsn starts over at the start position of each stream
instead of keeping the maximum of all previous streams, which was
wrong when continuing on a new timeline at a lower position.
- The XLogData stream is disposed after each message instead of later in
cleanup, where it could skip data based on a stale position: a server
error that ended the stream after a keepalive (e.g. after
pg_cancel_backend) turned into a timeout and a broken connection.
The new cluster tests stream physically across a standby's promotion
and through a fast shutdown, using the throwaway clusters from
NPGSQL_TEST_PG_BIN.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Breaking out of a replication enumeration, or an exception in the consumer, left the inner enumerator undisposed. The connection stayed in replication mode with its feedback timers running, and every other command failed with NpgsqlOperationInProgressException. The enumerators are now disposed, which stops streaming: physical replication ends copy mode with CopyDone, which keeps the walsender ready for the next START_REPLICATION and keeps temporary slots; logical replication cancels the command, since a logical walsender can't stream again after CopyDone. Like any error, the cancellation drops the temporary slots of the session (documented on the logical StartReplication methods). Servers before PostgreSQL 10 ignore cancellation requests on replication connections, so with them the logical stop breaks the connection instead. A final status update reports the processed position first; for logical replication this is best effort, since the walsender may handle the cancellation before it reads the update. If stopping fails, the connection is broken; the exception that made the consumer stop is never replaced. On PostgreSQL 14-17, the server may not send pgoutput's Relation messages again in the next stream on the same connection after such a cancellation (on 14 after any error, on 15-17 if the connection created the slot with an exported snapshot; fixed in PostgreSQL 18 by 80b727eb9de). This is documented on the pgoutput StartReplication, and the test avoids it. - Status updates that were still on their way when a stream ended (e.g. from a timer or another thread) could be written after the end of the command, interleaved with the next one. They are now dropped. - Whatever the consumer didn't read of the message it held is skipped first, also when a plugin like pgoutput reads the data directly from the buffer. Reading beyond the end of a message breaks the connection. - After cancellation, messages that were already on their way were still handed out until the server's error arrived. They are now skipped. This makes the physical replication tests reliable, so they run again (some of them also used colliding slot names). - Starting a second stream while one was in progress overwrote the state of the first one before failing, so disposing the connection didn't stop the first stream anymore. It now fails before touching anything, and a start that fails leaves no state behind. - A message bigger than the read buffer (e.g. a long notice) made the connector switch to a bigger buffer while the stream kept reading from the old one. This is fixed for the replication stream itself; the pgoutput decoder still reads from the old buffer. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- A WalReceiverStatusInterval or WalReceiverTimeout of zero made the feedback timers fire over and over, which flooded the server with status updates (in the case of the timeout with reply requests, which the server answered every time). Like wal_receiver_status_interval and wal_receiver_timeout in PostgreSQL, zero now disables them, and so do intervals longer than a timer supports (~49 days), which failed once the server had switched to copy mode. Positive intervals below a millisecond fire every millisecond. Waiting for the end of START_REPLICATION after CopyDone is bounded for such long timeouts too. - Negative values other than Timeout.InfiniteTimeSpan are now rejected by the setters. Before, starting replication failed with them once the server had switched to copy mode, which left the connection unusable. - SendStatusUpdate logged write failures without reporting them, so callers that push their flush position (e.g. for synchronous replication) couldn't tell that it never reached the server. It now throws them; like any failed write, they break the connection. A status update that waited for one that broke the connection fails with InvalidOperationException instead of a NullReferenceException, and so does one after the stream ended. The reply to a keepalive also reports its failure, through the stream, instead of a NullReferenceException at the next read. - Add a missing space to a log message. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Brar
force-pushed
the
repl/feedback-fixes
branch
from
November 7, 2026 23:34
c9bf1df to
daf84b2
Compare
There was a problem hiding this comment.
🟡 Changes recommended
Active findings identify cross-stream feedback races, incorrect WAL acknowledgement timing that can stall synchronous replication or acknowledge unread data, and an unbounded payload drain that can hang cleanup.
3 open issues
What changed in this PR
This PR fixes replication feedback timing and exposes status-update write failures in Npgsql. It also includes pending dependency changes for stream termination, early disposal, and physical WAL position reporting.
Changes:
- Disable feedback timers for zero or oversized intervals, reject invalid negative values, and propagate explicit status-update failures.
- Handle timeline endings and early stream disposal while coordinating feedback with teardown.
- Add mock and live regression tests, lifecycle logging, and replication usage documentation.
| File | Description |
|---|---|
test/Npgsql.Tests/Support/PgServerMock.cs |
Adds a nonblocking check for pending client data. |
test/Npgsql.Tests/Replication/ReplicationStreamEndMockTests.cs |
Tests stream endings, protocol handling, and received positions. |
test/Npgsql.Tests/Replication/ReplicationStopTests.cs |
Tests early disposal and connection reuse against PostgreSQL. |
test/Npgsql.Tests/Replication/ReplicationStopMockTests.cs |
Tests cleanup, cancellation, and buffer changes. |
test/Npgsql.Tests/Replication/ReplicationFeedbackMockTests.cs |
Tests disabled intervals, validation, and feedback failures. |
test/Npgsql.Tests/Replication/PhysicalReplicationTests.cs |
Re-enables tests without parallel execution and avoids slot-name collisions. |
test/Npgsql.Tests/Replication/PhysicalReplicationClusterTests.cs |
Tests standby promotion and server shutdown. |
src/Npgsql/Replication/TestDecoding/TestDecodingConnectionExtensions.cs |
Documents early-stop behavior and temporary-slot loss. |
src/Npgsql/Replication/ReplicationConnection.cs |
Implements timer validation, failure propagation, and stream lifecycle handling. |
src/Npgsql/Replication/PhysicalReplicationConnection.cs |
Disposes inner streams and documents timeline continuation. |
src/Npgsql/Replication/PgOutput/PgOutputConnectionExtensions.cs |
Documents early stopping and server-version reuse limitations. |
src/Npgsql/Replication/Internal/LogicalReplicationConnectionExtensions.cs |
Disposes inner streams and initializes their received position. |
src/Npgsql/NpgsqlEventId.cs |
Adds replication lifecycle event identifiers. |
src/Npgsql/LogMessages.cs |
Adds timeline-ending and stream-stopping log messages. |
Review effort: Balanced
| // What we received on a previous stream doesn't count for this one, which may e.g. continue on another timeline at a | ||
| // lower position | ||
| Interlocked.Exchange(ref _lastReceivedLsn, unchecked((long)(ulong)walLocation)); | ||
| _statusUpdatesStopped = false; |
Member
Author
Comment on lines
+609
to
+611
| var physicalReceivedLsn = startLsn + (ulong)dataLen; | ||
| if (ReplicationMode == ReplicationMode.Physical && unchecked((ulong)Interlocked.Read(ref _lastReceivedLsn)) < physicalReceivedLsn) | ||
| Interlocked.Exchange(ref _lastReceivedLsn, unchecked((long)physicalReceivedLsn)); |
Member
Author
There was a problem hiding this comment.
Comment on lines
+714
to
+718
| // Skip whatever the consumer didn't read of the message it held | ||
| if (bypassingStream) | ||
| await SkipToPayloadEnd(connector, payloadEnd).ConfigureAwait(false); | ||
| else | ||
| await columnStream.DisposeAsync().ConfigureAwait(false); |
Member
Author
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.


Depends on #6715 and #6716, which aren't merged yet; their commits show up here until they are.
WalReceiverStatusIntervalorWalReceiverTimeoutof zero made the feedback timers fire over and over, which flooded the server with status updates (for the timeout with reply requests, which the server answered every time). Like wal_receiver_status_interval and wal_receiver_timeout in PostgreSQL, zero now disables them, and so do intervals longer than a timer supports (about 49 days), which failed once the server had switched to copy mode. Positive intervals below a millisecond fire every millisecond. Waiting for the end of START_REPLICATION after CopyDone is bounded for such long timeouts too.Timeout.InfiniteTimeSpanare now rejected by the setters. Before, starting replication failed with them once the server had switched to copy mode, which left the connection unusable.SendStatusUpdatelogged write failures without reporting them, so callers that push their flush position (e.g. for synchronous replication) couldn't tell that it never reached the server. It now throws them; like any failed write, they break the connection. A status update that waited for one that broke the connection fails with InvalidOperationException instead of a NullReferenceException, and so does one after the stream ended. The reply to a keepalive also reports its failure, through the stream, instead of a NullReferenceException at the next read.How a real server gets there
On PostgreSQL 18.6 and 14.24, main against this PR:
WalReceiverStatusIntervalorWalReceiverTimeouttoTimeSpan.Zeroto switch it off, which is what 0 means for PostgreSQL's own settings; no server setting is involved. With a zero status interval, the walsender logged 100,556 status updates in 2 s. With a zero timeout, the client sent about 69,000 reply-requesting updates per second while the consumer held a message, and 224,473 keepalives came back during 1 s of reading. With this PR there were none.TimeSpan.MaxValueas .NET's "infinite". On main the firstMoveNextAsyncthrew ArgumentOutOfRangeException from the Timer constructor after the server had entered copy mode, the next IDENTIFY_SYSTEM failed with "Received backend message CopyData while expecting RowDescriptionMessage", and the server logged FATAL "invalid standby message type". With this PR the setter throws for -1 s, and withTimeSpan.MaxValuethe timer is off, and streaming and IDENTIFY_SYSTEM work.SendStatusUpdate: the server closes the connection while the consumer holds a message, e.g. because wal_sender_timeout passed without a message from the client, which can happen with a busy consumer when it is shorter thanWalReceiverStatusInterval(CI uses 3 s; Npgsql's default interval is 10 s), or throughpg_terminate_backend, a shutdown or a network failure. The consumer then pushes its position withSetReplicationStatusandSendStatusUpdate. Main returned normally and only logged the failure (event 50103); this PR throws NpgsqlException with the IOException inside.SendStatusUpdatefrom two threads, or together with Npgsql's keepalive reply or timers. Forced with a suspended walsender, so that the first write blocked and the second update waited: main returned normally from both calls and only logged an IOException and a NullReferenceException; with this PR the first call threw the write failure and the second InvalidOperationException. Without forcing, the window is the duration of one failing write.MoveNextAsyncthrew NullReferenceException; this PR throws NpgsqlException with the IOException inside, and the connection is broken.Tests
ReplicationFeedbackMockTests(8 cases, mock): all of them fail on #6716's code. #6630's live testSendStatusUpdate_racing_replication_teardown_throws_InvalidOperationExceptionpasses on top of this PR.For the reviewer
SendStatusUpdatethrows write failures.SendStatusUpdateracing the end of a stream);SendFeedback's newthrowOnFailurereplaces its OperationCanceledException catch.Dependencies and merge order
SendStatusUpdatethrew a write failure, the consumer's nextMoveNextAsyncthrows a NullReferenceException, as it already does on main after a failed status update; that PR fixes it.Fixes #6698