Consistencia Estricta


Está definido por la siguiente condición:
 

Cualquier lectura a una localidad de memoria x regresa el valor guardado
por la operación de escritura más reciente en x
Esta definición supone la existencia de un tiempo global absoluto (como en la física de Newton), para que la determinación del evento "más reciente" no sea ambigua.

Esta consistencia es típica de sistemas uniprocesador, donde nunca se pueden presentar dos eventos simultáneamente.

Sin embargo es prácticamente imposible de lograr en sistemas multiprocesador (distribuidos o no), debido a que pueden existir escrituras y lecturas en memoria separadas por espacios mínimos de tiempo que no alcanzan a cumplir la condición exigida

Por ejemplo: Supongamos que una máquina A escribe algo en su memoria en el momento T2 y existe una máquina B que envío un mensaje en el instante T1 para leer que había en la memoria antes del instante T2 . Si las máquinas están separadas una distancia de 3 metros y  T2 - T1 es de 1 nanosegundo, la señal de lectura debería viajar 10 veces más rápido que la velocidad de la luz para cumplir con la consistencia estricta, lo que es imposible

Consistencia secuencial

Anterior | Siguiente