Protocolo MESI
El protocolo clásico de coherencia de caché, llamado así por los cuatro estados que puede tener cada línea de caché: Modified, Exclusive, Shared, Invalid. Rastreando estos estados el sistema sabe cuándo una copia debe escribirse de vuelta o invalidarse.
Los estados: Modified (este núcleo ha modificado la línea, ningún otro la tiene, la memoria está desactualizada), Exclusive (solo este núcleo tiene la línea, sin modificar), Shared (varios núcleos comparten la misma copia sin modificar), Invalid (la copia no sirve). Cuando un núcleo quiere escribir, las demás copias deben pasar a Invalid; si quiere leer algo que otro tiene en Modified, antes hay que escribirlo de vuelta. Variantes: MOESI (añade Owned, AMD) y MESIF (Forward, Intel) optimizan el compartir entre núcleos. Esta es la maquinaria detrás de la coherencia de caché. El problema del "false sharing" surge precisamente porque MESI trabaja a nivel de línea de caché, no de variable. Conocimiento básico de arquitectura de computadores.