Doesn't /* * Expects that only one process can call wakeup for any given Rendez */ int wakeup(Rendez *r) { mean that process p cannot continue after the sleep?