Buenas,
Cuando dice: "Realizar un análisis completo del algoritmo de Dekker a los efectos de demostrar que resuelve correctamente el problema de la mutua exclusión". ¿Con análisis completo se refiere a realizar el entrelazado?
Gracias
Hola
¿Esto implicaría hacer el entrelazado para todos los casos? Esto es, para los valores iniciales de banderas FF, TF, FT, TT, para turno 1 y turno 2. ¿Hay alguna de estos casos que se descartaría, o tendríamos que hacer los ocho entrelazados?
Gracias,
Romina
¿Esto implicaría hacer el entrelazado para todos los casos? Esto es, para los valores iniciales de banderas FF, TF, FT, TT, para turno 1 y turno 2. ¿Hay alguna de estos casos que se descartaría, o tendríamos que hacer los ocho entrelazados?
Gracias,
Romina
Me sumo a la duda.
Gracias.
Gracias.
Buenas, me sumo a la duda.
Saludos
Saludos
En teoría sí hay que hacerlos todos pero en la práctica son casi iguales. Desde el momento en que llegas al mismo estado en dos diagramas todo lo demás es igual.
Con el mismo estado quiero decir que llegas al mismo cuadro con los mismos valores de las variables.
Con el mismo estado quiero decir que llegas al mismo cuadro con los mismos valores de las variables.