En general nunca hay ninguna garantía de que un proceso que se despierte empiece a ejecutar inmediatamente. Siempre lo que se hace es cambiarle el estado a listo y luego depende del planificador cuando se va a ejecutar.
Aparte de esto, para el caso de los monitores, depende de la implementación del monitor lo que se hace al hacer un signal. Fijate la diapositiva 8 y siguientes de la clase de monitores.