MODELO DE CONSISTENCIA CENTRADA EN LOS DATOS DE UN SISTEMA OPERATIVO by Daniela Ramirez Gutierrez https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04 En este apartador encontraras todo lo relacionado al modelo de consistencia centrada en los datos de un sistema. en-us 2022-09-27 02:40:19 UTC 2022-09-27 03:00:07 UTC hello@padlet.com 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. ramirezgutierrezdaniela721 https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314741718 2022-09-27 02:44:55 UTC https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314741718 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. ramirezgutierrezdaniela721 https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314743150 2022-09-27 02:46:00 UTC https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314743150 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 ramirezgutierrezdaniela721 https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314744829 2022-09-27 02:47:23 UTC https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314744829 CONSISTENCIA ESTRICTA: Esta consistencia está definida por la siguientecondición: Cualquier lectura a una localidad de memoria x regresa el valorguardado en la operación de escritura más reciente en x. Para que ladeterminación del evento “sea más reciente” no sea más ambigua. En estaconsistencia nunca se puede presentar dos eventos al mismo tiempo. De igualmanera no es posible lograr en multiprocesador, debido a que pueden existirescrituras y lecturas en memoria separada por espacios mínimos de tiempo queno alcanzan a cumplir la condición exigida. ramirezgutierrezdaniela721 https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314755217 2022-09-27 02:55:51 UTC https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314755217 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 servistas por todos los procesos en el mismo orden. Escrituras concurrentes pueden ser vistas en un orden diferente sobre diferentesmáquinas. Es permitida con un almacenamiento causalmente consistente, pero no con unalmacenamiento secuencialmente consistente o con un almacenamientoconsistente en forma estricta. a condición a cumplir para que unos datos sean causalmente consistentes es: Escrituras que están potencialmente relacionadas en forma causal deben servistas por todos los procesos en el mismo orden. Escrituras concurrentes puedenser 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 unalmacenamiento consistente en forma estricta ramirezgutierrezdaniela721 https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314760287 2022-09-27 02:58:06 UTC https://padlet.com/ramirezgutierrezdaniela721/i6pc0k1cesvw3u04/wish/2314760287