[fix][broker] Prevent duplicate geo-replicated messages after target topic reload#25860
[fix][broker] Prevent duplicate geo-replicated messages after target topic reload#25860void-ptr974 wants to merge 5 commits into
Conversation
665700d to
18bde31
Compare
|
all CI pass in my local repo: https://github.com/void-ptr974/pulsar/actions/runs/26407472425 |
|
Hi @poorbarcode, this PR touches geo-replication V2 dedup watermark recovery and cleanup behavior. Since it is close to the geo-replicator lifecycle work you have been looking at, could you help take a look when you have time? Thanks! |
poorbarcode
left a comment
There was a problem hiding this comment.
The geo V2 watermark is not recovered from replayed target entries
When deduplication is enabled or a target topic is loaded, the broker restores dedup state from the pulsar.dedup cursor snapshot and then replays entries after that snapshot.
The existing replay path restores normal producer sequence ids from message metadata, but it does not rebuild geo V2 watermark state from replicated messages. If the target topic is unloaded after replicated messages are persisted but before the latest dedup snapshot includes their source positions, the in-memory geo watermark is lost.
If the source replicator later reconnects and replays from its replication cursor, the target broker can fail to identify those source entries as duplicates and persist them again.
This is a bug, and was fixed by the current PR
The geo V2 watermark must be handled atomically
A geo V2 watermark is a pair: source ledger id and source entry id. Treating the two values as independent mutable states can expose a mixed pair to duplicate checks or snapshots, for example a new ledger id combined with an old entry id.
Such a mixed pair does not represent a real source position. If it is snapshotted and later recovered, the target can either move the watermark too far forward and drop valid replayed source entries, or move it backward and allow duplicates.
The situation will never happen, and the current PR did not fixed such issue
Replay recovery must never move the watermark backward
Source-position replay is expected during reconnects and failovers. When rebuilding the watermark from target entries, older source positions can appear after newer positions in recovery windows. The recovered watermark must therefore keep the maximum source position seen so far instead of blindly overwriting the current value.
The improvement is meaningless; once such an issue occurs, we need to fix the place that makes it "older source positions can appear after newer positions ", rather than ordering when executing replayCursor
The geo V2 watermark can be removed by normal producer inactivity cleanup
Normal producer dedup state can be purged after producer inactivity. Geo V2 watermark state has a different lifecycle: it is a source-position checkpoint for replication, not the lifecycle state of the replicator producer.
The source replicator may disconnect, reconnect, or fail over and replay the same source entries from its replication cursor. If the target has purged the geo watermark because the replicator producer was inactive, those replayed source entries can be accepted and written again.
It is a real issue, but the current PR fixed the issue:
- let repl deduplication status will not be limited by the configuration
brokerDeduplicationMaxNumberOfProducers - Do not clear the repl deduplication status when purging inactive producers
| publishContext.setProperty(MSG_PROP_REPL_SOURCE_POSITION, positionPair); | ||
| break; | ||
| } catch (NumberFormatException e) { | ||
| // Log below. |
There was a problem hiding this comment.
Seems logging below equals logging here, why not log here?
There was a problem hiding this comment.
Done. The NumberFormatException branch now logs immediately and returns, avoiding the duplicate fall-through log.
| ReplSourcePosition position = new ReplSourcePosition(ledgerId, entryId); | ||
| highestReplPositionPushed.put(producerName, position); | ||
| highestReplPositionPersisted.put(producerName, position); | ||
| } |
There was a problem hiding this comment.
It is an unexpected situation that entryId does not exist. We need to print an error log
There was a problem hiding this comment.
Done. Added error logging for incomplete geo-replication watermark snapshot pairs when either _LID or _EID is missing.
| final var producerName = metadata.getProducerName(); | ||
| // Rebuild replication watermarks from entries written after the last dedup snapshot. | ||
| recoverReplWatermarkFromMetadata(metadata); | ||
| final var sequenceId = Math.max(metadata.getHighestSequenceId(), metadata.getSequenceId()); |
There was a problem hiding this comment.
Since we already use the new collections highestReplPositionPushed and highestReplPositionPersisted to trace the deduplication key, we should not put them into highestSequencedPushed and highestSequencedPersisted anymore.
is marker: it should be traced byhighestSequencedPushedandhighestSequencedPersisted- otherwise: it should be traced by
highestReplPositionPushedandhighestReplPositionPersisted
There was a problem hiding this comment.
Done. Replay now restores marker/normal messages into highestSequenced* and replicated geo/shadow messages into highestReplPosition*.
| snapshot.put(producerName + REPL_LEDGER_ID_SUFFIX, replSourcePosition.ledgerId()); | ||
| snapshot.put(producerName + REPL_ENTRY_ID_SUFFIX, replSourcePosition.entryId()); | ||
| }); | ||
| int[] normalProducerCount = new int[1]; |
There was a problem hiding this comment.
Rather than using int[1], using int is better
There was a problem hiding this comment.
Done. Changed this to a plain int with a normal loop.
| } | ||
|
|
||
| private void recordReplWatermarkPersisted(String producerName, ReplSourcePosition replSourcePosition) { | ||
| highestReplPositionPersisted.merge(producerName, replSourcePosition, ReplSourcePosition::max); |
There was a problem hiding this comment.
If sorting is required here, it indicates that there are issues with other codes.
There was a problem hiding this comment.
Done. Removed the watermark ordering/max merge path and now records the recovered watermark directly.
| } | ||
|
|
||
| @VisibleForTesting | ||
| record ReplSourcePosition(long ledgerId, long entryId) implements Comparable<ReplSourcePosition> { |
There was a problem hiding this comment.
Using this object enhances the readability and maintainability of the code, but it also increases the GC pressure. I feel that this class is unnecessary
There was a problem hiding this comment.
Adjusted. The hot path now uses long[] for parsed source positions; ReplSourcePosition remains only as the map value for the persisted watermark pair.
| return MessageDupStatus.Unknown; | ||
| } | ||
| private void recoverReplWatermark(String producerName, ReplSourcePosition replSourcePosition) { | ||
| highestReplPositionPushed.merge(producerName, replSourcePosition, ReplSourcePosition::max); |
There was a problem hiding this comment.
If sorting is required here, it indicates that there are issues with other codes.
There was a problem hiding this comment.
Done. Removed the max/ordering merge logic and now stores the recovered watermark directly.
|
|
||
| String producerName = publishContext.getProducerName(); | ||
| ReplDedupCheck check = new ReplDedupCheck(); | ||
| highestReplPositionPushed.compute(producerName, (__, lastPushed) -> { |
There was a problem hiding this comment.
Almost all the changes were made around the producer's name:
Before
- Cached
{producerName} + suffix - Stored
{producerName} + suffix
After
- Cached
{producerName} - Stored
{producerName} + suffix
I consider the new solution to be better, which improves the performance.
There was a problem hiding this comment.
Done. The in-memory watermark cache now uses the base producer name, while snapshot keys keep the _LID / _EID suffixes.
| // Reconnect the source replicator. It replays from the old replication cursor and target must deduplicate. | ||
| stuckSendReceipt.set(false); | ||
| Awaitility.await().atMost(Duration.ofSeconds(30)).untilAsserted(() -> { | ||
| assertNotNull(replicator.producer); |
There was a problem hiding this comment.
Since you called topics unload, the object replicator will be rebuilt; the verification here is meaningless
There was a problem hiding this comment.
Done. The test now re-fetches the current source topic and replicator after reload before checking the connection.
| replicatorClientCnx.get().ctx().channel().close(); | ||
|
|
||
| Awaitility.await().atMost(Duration.ofSeconds(30)).untilAsserted(() -> { | ||
| assertEquals(replicator.getCursor().getNumberOfEntriesInBacklog(true), 0); |
There was a problem hiding this comment.
Since you called topics unload, the object replicator will be rebuilt; the verification here is meaningless
There was a problem hiding this comment.
Done. The backlog check now re-fetches the current source topic and replicator before asserting.
|
Pushed
|
Fixes #25861
Motivation
This fixes correctness issues in persistent geo-replication V2 deduplication. These issues are in the core replication data path and can produce duplicate messages on the target cluster during normal recovery/failover paths.
Geo-replication V2 deduplication uses the source topic position as the target-side dedup watermark. For a replicated message, the source replicator adds
__MSG_PROP_REPL_SOURCE_POSITION=<source-ledger-id>:<source-entry-id>, and the target broker stores the latest replicated source position as the dedup watermark for that replicator producer.This state is not normal producer sequence state. It is the target-side checkpoint used to identify whether a replayed source entry has already been persisted.
There are four related problems in the current handling of this watermark:
The geo V2 watermark is not recovered from replayed target entries
When deduplication is enabled or a target topic is loaded, the broker restores dedup state from the
pulsar.dedupcursor snapshot and then replays entries after that snapshot.The existing replay path restores normal producer sequence ids from message metadata, but it does not rebuild geo V2 watermark state from replicated messages. If the target topic is unloaded after replicated messages are persisted but before the latest dedup snapshot includes their source positions, the in-memory geo watermark is lost.
If the source replicator later reconnects and replays from its replication cursor, the target broker can fail to identify those source entries as duplicates and persist them again.
The geo V2 watermark must be handled atomically
A geo V2 watermark is a pair: source ledger id and source entry id. Treating the two values as independent mutable states can expose a mixed pair to duplicate checks or snapshots, for example a new ledger id combined with an old entry id.
Such a mixed pair does not represent a real source position. If it is snapshotted and later recovered, the target can either move the watermark too far forward and drop valid replayed source entries, or move it backward and allow duplicates.
Replay recovery must never move the watermark backward
Source-position replay is expected during reconnects and failovers. When rebuilding the watermark from target entries, older source positions can appear after newer positions in recovery windows. The recovered watermark must therefore keep the maximum source position seen so far instead of blindly overwriting the current value.
The geo V2 watermark can be removed by normal producer inactivity cleanup
Normal producer dedup state can be purged after producer inactivity. Geo V2 watermark state has a different lifecycle: it is a source-position checkpoint for replication, not the lifecycle state of the replicator producer.
The source replicator may disconnect, reconnect, or fail over and replay the same source entries from its replication cursor. If the target has purged the geo watermark because the replicator producer was inactive, those replayed source entries can be accepted and written again.
A concrete failure window is:
This does not require client misuse or corrupted input. Source cursor replay is an expected recovery behavior, so target-side geo dedup state must survive topic reload and producer inactivity cleanup.
Modifications
replicatedFromand__MSG_PROP_REPL_SOURCE_POSITIONfrom persisted replicated messages._LID/_EIDmap entries.ConcurrentHashMap.computefor the geo V2 pushed watermark so duplicate checks and watermark advancement are atomic per replicator producer without taking a global lock.replicatedFrom._LID/_EIDpairs in dedup snapshots. Replication watermarks are expected to be small in number, so the snapshot keeps them before applying the normal-producer snapshot limit.Performance impact
The geo V2 publish path now allocates one small immutable source-position object for replicated messages and uses
ConcurrentHashMap.computescoped to the current replicator producer. This avoids a global lock and only serializes updates for the same replication producer, which is the state that must be ordered for correctness.Snapshot cost remains proportional to the number of active dedup states. Replication watermarks are expected to be bounded by the number of geo/shadow replication producers, not by application producer count, so storing all complete replication watermark pairs should have negligible overhead compared with normal producer dedup state.
Verifying this change
This change added tests and can be verified as follows:
Additional local checks:
Result:
BUILD SUCCESSFUL.Does this pull request potentially affect one of the following parts: