¿Cómo se bloquea al intentar liberar un semáforo (leer de un canal) si no hay elementos en el canal?