Lockless patterns: full memory barriers

Btw, in the SB example, it's not that the store buffer is forwarding locally, "which would return zero", it's that each is writing into its local store buffer while reading the other variable from the initial state. The SB allows the stores to be delayed in terms of observation by other processors relative to the local one.