diff --git a/src/backend/scheduler.cc b/src/backend/scheduler.cc index 5d59398..e05d120 100644 --- a/src/backend/scheduler.cc +++ b/src/backend/scheduler.cc @@ -597,6 +597,7 @@ Scheduler::step_forward(History& history, CPUPolicy& cpu_policy, ResourcePolicy& else { running_thread->set_last_release(current_instant); + _ready_queue->erase_first(); running_thread = NULL; alive_threads--; // Proceed to select a new running thread, below