INSTITUO TECNOLOGICO SUPERIOR DE CALKINI EN EL ESTADO DE CAMPECHE SISTEMAS OPERATIVOS II Ingeniería En Informática Equipo: «Letras Mayas» 3.3 MODELOS DE CONSISTENCIA CENTRADA EN EL CLIENTE Integrantes: Sandi Verenisa Ake Caamal Cristian Del Carmen Cab Chi Tirson Guillermo Naal Chim Bryan Haciel Uc Catzin L.I. Erick Alejandro Evar Ceron
Modelos de Consistencia Centrados en el Cliente Bajo número de actualizaciones simultáneas Fácil resolución entre actualizaciones concurrentes. Generalmente son operaciones de lectura. Modelo de consistencia bastante débil (consistencia eventual, o de eventos). Consistencia garantizada para un único cliente, por lo tanto muchas inconsistencias son ocultadas fácilmente.
Consistencia eventual The principle of a mobile user accessing different replicas of a distributed database.
Notación: Sea x i [t] la versión del ítem de dato x en la copia local L i al tiempo t. La versión x i [t] es es el resultado de una serie de operaciones de escritura sobre L i desde la inicialización, denotada WS(x i [t]). Si WS(x i [t 1 ]) fue además realizada sobre lo copia local L j al tiempo t 2 entonces la serie se escribirá WS(x i [t 1 ];x j [t 2 ]). Si el orden de las operaciones o el tiempo son claros por el contexto, el índice del tiempo se omite.
Lecturas Monotónicas Se dice que un dato ofrece consistencia de lecturas monotónicas si y sólo si la siguiente condición se cumple: Si un proceso lee el valor de un ítem de dato x, cualquier operación de lectura sucesiva sobre x por el mismo proceso siempre retornará el mismo valor o un valor más reciente.
Ejemplo de lectura monotónica: Operaciones de lectura realizadas por un único proceso P sobre dos copias locales (L1 y L2) del almacenamiento de datos. Si leí R(x 1 ) desde L1 me debo asegurar que leeré R(x 1 ) en L2. t t
Escrituras monotónicas Las escrituras deben ser propagadas en el orden correcto a todas las copias del almacenamiento de datos. Se debe cumplir que: Una operación de escritura por un proceso sobre un ítem de dato x es completada antes de cualquier otra operación de escritura sobre x por el mismo proceso.
… ejemplo Operaciones de escritura realizadas por un proceso P en dos copias locales del mismo almacen de datos.
Lea sus escrituras A veces es más importante garantizar que si yo escribo un dato, yo siempre vea el valor actualizado no importa de donde haga la siguiente lectura, por lo tanto, un almacén de datos provee consistencia lea sus escrituras si se cumple que: El efecto de una operación de escritura por un proceso sobre un ítem de dato x será siempre visto por las sucesivas operaciones de lectura sobre x por el mismo proceso.
… ejemplo Similar a lecturas monotónicas, sólo que esta vez la consistencia está garantizada por la última operación de escritura de P, en vez de la última operación de lectura. Si escribí x 1 en L1 me debo asegurar que lo lea desde L2.
Escrituras siguen a Lecturas La idea de este esquema de consistencia es garantizar que si alguien va a modificar el valor de un dato, antes haya leído la última actualización de éste. Un almacén de datos provee consistencia de escrituras siguen lecturas si se cumple que: Una operación de escritura de un proceso sobre un ítem de dato x realizada luego de leer ese dato x, se realizó garantizadamente sobre el valor más reciente de x.
… ejemplo Si leí x 1 en L1 me debo asegurar que toda escritura posterior al menos lleve x 1 en cualquier copia. Operaciones de escritura realizadas por un proceso P en dos copias locales del mismo almacen de datos.