Multiprocessadores de Pequena Escala (cont.)
Exemplo de Possível Incoerência de Caches:
- P1 escreve ? = 1 (na memória)
- P2 lê ? (? ? vai para a cache de P2 com valor 1)
- P3 lê ? (? ? vai para a cache de P3 com valor 1)
- P4 lê ? (? ? vai para a cache de P4 com valor 1)
- P4 escreve ? = -1
- P5 lê ? (Que valor?)
- P3 lê ? (Que valor? Note que ? pode estar na cache-P3)
Idealmente, P5 e P3 deveriam ler ? = -1