Modelos de Consistencia en los Datos - Sistemas Operativos II PDF

Preview

Summary

Unidad 3 en sistemas operativos ii - Modelos de consistencias en los datos, pronto subire uno de administracion de datos sobre el mismo tema...

Description

Modelos de Consistencia en los datos Un modelo de consistencia es esencialmente un contrato entre procesos y el almacenamiento de datos. Es decir: si los procesos acuerdan obedecer ciertas reglas, el almacenamiento 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 de escritura sobre el dato. En Informática, en un sistema distribuido, tales como una memoria compartida distribuida o almacenes de datos distribuido, tales como una base de datos, sistema de archivos, caché web o sistemas de replicación optimista, hay una serie de posibles modelos de consistencia de datos. Se dice que un sistema soporta un determinado modelo, si las operaciones en memoria siguen normas específicas. La consistencia de los datos es definida entre el programador y el sistema, que garantiza que, si el programador sigue las reglas, la memoria será consistente y el resultado de las operaciones de memoria será predecible. Los lenguajes de alto nivel, tales como C, C++ y Java, respetan parcialmente este modelo traduciendo operaciones de memoria en operaciones de bajo nivel para preservar la memoria semántica. Para mantener el modelo, los compiladores pueden reordenar algunas instrucciones de memoria, y las llamadas a las bibliotecas como pthread_mutex_lock(), encapsular la sincronización necesaria. Los ejemplos incluyen:         

Linealizable (también conocido como el estricta o consistencia atómica) Consistencia secuencial Consistencia de causalidad Consistencia liberada Consistencia eventual Consistencia delta Consistencia PRAM (también conocido como consistencia FIFO) Consistencia débil Consistencia vector campo

La duplicidad de los bloques compartidos aumenta el rendimiento, pero produce un problema de consistencia entre las diferentes copias de la página en caso de una escritura.

Si con cada escritura es necesario actualizar todas las copias, el envío de las páginas por la red provoca que el tiempo de espera aumente demasiado, convirtiendo este método en impracticable. MODELOS DE CONSISTENCIA CENTRADA EN LOS DATOS:

CONSISTENCIA ESTRICTA: Esta consistencia está definida por la siguiente condición: Cualquier lectura a una localidad de memoria x regresa el valor guardado en la operación de escritura más reciente en x. Para que la determinación del evento “sea más reciente” no sea más ambigua. En esta consistencia nunca se puede presentar dos eventos al mismo tiempo. De igual manera no es posible lograr en multiprocesador, debido a que pueden existir escrituras y lecturas en memoria separada por espacios mínimos de tiempo que no alcanzan a cumplir la condición exigida.

CONSISTENCIA SECUENCIAL: Es una forma más débil de la consistencia estricta. Satisface la siguiente condición: El resultado de una ejecución es el mismo sin las operaciones (lectura y escritura) de todos los procesos sobre el dato fueron ejecutadas en algún orden secuencial. -Un dato almacenado secuencialmente consistentemente. -Un dato almacenado que no es secuencialmente consistente. El resultado de cualquier ejecución es el mismo que si las operaciones de todos los procesos fueran ejecutadas en algún orden secuencial, y las operaciones de cada proceso individual aparecen en esta secuencia en el orden especificado por su programa. CONSISTENCIA CAUSAL 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. 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. Esta secuencia es permitida con un almacenamiento causalmente consistente, pero no con un almacenamiento secuencialmente consistente o con un almacenamiento consistente en forma estricta.

Bibliografía Anonymous. (21 de Septiembre de 2016). SOD. Obtenido de MODELOS DE CONSISTENCIA (CENTRADA EN DATOS): http://itsrlljcr.blogspot.com/2016/09/modelos-de-consistenciacentrada-en.html Google, S. (s.f.). Sistemas Operativos II. Obtenido de 4.2 Modelos de Consistenvcia: https://sites.google.com/site/sistemasoperativospaty/unidad-4/42-modelos-deconsistencia...