MODELO
DE CONSISTENCIA
Un modelo de consistencia
especifica las garantías de consistencia que un sistema de memoria compartida
distribuida realiza sobre los valores que los procesos leen desde los objetos,
dado que acceden sobre una réplica de cada objeto y que pueda manipular múltiples
procesos ya que pueden actualizar los objetos.
Es normalmente un conjunto de
procesos que siguen una secuencia sistema de memoria compartida que su contenido se almacena en
computadoras separadas.
Y cada proceso tiene un
gestor de replica local, el cual esta encargado de mantener copias en cache
para los objetivos.
Los datos se leen desde las
replicas locales por cuestiones de rapidez para que así las actualizaciones
deben extenderse al resto de los gestores de réplica.
Y también además de la gestión
de cache una complementación de memoria compartida distribuida puede almacenar
las actualizaciones y reducir los costes de comunicación mediante la extensión
de múltiples actualizaciones a la vez.
MODELO
DE CONSISTENCIA CENTRADA EN LOS DATOS
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.
Este
modelo asume la existencia de un reloj físico global.
SECUENCIAL
La 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 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.
El resultado de una ejecución es el mismo si las operaciones 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.
CASUAL
El modelo de 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 casualmente relacionadas se dicen concurrentes.
La condición a cumplir para que unos datos sean casualmente 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 casualmente consistente, pero no con un almacenamiento secuencial mente consistente o con un almacenamiento consistente en forma estricta. Esta secuencia es permitida con un almacenamiento casualmente consistente o con un almacenamiento consistente en forma estricta.
FUENTES
DE INFORMACIÓN:
No hay comentarios:
Publicar un comentario