On Tue, Aug 01, 2017 at 01:17:13PM +0100, Will Deacon wrote: > Also, wouldn't this problem also arise if your atomics were built using a > spinlock where unlock had release semantics?
I'm hoping none of our spnilock based atomics have weak ordering. Spinlock based atomics are a little crazy to begin with, making them weak *shudder*.