Чтение, сделанное процессором P1 в местоположение X, которое следует за записью другим процессором P2 в X, должно возвращать записанное значение, сделанное P2, если никакие другие записи в X, сделанные каким-либо процессором, не происходят между двумя доступами.
Запись процессором X может не отображаться при чтении из процессора Y, если считывание выполняется в течение очень короткого времени после того, как запись была сделана.