UNIDAD 5:
SOLUCIÓN A LA
COHERENCIA EN
DSM
Módulo II
Arquitecturas de
computación paralela
2
CONTENIDOS
1. Introducción.
2. Protocolos basados en directorio.
CAP, Cristian López 2021
3
1. Introducción
○ Ya habíamos estudiado que el problema
de la coherencia puede resolverse
exclusivamente desde la propia
arquitectura, añadiendo controladores
dedicados a resolverlo.
○ Pero se resuelve de manera diferente en
arquitecturas de memoria compartida que en
arquitecturas de memoria
compartida-distribuida.
CAP, Cristian López 2021
4
1. Introducción
• Snoopy
Compartida (espionaje)
Compartida-
• Directorio
distribuida
CAP, Cristian López 2021
5
2. Protocolos basados en
directorio
○ En DSM la solución para el problema de la
coherencia es completamente diferente que
en las arquitecturas de memoria
compartida, ya que al no existir un bus de
medio compartido no puede utilizarse como
herramienta el espionaje.
○ Por ello se utilizan protocolos basados en
directorio (siempre de invalidación).
○ Implican añadir controladores de coherencia
a las cachés y a las memorias principales (a
los directorios).
CAP, Cristian López 2021
6
2. Protocolos basados en
directorio
○ El directorio es, en primera instancia, una
estructura hardware centralizada que mantiene
el estado de todos los bloques que contienen las
memorias principales del sistema.
○ Se asocia una entrada en el directorio a cada
bloque de memoria principal y se mantiene
actualizado su estado en cada caché del
sistema.
○ Es importante que se mantenga información sobre
qué caches tienen copias de cada bloque (vector
de compartidos V) y si lo han modificado (estado
del bloque, S).
CAP, Cristian López 2021
7
CAP, Cristian López 2021
8
2. Protocolos basados en
directorio
○ El vector de compartidos suele contener tantos
elementos como nodos tiene el sistema, e indica
qué nodos tienen una copia compartida de cada
bloque en su caché poniendo un 1 en la posición
que corresponde a ese nodo en el vector.
○ Cuando se produce una escritura en un bloque
en estado compartido sólo es necesario enviar
un mensaje de invalidación a los procesadores
indicados en este vector.
CAP, Cristian López 2021
9
2. Protocolos basados en
directorio
○ Para evitar que el directorio se convierta en un
nuevo cuello de botella, la mayor parte de las
arquitecturas de memoria
compartida-distribuida actuales distribuyen el
directorio entre todos los nodos del sistema.
○ A cada nodo le corresponden las entradas del
directorio que almacenan el estado de los bloques
ubicados en su memoria principal.
○ Y las almacena dentro de su propia memoria.
CAP, Cristian López 2021
10
Aunque el directorio se
muestra en la figura como
como una estructura
separada, se almacena
dentro de MP
CAP, Cristian López 2021
11
2. Protocolos basados en
directorio
○ Para diseñar un protocolo se especifican:
○ Los posibles estados de un bloque alojado en un
determinado marco de la caché de un procesador, desde
el punto de vista de la propia caché y desde el punto de
vista del directorio.
○ Los mensajes del protocolo, es decir, las órdenes o
peticiones que los controladores envían por la red a otros
controladores mediante primitivas de envío Send.
○ El diagrama de transición de estados de los bloques en
caché y en el directorio, con los eventos que pueden
provocar estas transiciones y las acciones que hay que
llevar a cabo. CAP, Cristian López 2021
12
2. Protocolos basados en
directorio
○ Para los mensajes se suele utilizar la siguiente
nomenclatura:
○ Nodo local: Origina la solicitud de lectura o escritura
de un dato.
○ Nodo propietario: Nodo en el que residen el dato (en
la memoria principal) y su estado (en la entrada del
directorio que corresponda).
○ Nodo remoto: Nodo que tiene copias adicionales del
dato en su memoria caché, en estado exclusivo o
compartido.
CAP, Cristian López 2021
13
2. Protocolos basados en
directorio
○ Y los eventos pueden ser de nuevo de dos tipos:
○ Locales: Igual que en los protocolos de espionaje.
○ Globales: En este caso, asociados a la recepción de
un mensaje del protocolo.
○ Para que este tipo de protocolos funcionen se debe
cumplir la hipótesis de consistencia secuencial, es decir,
que todos los mensajes se reciben en el mismo orden en
el que se envían.
CAP, Cristian López 2021
14
Conjunto de mensajes típico
CAP, Cristian López 2021
15
Protocolo de coherencia de caché
basado en directorio distribuido, de
3 estados en caché y en directorio
y con invalidación
Punto de vista de las memorias
caché
CAP, Cristian López 2021
16
Protocolo de coherencia de caché
basado en directorio distribuido, de
3 estados en caché y en directorio
y con invalidación
Punto de vista del directorio
CAP, Cristian López 2021