6 void Scheduler::add_thread(Thread *t)
8 DEBUG("thread %d\n", t->get_id());
9 readyList.push_back(t);
12 Thread *Scheduler::next_thread(void)
14 Thread *t = model->schedule_next_thread();
20 if (readyList.empty())
23 current = readyList.front();
24 readyList.pop_front();
29 Thread *Scheduler::get_current_thread(void)