MODELOS DE CONSISTENCIA
Este modelo estipula los principios de garantía de consistencia que el sistema de MCD mantiene sobre los procesos que acceden a los datos que un nodo va a enviar a otro nodo, procesos que generan copias de los datos accedidos que quedan asentados en la memoria del nodo para un próximo acceso y que por consiguiente son actualizados.
Cabe destacar que cada nodo tiene su proceso encargado de dirigir las copias almacenadas en la memoria caché da cada computador para que el acceso a ellas se facilite, este es conocido como gestor de réplicas total, que se implementa a través una combinación del middleware (el nivel MCD en tiempo de ejecución en cada proceso) y del núcleo.
Además del manejo que se realiza a la caché, una implementación MCD puede acumular las actualizaciones y restringir los costos de comunicación por medio de la difusión de múltiples actualizaciones a la vez.
A través de este esquema resumiremos los diferentes modelos de consistencia existentes:
MODELO DE CONSISTENCIA DESCRIPCIÓN Modelos que no usan procesos de sincronización Estricta Todos los accesos compartidos se observan en el orden en el que se realizaron. Una operación de lectura sobre el dato X, retorna el valor de la última operación de escritura sobre X. Este modelo asume la existencia de un reloj físico global. Secuencial El resultado de cualquier operación distribuida, es el mismo que se obtiene al ejecutar las operaciones de lectura y escritura en algún orden secuencial, respetando que ambas operaciones de un mismo proceso se ejecutan en el orden que impone el proceso. Causal Cuando encontramos una lectura seguida por una escritura, los dos eventos están potencialmente relacionados en forma causal. Es decir, si un evento B es causado o influenciado por un evento A, la causalidad requiere que primero se vea el evento A y luego el B. Pipeline RAM (PRAM) Las escrituras realizadas por un proceso, son recibidas por el resto en el orden en el cual éstas fueron ejecutadas, no obstante, las escrituras realizadas por diferentes procesos pueden ser vistas en órdenes diferentes por todos ellos Modelos con procesos de sincronización Débil Los accesos a las variables de sincronización son consistentes de forma secuencial: todos los procesos ven todos los accesos a las variables de sincronización en el mismo orden. Se da garantía que los datos compartidos están consistentes después de la operación de sincronización Relajada Los accesos a variables compartidas se protegen en secciones críticas empleando primitivas de sincronización, como locks. En este caso, todo acceso esta precedido por una operación acquire (todas las copias locales de las variables protegidas se actualizan con las variables remotas) y seguido por una operación Release (se propagan los cambios realizados a las variables protegidas al resto de las máquinas).
1 comentario
Evelin -
C.I 82.193.010
Un modelo de consistencia de memoria especifica las garantías de consistencia que un sistema MCD realiza sobre los valores que los procesos leen desde los objetos, dado que en realidad acceden sobre una réplica de cada objeto y que múltiples procesos pueden actualizar los objetos. Dentro de los modelos se encuentran los siguientes:
**Consistencia Secuencial.
**Coherencia
**Consistencia Débil.
**Consistencia Relajada.