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.

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.

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