-
Notifications
You must be signed in to change notification settings - Fork 168
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
tracker: track in-flight commit index #171
Conversation
@serathius Can I ask you to review this too? CRDB reviewers are OOO this week. |
e8365b4
to
055a4d4
Compare
02ac83b
to
0611757
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm
@serathius Could you take a look please? |
Yes, it's definitely better to have a second review for any behaviour or logic change. We need to minimize any risk as much as possible. For any mechanical change, such as just renaming or simple code refactor, it's OK to merge with only one approval. Such as #172
It's in my to-do list. Will take a look later. |
@serathius ping |
7e87703
to
0611757
Compare
0611757
to
508fcce
Compare
508fcce
to
8b05a9d
Compare
Please also rebase this PR to resolve the workflow failure. |
When we send a snapshot, this is equivalent to sending all entries up to the snapshot's index. Correspondingly, we update the Next index to reflect this in-flight state. Signed-off-by: Pavel Kalinnikov <[email protected]>
This commit adds a Progress.pendingCommit field tracking the highest commit index <= Next-1 which the leader sent to the follower. It is used to distinguish cases when a commit index update needs or doesn't need to be sent to a follower. Signed-off-by: Pavel Kalinnikov <[email protected]>
Signed-off-by: Pavel Kalinnikov <[email protected]>
8b05a9d
to
0f9fe52
Compare
@ahrtr done |
This commit adds a
Progress.sentCommit
field tracking the highest commit index which the leader sent to the follower. It is used to distinguish cases when a commit index update needs or doesn't need to be sent to a follower.Touches #131