+
+void Scheduler::print()
+{
+ if (current)
+ printf("Current thread: %d\n", current->get_id());
+ else
+ printf("No current thread\n");
+ printf("Num. threads in ready list: %ld\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());
+}