El modelo de
consistencia más restrictivo es llamado consistencia estricta y es definido por
la siguiente condición Cualquier lectura sobre un item de dato x retorna un
valor correspondiente con la más reciente escritura sobre x
a) Un almacenamiento
estrictamente consistente.
b) Un almacenamiento
que no es estrictamente consistente.
Consistencia Causal
El modelo de
consistencia causal (Hutto and Ahamad, 1990) es un debilitamiento de la
consistencia secuencial. Se hace una diferenciación entre eventos que están
potencialmente relacionados en forma causal y aquellos que no. Las operaciones
que no están causalmente relacionadas se dicen concurrentes.
No hay comentarios:
Publicar un comentario