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.
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>