20Aug
Si recién está empezando a aprender cómo funcionan las CPU multinúcleo, el almacenamiento en caché, la coherencia de caché y la memoria, puede parecer un poco confuso al principio. Con esto en mente, la publicación SuperUser Q & A de hoy tiene respuestas a la pregunta de un lector curioso.
Pregunta de hoy &La sesión de respuesta nos llega por cortesía de SuperUser, una subdivisión de Stack Exchange, una agrupación de sitios web Q & A dirigida por la comunidad.
El lector
SuperUser pregunta CarmeloS quiere saber cuándo se vacía el caché de una CPU a la memoria principal:
Si tengo una CPU con dos núcleos y cada núcleo tiene su propia caché L1, ¿es posible que Core1 y Core2 guarden en la misma memoria caché?parte de la memoria al mismo tiempo? Si es posible, ¿cuál será el valor de la memoria principal si Core1 y Core2 han editado sus valores en caché?
¿Cuándo se vacia la memoria caché de la CPU a la memoria principal?
Los colaboradores de Answer
SuperUser David Schwartz, sleske y Kimberly W tienen la respuesta para nosotros. Primero, David Schwartz:
Si tengo una CPU con dos núcleos y cada núcleo tiene su propia caché L1, ¿es posible que Core1 y Core2 guarden en la memoria caché la misma parte de la memoria al mismo tiempo?
Sí, el rendimiento sería terrible si este no fuera el caso. Considere dos hilos que ejecutan el mismo código. Desea ese código en ambas cachés L1.
Si es posible, ¿cuál será el valor de la memoria principal si Core1 y Core2 han editado sus valores en caché?
El valor anterior estará en la memoria principal, lo que no importará, ya que ninguno de los núcleos lo leerá.Antes de expulsar un valor modificado de la memoria caché, debe escribirse en la memoria. Típicamente, se usa alguna variante del protocolo MESI.En la implementación tradicional de MESI, si se modifica un valor en un caché, no puede estar presente en ningún otro caché en ese mismo nivel.
Seguido de la respuesta de sleske:
Sí, tener dos cachés en la memoria caché puede ser la misma región de memoria y en realidad es un problema que ocurre mucho en la práctica. Hay varias soluciones, por ejemplo:
- Las dos memorias caché se pueden comunicar para asegurarse de que no estén en desacuerdo
- Puede tener algún tipo de supervisor que supervisa todas las memorias caché y las actualiza en consecuencia
- Cada procesador monitorea las áreas de memoria que ha almacenado en caché ycuando detecta una escritura, arroja su caché( ahora no válido)
El problema se llama coherencia de caché y el artículo de Wikipedia sobre el tema tiene una buena visión general del problema y las posibles soluciones.
Y nuestra respuesta final de Kimberly W:
Para responder la pregunta en el título de su publicación, depende de qué es el protocolo de almacenamiento en caché.Si es un write-back, la memoria caché solo se volverá a enviar a la memoria principal cuando el controlador de caché no tenga más remedio que colocar un nuevo bloque de caché en un espacio ya ocupado. El bloque que anteriormente ocupaba el espacio se elimina y su valor se escribe nuevamente en la memoria principal.
El otro protocolo es de escritura directa. En ese caso, cada vez que se escribe el bloque de caché en el nivel n , se actualiza el bloque correspondiente en el nivel n + 1 .Es similar en concepto al llenado de un formulario con papel carbón debajo;lo que sea que escribas arriba se copia en la hoja a continuación. Esto es más lento porque obviamente implica más operaciones de escritura, pero los valores entre las cachés son más consistentes. En el esquema write-back, solo el caché de nivel más alto tendría el valor más actualizado para un bloque de memoria en particular.
¿Tiene algo que agregar a la explicación? Suena apagado en los comentarios.¿Desea leer más respuestas de otros usuarios de Stack Exchange expertos en tecnología? Mira el hilo de discusión completo aquí.
Crédito de la imagen: Lemsipmatt( Flickr)