On Thu, Sep 27, 2018 at 09:47:48AM +0200, Andrea Parri wrote: > > LKMM in particular does _NOT_ deal with mixed sized atomics _at_all_. > > True, but it is nothing conceptually new to deal with: there're Cat > models that handle mixed-size accesses, just give it time.
Sure, but until that time I must not rely on (and thus not use) LKMM for qspinlock things. So while your argument about coherence might be true -- I'll have to think about it; litmus tests are out the window.