Post on 29-Dec-2015
MEMORIA COMPARTIDA MEMORIA COMPARTIDA DISTRIBUIDADISTRIBUIDA
Pirela MelissaDe Sousa David
MEMORIA COMPARTIDA MEMORIA COMPARTIDA DISTRIBUIDADISTRIBUIDA
✔ Modelo de Consistencia.
✔ Thrashing (Fustigamiento).
✔ Consistencia Secuencial: Caso Ivy.
✔ Otros Modelos de Consistencia.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
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.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
✔ Consistencia Secuencial.
✔ Coherencia
✔ Consistencia Débil.
✔ Consistencia Relajada.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
Consistencia SecuencialConsistencia Secuencial
Para cualquier ejecución existe algún
entrelazado de las series de operaciones
realizadas por todos los procesos que
satisafacen:
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
✔ La secuencia entrelazada de operaciones es tal que si L(x)a ocurre en la secuencia, entonces, o la última operación de escritura que ocurrió antes en la secuencia entrelazada fue E(x)a, o no ha ocurrido ninguna operación de escritura antes que ella.✔ El orden de las operaciones en el entrelazado es consistente con el orden de programa en que dichas operaciones fueron ejecutadas por cada cliente individual.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
CoherenciaCoherencia
Cada proceso llega a acuerdos sobre el
orden de las operaciones de escritura sobre
la misma posición, pero no acuerdan
necesariamente el orden de las operaciones
de escritura sobre las posiciones diferentes.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIA
Consistencia DébilConsistencia Débil
Aprovecha el conocimiento de las
operaciones de sincronización para relajar
la consistencia de memoria, mientras se
muestra al programador para implementar
una consistencia secuencial.
MODELO DE CONSISTENCIAMODELO DE CONSISTENCIAConsistencia RelajadaConsistencia Relajada
✔ Mejorar las prestaciones.
✔ Preservar la semántica de sincronización
de objetos del tipo de bloqueos y barreras.
✔ Limitar el solapamiento entre los accesos
a memoria, para garantizar ejecuciones
cuyos resultados sean equivalentes a los
obtenidos con consistencia secuencial.
THRASHING THRASHING (FUSTIGAMIENTO)(FUSTIGAMIENTO)
Un sistema MCD está en thrashing
cuando realiza un gasto desmesurado de
tiempo en la invalidación y transferencia de
datos compartidos en comparación con el
tiempo empleado por los procesos de
aplicación en la realización de trabajo útil.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
El Modelo del SistemaEl Modelo del Sistema
✔ Los procesos comparten un segmento de
MCD.
✔ Los procesos se ejecutan sobre unidades
de gestión de memoria paginada.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
El Modelo del SistemaEl Modelo del Sistema
✔ La paginación es transparente a los
componentes de la aplicación dentro de los
procesos.
✔ Para mantener la consistencia secuencial
se restringen los accesos a páginas cuando
se procesan lecturas y escrituras.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
Escritura ActualizanteEscritura Actualizante
✔ Si el sistema MCD está basado en
páginas, sólo se usa si las escrituras
pueden ser almacenadas en buffers.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
Invalidación de EscrituraInvalidación de Escritura
✔ Se utiliza la protección de páginas para
forzar la consistencia en la compartición de
datos.
✔ Cuando un proceso está actualizando una
página, tiene localmente los permisos de
lectura y escritura sobre dicha página.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
Invalidación de EscrituraInvalidación de Escritura
✔ Cuando uno o más procesos están
leyendo una página, sólo tienen permiso de
lectura.
CONSISTENCIA SECUENCIAL: CONSISTENCIA SECUENCIAL: CASO IVYCASO IVY
ThrashingThrashing
✔ Responsabilidad del programador evitar el
thrashing.
OTROS MODELOS DE OTROS MODELOS DE CONSISTENCIACONSISTENCIA
✔ Modelos Uniformes:
No distinguen entre diferentes tipos de accesos a memoria.
✔ Modelos Híbridos:
Distinguen entre accesos ordinarios y de sincronización.
OTROS MODELOS DE OTROS MODELOS DE CONSISTENCIACONSISTENCIA
Modelos UniformesModelos Uniformes
✔ Consistencia Causal.
✔ Consistencia de Procesador .
✔ RAM encauzada.
OTROS MODELOS DE OTROS MODELOS DE CONSISTENCIACONSISTENCIA
Modelos HíbridosModelos Híbridos
✔ Consistencia con Admisión.
✔ Consistencia de Ámbito.
✔ Consistencia Débil.