readyqueue is implemented with ordering based on PCB.tau