Skip to content
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

Add a new API to get the index at becoming leader #444

Merged
merged 1 commit into from
Jun 28, 2023

Conversation

greensky00
Copy link
Contributor

  • When a new leader is elected, the new leader's state machine may not fully catch up with the latest log index. In such a case, there will be a small time window for the leader's state machine to return stale data while it lags behind the latest log index.

  • To check whether the state machine is lagging behind the latest log index when it became a leader, added a new API.

* When a new leader is elected, the new leader's state machine may not
fully catch up with the latest log index. In such a case, there will be
a small time window for the leader's state machine to return stale data
while it lags behind the latest log index.

* To check whether the state machine is lagging behind the latest log
index when it became a leader, added a new API.
@greensky00 greensky00 merged commit 12af117 into eBay:master Jun 28, 2023
1 check passed
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.

1 participant