ready_mutex to preempt() and wakeup()