MODELOS DE CONSISTENCIA CENTRADOS EN LOS DATOS

MODELOS DE CONSISTENCIA

 

Un modelo de consistencia es esencialmente un contrato entre procesos y el almacenamiento de datos. Es decir: si los procesos acuerdan obedecer ciertas reglas, el almacenamiento promete trabajar correctamente.

Normalmente un proceso que realiza una operación de lectura espera que esa operación devuelva un valor que refleje el resultado de la última operación de escritura sobre el dato. 

En informática, hay una serie de posibles modelos de consistencia de datos.

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 ítem de dato X retorna un valor correspondiente con la más reciente escritura sobre X. 

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 quepueden existir escrituras y lecturas en memoria separadas por espacios mínimos de tiempo que no alcanzan a cumplir la condición exigida 

Consistencia secuencial: es una forma ligeramente más débil de la consistencia estricta. Satisface la siguiente condición:
El resultado de una ejecución es el mismo si las operaciones (lectura y escritura) de todos los procesos sobre el dato fueron ejecutadas en algún orden secuencial y las operaciones de cada proceso individual aparecen en esta operaciones de cada proceso individual aparecen en esta secuencia en el orden especificado por su programa.

Esto quiere decir que en este modelo sólo importa que los eventos generados por un programa sean vistos por otro en el mismo orden, sin importar que se intercalen con los eventos de otrosprogramas. 

Consistencia casual: Es un debilitamiento de la consistencia secuencial. Se hace una diferenciación entre eventos que están potencialmente relacionados en forma casual y aquellos que no. 

La condición a cumplir para que unos datos sean casualmente consistentes es:
Escrituras que están potencialmente relacionados en forma casual deben ser vistas por todos los procesos en el mismo orden.

 

Referencias:

http://www.buenastareas.com/ensayos/Modelos-De-Consistencia-Sistemas-Operativos/26214584.html

http://sistemasoperativosdistribuidoss.blogspot.mx/2012/05/modelos-de-consistencia.html

http://elrobertocarlosso2.blogspot.mx/2012/11/42-modelos-de-consistencia.html