On Sat, Nov 23, 2013 at 12:39:53PM -0800, Linus Torvalds wrote: > On Sat, Nov 23, 2013 at 12:21 PM, Linus Torvalds > <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > > > > And as far as I can tell, the above gives you: A < B < C < D < E < F < > > A. Which doesn't look possible. > > Hmm.. I guess technically all of those cases aren't "strictly > precedes" as much as "cannot have happened in the opposite order". So > the "<" might be "<=". Which I guess *is* possible: "it all happened > at the same time". And then the difference between your suggested > "lwsync" and "sync" in the unlock path on CPU0 basically approximating > the difference between "A <= B" and "A < B".. > > Ho humm. Indeed, the difference between "<" and "<=" does not matter here. Thanx, Paul -- 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>