Minoruо,
@fvnever, в Стандарте нормально написано (§31.5p5):
> Operations that are lock-free should also be address-free [That is, atomic operations on the same memory location via two different addresses will communicate atomically.]. The implementation of these operations should not depend on any per-process state.