On Thu, May 19, 2016 at 07:22:52AM -0700, Paul E. McKenney wrote: > Agreed, these sorts of instruction sequences make a lot of sense. > Of course, if you stuff too many intructions and cache misses between > the LL and the SC, the SC success probability starts dropping, but short > seqeunces of non-memory-reference instructions like the above should be > just fine.
In fact, pretty much every single LL/SC arch I've looked at doesn't allow _any_ loads or stores inside and will guarantee SC failure (or worse) if you do. This immediately disqualifies things like calls/traps/etc.. because those implicitly issue stores.
