un algoritmo puede solucionar correctamente el problema de la mutua exclusión independientemente de que pueda darse posposición indefinida de algún proceso, no?
En otras palabras, asegurar que no exista posposición indefinida es condición necesaria de la mutua exclusión?
gracias