On Fri, Nov 22, 2013 at 12:06 PM, Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> wrote: > > I am sorry, but that is not always correct. For example, in the contended > case for Tim Chen's MCS queued locks, the x86 acquisition-side handoff > code does -not- contain any stores or memory-barrier instructions. So? In order to get *into* that contention code, you will have to go through the fast-case code. Which will contain a locked instruction. So I repeat: a "lock" sequence will always be a memory barrier on x86. Linus -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx"> email@xxxxxxxxx </a>