Hola en la solución del ejercicio de monitores no entiendo cómo se controla el orden de bajada. Deberian bajar en el mismo orden que subieron pero no veo en el codigo que eso este implementado. Yo lo pensé haciendo un arreglo de condiciones pero no sé cómo estaría eso.
Lo único que le encuentro sentido en la solución es que los signal respete el orden en que se hicieron los wait para permitirles bajar pero tengo entendido que eso no es así.