A read made by a processor NUMBER@1 to location X that follows a write by another processor NUMBER@2 to X must return the written value made by NUMBER@2 if no other writes to X made by any processor occur between the two accesses .

A write by processor X may not be seen by a read from processor Y if the read is made within a very small time after the write has been made .
