-
Notifications
You must be signed in to change notification settings - Fork 169
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add option to accept any snapshot that allows replication
A leader will not take into account snapshots reported by a follower unless they match or exceed the tracked PendingSnapshot index (which is the leader's last indexat the time of requesting the snapshot). This is too inflexible: the leader should take into account any snapshot that reconnects the follower to its log. This PR adds a config option ResumeReplicateBelowPendingSnapshot that enables this behavior. In doing so, it addresses long-standing problems that we've encountered in CockroachDB. Unless you create the snapshot immediately and locally when raft emits an MsgSnap, it's difficult/impossible to later synthesize a snapshot at the requested index. It is possible to get one above the requested index which raft always accepted, but CockroachDB delegates snapshots to followers who might be behind on applying the log, and it is awkward to have to wait for log application to send the snapshot just to satisfy an overly strict condition in raft. Additionally, CockroachDB also sends snapshots preemptively when adding a new replica since there are qualitative differences between an initial snapshot and one needed to reconnect to the log and one does not want to wait for raft to round-trip to the follower to realize that a snapshot is needed. In this case, the sent snapshot is commonly behind the PendingSnapshot since the leader transitions the follower into StateProbe when a snapshot is already in flight. Touches cockroachdb/cockroach#84242. Touches cockroachdb/cockroach#87553. Touches cockroachdb/cockroach#87554. Touches cockroachdb/cockroach#97971. Touches cockroachdb/cockroach#114349. See also https://github.com/cockroachdb/cockroach/blob/2b91c3829270eb512c5380201c26a3d838fc567a/pkg/kv/kvserver/raft_snapshot_queue.go#L131-L143. Signed-off-by: Erik Grinaker <[email protected]> Signed-off-by: Tobias Grieger <[email protected]>
- Loading branch information
1 parent
1595d77
commit 226ef1c
Showing
4 changed files
with
230 additions
and
32 deletions.
There are no files selected for viewing
This file contains 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
This file contains 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
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,169 @@ | ||
# This is a variant of snapshot_reject_via_app_resp in which the snapshot that | ||
# is being sent is behind the PendingSnapshot index tracked by the leader. The | ||
# test verifies that the leader will move the follower back to StateReplicate | ||
# when ResumeReplicateBelowPendingSnapshot is enabled, since it is able to catch | ||
# up the follower from the snapshot's index. | ||
# | ||
# Any changes to snapshot_reject_via_app_resp should also be made here. | ||
|
||
# Turn off output during the setup of the test. | ||
log-level none | ||
---- | ||
ok | ||
|
||
# Start with three nodes, but the third is disconnected from the log. | ||
# Allow resuming replication below PendingSnapshot. | ||
add-nodes 2 voters=(1,2,3) index=10 resume-replicate-below-pending-snapshot=true | ||
---- | ||
ok | ||
|
||
add-nodes 1 voters=(1,2,3) index=5 | ||
---- | ||
ok | ||
|
||
# Elect 1 as leader. We first stabilize 3 to process the vote, then stabilize 1 | ||
# and 2 to complete the leader election. We don't stabilize 3 after the | ||
# election, so that it does not receive and process any MsgApp yet. | ||
campaign 1 | ||
---- | ||
ok | ||
|
||
process-ready 1 | ||
---- | ||
ok | ||
|
||
stabilize 3 | ||
---- | ||
ok | ||
|
||
stabilize 1 2 | ||
---- | ||
ok | ||
|
||
log-level debug | ||
---- | ||
ok | ||
|
||
# We now have a leader at index 11 (it appended an empty entry when elected). 3 | ||
# is still at index 5, and has not received any MsgApp from the leader yet. | ||
raft-state | ||
---- | ||
1: StateLeader (Voter) Term:1 Lead:1 | ||
2: StateFollower (Voter) Term:1 Lead:1 | ||
3: StateFollower (Voter) Term:1 Lead:0 | ||
|
||
status 1 | ||
---- | ||
1: StateReplicate match=11 next=12 | ||
2: StateReplicate match=11 next=12 | ||
3: StateProbe match=0 next=11 paused inactive | ||
|
||
raft-log 3 | ||
---- | ||
log is empty: first index=6, last index=5 | ||
|
||
# Send a manual snapshot from 1 to 3, which will be at index 11. This snapshot | ||
# does not move 3 to StateSnapshot. | ||
send-snapshot 1 3 | ||
---- | ||
1->3 MsgSnap Term:1 Log:0/0 Snapshot: Index:11 Term:1 ConfState:Voters:[1 2 3] VotersOutgoing:[] Learners:[] LearnersNext:[] AutoLeave:false | ||
|
||
# Propose and commit an additional entry, which makes the leader's | ||
# last index 12, beyond the snapshot it sent at index 11. | ||
log-level none | ||
---- | ||
ok | ||
|
||
propose 1 "foo" | ||
---- | ||
ok | ||
|
||
stabilize 1 2 | ||
---- | ||
ok | ||
|
||
log-level debug | ||
---- | ||
ok | ||
|
||
status 1 | ||
---- | ||
1: StateReplicate match=12 next=13 | ||
2: StateReplicate match=12 next=13 | ||
3: StateProbe match=0 next=11 paused inactive | ||
|
||
# 3 now gets the first MsgApp the leader originally sent, trying to append entry | ||
# 11 but this is rejected because the follower's log started at index 5. | ||
deliver-msgs 3 type=MsgApp | ||
---- | ||
1->3 MsgApp Term:1 Log:1/10 Commit:10 Entries:[1/11 EntryNormal ""] | ||
DEBUG 3 [logterm: 0, index: 10] rejected MsgApp [logterm: 1, index: 10] from 1 | ||
|
||
# Note below that the RejectionHint is 5, which is below the first index 10 of the | ||
# leader. Once the leader receives this, it will move 3 into StateSnapshot with | ||
# PendingSnapshot=lastIndex=12. | ||
process-ready 3 | ||
---- | ||
Ready MustSync=false: | ||
Lead:1 State:StateFollower | ||
Messages: | ||
3->1 MsgAppResp Term:1 Log:1/10 Rejected (Hint: 5) | ||
|
||
# 3 receives and applies the snapshot, but doesn't respond with MsgAppResp yet. | ||
deliver-msgs 3 | ||
---- | ||
1->3 MsgSnap Term:1 Log:0/0 Snapshot: Index:11 Term:1 ConfState:Voters:[1 2 3] VotersOutgoing:[] Learners:[] LearnersNext:[] AutoLeave:false | ||
INFO log [committed=5, applied=5, applying=5, unstable.offset=6, unstable.offsetInProgress=6, len(unstable.Entries)=0] starts to restore snapshot [index: 11, term: 1] | ||
INFO 3 switched to configuration voters=(1 2 3) | ||
INFO 3 [commit: 11, lastindex: 11, lastterm: 1] restored snapshot [index: 11, term: 1] | ||
INFO 3 [commit: 11] restored snapshot [index: 11, term: 1] | ||
|
||
|
||
# 1 sees the MsgApp rejection and asks for a snapshot at index 12 (which is 1's | ||
# current last index). | ||
stabilize 1 | ||
---- | ||
> 1 receiving messages | ||
3->1 MsgAppResp Term:1 Log:1/10 Rejected (Hint: 5) | ||
DEBUG 1 received MsgAppResp(rejected, hint: (index 5, term 1)) from 3 for index 10 | ||
DEBUG 1 decreased progress of 3 to [StateProbe match=0 next=6] | ||
DEBUG 1 [firstindex: 11, commit: 12] sent snapshot[index: 12, term: 1] to 3 [StateProbe match=0 next=6] | ||
DEBUG 1 paused sending replication messages to 3 [StateSnapshot match=0 next=6 paused pendingSnap=12] | ||
> 1 handling Ready | ||
Ready MustSync=false: | ||
Messages: | ||
1->3 MsgSnap Term:1 Log:0/0 Snapshot: Index:12 Term:1 ConfState:Voters:[1 2 3] VotersOutgoing:[] Learners:[] LearnersNext:[] AutoLeave:false | ||
|
||
# Drop the extra MsgSnap(index=12) that 1 just sent, to keep the test tidy. | ||
deliver-msgs drop=(3) | ||
---- | ||
dropped: 1->3 MsgSnap Term:1 Log:0/0 Snapshot: Index:12 Term:1 ConfState:Voters:[1 2 3] VotersOutgoing:[] Learners:[] LearnersNext:[] AutoLeave:false | ||
|
||
# 3 sends the affirmative MsgAppResp that resulted from applying the snapshot | ||
# at index 11. | ||
stabilize 3 | ||
---- | ||
> 3 handling Ready | ||
Ready MustSync=false: | ||
HardState Term:1 Vote:1 Commit:11 | ||
Snapshot Index:11 Term:1 ConfState:Voters:[1 2 3] VotersOutgoing:[] Learners:[] LearnersNext:[] AutoLeave:false | ||
Messages: | ||
3->1 MsgAppResp Term:1 Log:0/11 | ||
|
||
stabilize 1 | ||
---- | ||
> 1 receiving messages | ||
3->1 MsgAppResp Term:1 Log:0/11 | ||
DEBUG 1 recovered from needing snapshot, resumed sending replication messages to 3 [StateSnapshot match=11 next=12 paused pendingSnap=12] | ||
> 1 handling Ready | ||
Ready MustSync=false: | ||
Messages: | ||
1->3 MsgApp Term:1 Log:1/11 Commit:12 Entries:[1/12 EntryNormal "\"foo\""] | ||
|
||
# 3 is in StateReplicate thanks to receiving the snapshot at index 11. | ||
# This is despite its PendingSnapshot having been 12. | ||
status 1 | ||
---- | ||
1: StateReplicate match=12 next=13 | ||
2: StateReplicate match=12 next=13 | ||
3: StateReplicate match=11 next=13 inflight=1 |
This file contains 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