/** Determine the next thread to run, then dispatch the CPU to the thread using <tt>run()</tt>. */
private static void runNextThread() {
KThread nextThread = readyQueue.nextThread();
if (nextThread == null) nextThread = idleThread;
nextThread.run();
}
