On Thu, Nov 17, 2016 at 05:11:10PM +0100, Peter Zijlstra wrote: > On Thu, Nov 17, 2016 at 12:08:36PM +0000, Will Deacon wrote: > > All sounds reasonable to me. It's worth pointing out that you can't create > > order using a control dependency hanging off the status flag of a > > store-conditional, but the code in question here has the dependency from > > the loaded value, which is sufficient. > > Yeah, I'm always surprised by that 'feature'. Is that ARM specific? Or > so more LL/SC archs have this?
In general, I'm not sure, but I think PPC does allow for the control dependency. Will