Hola,
Queria saber que quiere decir que un programa sea consistente?
Supongo que quiere decir que siempre devuelva el mismo resultado para cualquier orden de ejecucion concurrente.
Otra duda sobre el tema.. Cuando no se especifica lo que el programa tiene que hacer, como sabemos si nuestra solucion es consistente o no?
Por ej. parcial 2013, Ej 3.1
Gracias
Martín,
Que un programa sea consistente viene a ser que el resultado no dependa de la planificación particular que se haga en cierta ejecución. En particular para que sea consistente tenes que asegurar que a lo máximo haya 1 proceso en cada región crítica. Aún cuando no sepas bien qué es lo que quiere hacer un programa igualmente podes asegurar que se implementen correctamente las regiones críticas relativas al manejo de variables globales (en un programa puede haber otras regiones críticas aunque allí si precisás la especificación de requerimientos del programa).
Saludos,
Gustavo