Une lecture faite par un processeur P1 à l'emplacement X qui suit une écriture d'un autre processeur P2 à X doit retourner la valeur écrite faite par P2 si aucune autre écriture à X faite par un processeur ne se produit entre les deux accès.
Une écriture par le processeur X peut ne pas être vue par une lecture du processeur Y si la lecture est faite en très peu de temps après l'écriture.