Buenas,
Me parece que en la solución hay un error. Como los vecinos toman sol adentro del monitor, si llegan otros vecinos no pueden "entrar a esperar". Por ejemplo:
- Patio vacío → llega vecino a tomar sol → entra y toma sol
- Llega gato
- Llega perro
- Llega vecino
- El vecino que está tomando sol termina
- cantVecinosEsperandoTomarSol sigue siendo 0 (con el monitor ocupado nadie puede modificar esa variable interna)
- cantPerrosEsperando: idem
- Por ende, entra el primero que había solicitado el monitor, que es el gato (cuando la prioridad debería ser del vecino que quiere tomar sol, o en segundo lugar del perro)
El gato eventualmente va a salir porque ahora sí entran a ponerse en lista de espera el perro y el vecino. Si en vez de un gato hubiera entrado un perro, la cosa es más seria porque el vecino tiene que esperar que el perro eventualmente se vaya (no tiene plazo como el gato), lo que parece todavía más ridículo.
No sé si me estoy perdiendo algo...
Saludos