Consistencia
Estricta
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
Consistencia
Causal
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.
La
condición a cumplir para que unos datos sean causalmente consistentes es:
Escrituras
que están potencialmente relacionadas en forma causal deben ser vistas por
todos los procesos en el mismo orden. Escrituras concurrentes pueden ser vistas
en un orden diferente sobre diferentes máquinas.
Consistencia
Débil
Los
accesos a variables de sincronización asociadas con los datos almacenados son
secuencialmente consistentes.
Propiedades
No
se permite operación sobre una variable de sincronización hasta que todas las
escrituras previas de hayan completado.
Consistencia
liberación (Reléase)
Se
basa en el supuesto de que los accesos a variables compartidas se protegen en
secciones críticas empleando primitivas de sincronización, como por ejemplo
locks.
No hay comentarios:
Publicar un comentario