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