Consistencia PRAM y del procesador

El siguiente paso de relajamiento de la memoria consiste en eliminar el requisito de que los accesos relacionados se vean en orden (Lipton y Sandberg, 1988).

Esto se llama consistencia PRAM ( Pipelined RAM ) y debe cumplir la siguiente condición:

Las escrituras realizadas por un proceso son recibidas por otros procesos en el orden en que son realizadas, pero las escrituras de procesos diferentes pueden verse en un orden diferente por procesos diferentes.
Esto se debe a que las escrituras de un proceso pueden "entubarse"; es decir, el proceso no tiene que quedarse esperando a que termine cada una antes de comenzar la siguiente..

Este tipo de consistencia es fácil de implantar, pues dice que no existen garantías acerca del orden en que los diferentes procesos ven las escrituras, excepto que dos o más escrituras de un mismo proceso llegan en orden, como si estuvieran en un entubamiento. En otras palabras, todas las escrituras generadas por procesos diferentes son concurrentes.

Una variante de este método es la consistencia del procesador (Goodman, 1989). La variación consiste en considerar adicionalmente que existe la coherencia de memoria.

La coherencia de memoria consiste en que para cada posición de memoria x existe un acuerdo local acerca del orden de las escrituras en x. Las escrturas en diferentes posiciones no tienen que ser vistas en el mismo orden por los diferentes procesos.

Consistencia débil

Anterior | Siguiente