Buenas, tengo una duda sobre la solución del proceso Mesa().
El proceso ejecuta las siguientes instrucciones:
while(true) do
mb_atencion.receive();
mb_fila_prioridad.receive(esperando);
En la solución solo se ejecuta la instruccion ¨mb_fila_prioridad.send(espeando);¨ luego de que un votante termino de votar.
Segun entiendo el proceso quedaria bloqueado hasta que otro proceso ejecute la instruccion ¨mb_fila_prioridad.send(espeando);¨, pero esta solo se ejecuta una vez que esta habilitado para votar. Esto no generaría un deadlock?