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?