¿Qué es un modelo de consistencia?

¿Qué es un modelo de consistencia?

Es esencialmente un conjunto de reglas que deben de seguir tanto el software como la memoria, en donde el software acuerda obedecer ciertas reglas, por otra parte la memoria  debe trabajar correctamente siguiendo las reglas acordadas entre estos, pero si el software no cumple con  las reglas todo termina ya que no se garantiza que la memoria haya hecho una operación correcta.

A continuación se describen algunos modelos de consistencia:

Estricta

Este modelo se define mediante la siguiente condición:

Cualquier lectura de una localidad de memoria X regresa el valor guardado por la operación de escritura más reciente en X.

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

a) Un dato almacenado secuencialmente consistente.

b) Un dato almacenado que no es secuencialmente consistente.

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.

Esta secuencia es permitida con un almacenamiento causalmente consistente, pero no con un almacenamiento secuencialmente consistente o con un almacenamiento consistente en forma estricta.

https://sites.google.com/site/sistoperunidad4y5/home/4-memoria-compartida-distribuida/4-1-configuraciones-memoria-compartida-distribuida/4-1-1-de-circuitos-basados-en-bus-anillo-o-con-conmutador/4-2-modelos-de-consistencia/4-2-1-estricta-causal-secuencial-debil-de-liberacion-y-de-entrada

https://issuu.com/arcangel22/docs/modelos_de_consistencias

https://sites.google.com/site/sistemasoperativospaty/unidad-4/42-modelos-de-consistencia

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