readyList.push_back(t);
}
-Thread *Scheduler::next_thread(void)
+void Scheduler::remove_thread(Thread *t)
+{
+ if (current == t)
+ current = NULL;
+ else
+ readyList.remove(t);
+}
+
+Thread * Scheduler::next_thread(void)
{
Thread *t = model->schedule_next_thread();
return t;
}
-Thread *Scheduler::get_current_thread(void)
+Thread * Scheduler::get_current_thread(void)
{
return current;
}