Usually such guarantees allow the implementation to use something other than atomics (e.g. memory barriers) for avoiding data races, which are more performant a

Usually such guarantees allow the implementation to use something other than atomics (e.g. memory barriers) for avoiding data races, which are more performant and can avoid contention/context switching/spinning. I too would love to know the specific reasoning though.