Protocolo MESI
O protocolo clássico de coerência de cache, batizado com os quatro estados que cada linha de cache pode ter: Modified, Exclusive, Shared, Invalid. Rastreando esses estados, o sistema sabe quando uma cópia precisa ser gravada de volta ou invalidada.
Os estados: Modified (este núcleo alterou a linha, ninguém mais a tem, a memória está desatualizada), Exclusive (só este núcleo tem a linha, sem alterações), Shared (vários núcleos têm a mesma cópia inalterada), Invalid (a cópia não serve). Quando um núcleo quer escrever, as outras cópias precisam ir para Invalid; se ele quer ler algo que outro mantém em Modified, isso antes precisa ser gravado de volta. Variantes: MOESI (adiciona Owned, da AMD) e MESIF (Forward, da Intel) otimizam o compartilhamento entre núcleos. É a engrenagem por trás da coerência de cache. O problema do "false sharing" surge justamente porque o MESI trabalha na granularidade da linha de cache, e não da variável. Conhecimento básico de arquitetura de computadores.