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;
}
void Scheduler::print()
{
if (current)
- printf("Current thread: %d\n", current->get_id());
+ DEBUG("Current thread: %d\n", current->get_id());
else
- printf("No current thread\n");
- printf("Num. threads in ready list: %ld\n", readyList.size());
+ DEBUG("No current thread\n");
+ DEBUG("Num. threads in ready list: %zu\n", readyList.size());
std::list<Thread *>::iterator it;
for (it = readyList.begin(); it != readyList.end(); it++)
- printf("In ready list: thread %d\n", (*it)->get_id());
+ DEBUG("In ready list: thread %d\n", (*it)->get_id());
}