QUE ES UN MODELO DE CONSISTENCIA

Un modelo de consistencia consiste en si en un contrato del almacenamiento de datos y los procesos que se realizan, los procesos siguen un conjunto de reglas. La duplicidad de los bloques en si aumenta su rendimiento, pero el inconveniente es que las diferentes copias producen inconsistencia.

La consistencia de los datos entre el programador y el sistema, es garantizar que el programador siga un protocolo, la memoria será estable  y el resultado de las operaciones de memoria será algo predecible.

MODELO DE CONSISTENCIA CENTRADA EN LOS DATOS

Modelo de consistencia estricta. Cada actualización es vista en forma instantánea por todos los nodos del sistema, aunque este sería el ideal para cualquier programador, en la práctica es imposible de implementar y mucho menos en una red de computadoras.

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.

Modelo de consistencia secuencial. Es demasiada estricta en la mayor parte de las ocasiones y presenta las siguientes condiciones:

·         Existe un entrelazado virtual para todas las operaciones de lectura y escritura de los procesos sobre una sola imagen virtual de la memoria, en este entrelazado se mantiene el orden de programa de cada proceso individual y cada proceso siempre lee el último valor escrito entrelazado.

·         Las operaciones de memoria pueden ser solapadas y algunas actualizaciones pueden ser ordenadas de forma diferente entre procesos, siempre que las limitaciones de la definición no dejen de cumplirse.

Modelo de consistencia casual. 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.

Es permitida con un almacenamiento causalmente consistente, pero no con un almacenamiento secuencialmente consistente o con un almacenamiento consistente en forma estricta.

Bibliografía

https://sites.google.com/site/sistemasoperativospaty/unidad-4/421-estricta-causal-secuencial-debil-de-liberacin-y-de-entrada

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

Libro: sistemas distribuidos conceptos y diseños