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

Harden scheduler to converge on common SchedulingPlan #2299

Merged
merged 1 commit into from
Nov 22, 2024

Commits on Nov 22, 2024

  1. Harden scheduler to converge on common SchedulingPlan

    This commit adds an periodic SchedulingPlan check which allows multiple
    Schedulers to eventually agree on the same SchedulingPlan. Before, it could
    happen that there are two Schedulers that have different SchedulingPlans
    (e.g. one still having an older version). If those plans are contradicting,
    then the Schedulers would instruct nodes differently. The periodic update
    helps preventing this situation.
    
    Note: This logic can be removed once we allow the scheduler to accept
    equivalent partition processor placements. See restatedev#2242.
    tillrohrmann committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    d169372 View commit details
    Browse the repository at this point in the history