MODELOS DE CONSISTENCIA DE LA

MEMORIA

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.

-Especifica las restricciones en el orden en el que las operaciones de memoria deben hacerse visibles a los procesadores.

-Los programadores se basan en el modelo de consistencia para razonar acerca de los posibles resultados (corrección de los programas).

-Para el diseñador del compilador o del hardware el modelo impone limitaciones a posibles reordenaciones (optimizaciones).

-La principal interrogante que se plantea al caracterizar un modelo de consistencia de memoria es: cuándo se realiza un acceso de lectura sobre una posición de memoria, qué accesos de escritura son candidatos para que sus valores sean proporcionados en la lectura.

-Cualquier lectura realizada antes.

-La última lectura, entre otros.

La memoria compartida distribuida es una abstracción que simula, en un ambiente multicomputador, la gestión de memoria de los sistemas multiprocesadores. Los factores mas significativos en el desempeño de un sistema de memoria compartida distribuida son: el modelo de consistencia, la granularidad, el tipo de implantación y el protocolo. Los sistemas implementados hasta ahora han combinado estos factores según una calidad de servicio especifica: desempeño o versatilidad. Este trabajo propone un sistema que conjuga estas dos características mediante la combinación de varios tipos de granularidad con un modelo de consistencia de entrada y con un protocolo de varios lectores y varios escritores completamente distribuido. La versatilidad es lograda a través de varios niveles de interfaz de granularidad de tamaño variable. Un desempeño eficiente se obtiene mediante un modelo de consistencia de entrada y un protocolo de múltiples lectores y múltiples escritores. Este sistema implanta la ilusión de que cada proceso vea la porción compartida de manera coherente; es decir, si un dato compartido es modificado por algún proceso, el sistema garantiza que los demás procesos observaran la modificación de forma consistente.