Modelos
Un modelo de consistencia es esencialmente un contrato entre procesos y el almacenamiento de datos. Es decir: si los procesos acuerdan obedecer ciertas reglas, elalmacenamiento 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 deescritura sobre el dato.
Los modelos de consistencia se presentan divididos en dos conjuntos:
Modelos de consistencia centrados en los datos.
Modelos de consistencia centrados en el cliente.Modelos de Consistencia Centrados en Datos
Organización general de un almacenamiento lógico de datos, físicamente distribuidos y replicados a través de múltiples procesos.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 item de dato x retorna un valorcorrespondiente con la más reciente escritura sobre x”
a) Un almacenamiento estrictamente consistente.
b) Un almacenamiento que no es estrictamente consistente.
La definición supone untiempo global absoluto
Linealizabilidad y Consistencia Secuencial
La consistencia secuencial es una forma ligeramente más débil de la consistencia estricta. Satisface la siguiente condición:
“Elresultado 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 procesoindividual 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.El modelo de linealizabilidad es más débil que la consistencia estricta pero más fuerte que la consistencia secuencial. En este modelo las operaciones reciben una estampilla de tiempo generada por...
Regístrate para leer el documento completo.