[nebulous1]

So, in the situation in the comment OP, with sychronized writes and and unsynchronized reads, what is this "happens before" stipulation prohibiting?

[fashion-at-cost]

A single reader thread cannot read a value written by a write, then later read a value written by a write that happens before the first write.

[nebulous1]

Thanks!