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.
