On Mon, Oct 17, 2016 at 09:45:01PM +0800, Boqun Feng wrote: > But __mutex_set_flag() and __mutex_trylock() actually touch the same > atomic word? So we don't need extra things to order them?
Right.. in any case brain is confused. I'll look again at it later.