Modelos De Consistencia De Memoria

y mor dels . Me ncy Mo
Art iste rger s Con Mosbe id Dav

Modelos
 de
  Consistenci a
 de
  Memoria
 
Elisa
 Cuan
 


 

INTRODUCCIÓN
0  Tradicionalmente los interesados en modelos

de consistencia de memoria eran los arquitectos que diseñaban maquinas paralelas.
0  Su objetivo era presentar un modelo cercano al modelo de maquinas secuenciales (SC).
0 Cual era el problema con este modelo?
0  Restringe la posibilidad de optimizaciones

MODELOS DE CONSISTENCIA DE MEMORIA"
0  Elegir un MCM es un dilema entre:
0  Disminuir el acceso a memoria y
0  La complejidad de modelo de programación como

"



también el del mismo modelo de memoria.

0  Los modelos de consistencia de memoria

imponen un ordenamiento en el acceso dependiendodel numero de atributos.
0  Entre mas atributos el modelo es mas débil.

MODELOS DE CONSISTENCIA" DE MEMORIA" 0  Atributos que puede
  distinguir un modelo:
0  Localización de acceso
0  Dirección del acceso
0  Valor transmitido
0  Causalidad de acceso
0  Es la relación que dice si dos accesos a1 y a2 están relacionados

"

y si a1 ocurrió antes que a2 o viceversa.

0 Categoría/Tipo de acceso

Tipos de Acceso

MODELOS UNIFORMES

DIAGRAMA DE HISTORIAL DE EJECUCIÓN
0  EL procesador P1 escribe un ‘1’ en la locación “x” y el

procesador P2 subsecuentemente observa lo que se escribió y lo lee.
0  Esto quiere decir que el acceso a escribir se completo en un tiempo entre que fue ejecutado por el P1 y leido por el P2.


 

AC – CONSISTENCIA ATÓMICA
0  Esel modelo más estricto de todos los modelos de

consistencia.
0  Las operaciones se llevan a cabo en algún punto de el intervalo operacional.
0  Un ciclo de reloj puede ser un intervalo operacional. Se permiten múltiples accesos en un ciclo de reloj pero esto causa un problema si lecturas y escrituras a la misma locación ocurren en el mismo intervalo.
0  Una solución es el uso deconsistencia atómica estática. En la que las operaciones de lecturas se llevan a cabo al principio y después las de escritura.
0  Con el modelo dinámico AC las operaciones pueden llevarse a cabo en cualquier punto del intervalo de operación.

SC – CONSISTENCIA SECUENCIAL
0  Según la definición de Lamport
0  El resultado de cualquier ejecución

es el mismo que si las operaciones de todos losprocesos fueran ejecutadas en algún orden secuencial, y las operaciones de cada proceso individual aparecen en esta secuencia en el orden especificado por su programa.

0  Esto quiere decir que en este

modelo sólo importa que los eventos generados por un programa sean vistos por otro en el mismo orden, sin importar que se intercalen con los eventos de otros programas.



CC - CONSISTENCIACAUSAL
0  Es un debilitamiento de la consistencia secuencial que hace

distinción entre eventos potencialmente relacionados por causalidad y aquellos que no lo están.
0  Por ejemplo, El proceso P1 escribe en x Después, un proceso P2 lee x y escribe y. Aquí la lectura de x y la escritura de y están relacionadas de forma causal.
0  Por otro lado, si dos procesos escriben de forma espontánea ysimultánea en dos variables, no están relacionados en forma causal. Las operaciones que no están relacionadas en forma causal son concurrentes
0  Las
 escrituras
 potencialmente
 relacionadas
 de
 forma
 causal
 son
 vistas
  por
 todos
 los
 procesos
 en
 el
 mismo
 orden.
 Las
 escrituras
 concurrentes
  pueden
 ser
 vistas
 en un
 orden
 diferente
 en
 máquinas
 diferentes

PRAM - ( Pipelined RAM )
0  Consideraremos un

multiprocesador donde cada proceso tiene una copia local de una memoria compartida.
0  Para leer, se regresara el valor guardado en la copia local.
0  Para escribir, se actualizara el valor guardará en la copia local y luego se mandara un broadcast con el nuevo valor a...