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.

Sign up for GitHub

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

Jump to bottom

Lazily remove exited tasks from run queue #1095

Open
wants to merge 1 commit into
base: theseus_main
Choose a base branch
from
Open

Lazily remove exited tasks from run queue #1095

wants to merge 1 commit into from

Commits on Jan 10, 2024

  1. Lazily remove exited tasks from run queue in scheduler 

    Avoids locking all the schedulers on task exit.

This PR also technically changes the round robin scheduler algorithm, as
blocked tasks are now moved to the end of the run queue. Previously, the
blocked tasks would be kept in place, aside from the task at the front of
the queue which would be switched with the next runnable task using
`swap_remove_front`.

Signed-off-by: Klim Tsoutsman <[email protected]>
    @tsoutsman
    tsoutsman committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    237a8c7 View commit details
    Browse the repository at this point in the history