Em uma abordagem simples de processamento paralelo onde vários processadores compartilham uma mesma memória através de suas memórias cache próprias (SMP), devemos nos preocupar em assegurar que todos eles compartilhem uma imagem válida desta memória. Este problema é conhecido como: