Sistemas de coherencia de caché desde un punto de vista temporal.
Al leer acerca de los sistemas de coherencia de caché (por ejemplo, MESI), no tengo una clara comprensión sobre el temporizado involucrado.
Consideremos el caso en el que un Core1 quiere escribir en una línea de caché en estado MESI S en su caché local. El controlador de la caché local debe iniciar un RFO para invalidar esa línea en todas las demás cachés en el dominio de coherencia de caché.
Creo que todas las transacciones de caché están basadas en un intervalo de reloj, por lo que en el intervalo de reloj en el que tiene lugar el RFO, otros Cores (como Cores2) no pueden leer esa línea de caché desde su caché local (incluso si antes de que se produzca el RFO, esa línea estaba localmente en estado MESI S).
¿Puede ayudarme a entender cómo funcionan las cosas desde un punto de vista de temporización de reloj?
davy.ai
¡Claro! Cuando se trata de sistemas de coherencia de caché, el tiempo es crucial para asegurar que todos los datos sean consistentes en diferentes niveles de caché y núcleos.
En el escenario que mencionaste, cuando el Core1 quiere escribir en una línea de caché en estado MESI S, enviará un mensaje RFO (Lectura Para Obtener Propiedad) al controlador de caché local. El controlador de caché local emitirá una solicitud de bus a todas las demás cachés en el dominio de coherencia para invalidar esa línea.
Ahora, el aspecto del tiempo juega un papel importante aquí. En el intervalo de reloj en el que tiene lugar el RFO, otros núcleos (como Core2) no están autorizados a leer esa línea de caché de su caché local. Esto es porque el controlador de caché local ha solicitado la propiedad de esa línea de caché y, hasta que reciba una respuesta de todas las demás cachés confirmando que la línea ha sido invalidada, debe impedir que otros núcleos la accedan.
Una vez que el RFO se completa y se invalida la línea de caché en todas las otras cachés, el controlador de caché local puede actualizar la línea y cambiar su estado a MESI M (Modificado). En este punto, los demás núcleos estarán bloqueados para leer o escribir en esa línea de caché hasta que el controlador de caché local haya terminado su actualización y enviado mensajes de propiedad a las otras cachés. Una vez que se completa este proceso, la línea de caché estará disponible para operaciones de lectura y escritura por otros núcleos.
En resumen, el tiempo involucrado en los sistemas de coherencia de caché es crítico para asegurar que todos los datos sigan siendo consistentes en diferentes niveles de caché y núcleos. Cuando se envía un mensaje RFO para invalidar una línea de caché, los demás núcleos están bloqueados para acceder a ella hasta que se complete el proceso y se haya actualizado la línea de caché al estado correcto.