Memória partilhada e coerência

Redução paralela

Soma local e combinação são fases sucessivas, separadas por barreiras. Conta o caminho crítico, não as rondas: incorporar o ímpar pode dar duas adições ao mesmo núcleo.

Coerência e atomicidade

• Coerência organiza cópias da mesma posição. Consistência ordena posições diferentes. Atomicidade impede intercalações entre leitura e escrita.
• Ver pronto=1 não garante ver dados. Coerência não torna um incremento indivisível; barreira só coordena fases.

Invalidação

Write-invalidate invalida a linha inteira. Falsa partilha gera tráfego sem alterar resultados; separar só ajuda se as linhas ficarem mesmo separadas. Falta após invalidação é de coerência.

Traço de duas palavras.