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 if (readyList.empty())
17 current = readyList.front();
18 readyList.pop_front();
23 Thread *Scheduler::get_current_thread(void)