On Thu, 2014-02-20 at 00:30 -0800, Paul E. McKenney wrote: > Well, all the compilers currently convert consume to acquire, so you have > your wish there. Of course, that also means that they generate actual > unneeded memory-barrier instructions, which seems extremely sub-optimal > to me.
GCC doesn't currently, but it also doesn't seem to track the dependencies, but that's a bug: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59448