http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48076
--- Comment #4 from Richard Henderson <rth at gcc dot gnu.org> 2012-11-27 22:05:34 UTC --- Created attachment 28798 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28798 proposed patch This should fix the race that I eventually saw (read), as well as one that Torvald pointed out that I didn't see (write; acq_rel to unrelated address?).