No contexto de hierarquia de memória, um sistema de memória é coerente se:

uma leitura por um processador P para um local X que segue uma escrita por P a X, sem escritas de X por outro processador ocorrendo entre a escrita e a leitura por P, nunca retorna o valor escrito por P.

uma leitura por um processador ao local X que segue uma escrita por outro processador a X retorna o valor escrito se a leitura e escrita forem sufi cientemente separadas no tempo e ocorrerem outras escritas em X entre os dois acessos.

duas escritas no mesmo local por dois processadores quaisquer são vistas em ordem diferente por todos os processadores.

duas escritas no mesmo local por dois processadores quaisquer são vistas na mesma ordem por apenas um dos processadores.

uma leitura por um processador P para um local X que segue uma escrita por P a X, sem escritas de X por outro processador ocorrendo entre a escrita e a leitura por P, sempre retorna o valor escrito por P.