Buenas, tengo un par de dudas con respecto a este ejercicio
Primero, se menciona que no debe ocurrir que haya colados en las filas de la mesa y del cuarto secreto, sin embargo, creo que esta secuencia de ejecución permite eso en la solución:
P1 está ejecutando Mesa
P2 ejecuta Votante (y se valida su documento) y después de ejecutar tomar sobre, pierde el procesador
P1 acepta a otro Votante (P3)
P3 recibe su validación, no pierde el procesador, tomando el sobre y haciendo el recieve de mb_cuarto_secreto
Entiendo que en esta secuencia, P3 se le coló a P2
Y segundo, se utiliza mb_mutex para que no haya colados en la fila de votantes no?
Saludos