对于小于等于 word 大小的变量，对变量（或字段） x 的读取必须看到对 x 的某一次写入所存储的值。 如果读取 r 观察到对 x 的写入 w ，那么 r 不发生在 w 之前。

也就是说 r 可以观察发生在 r 之前的所有写入，并且可以观察与 r 竞争的写入。