Re: [RFC v2 0/3] memory model: Make unlock(A)+lock(B) on the same CPU RCtso

On Mon, Oct 25, 2021 at 10:54:13PM +0800, Boqun Feng wrote:

Boqun Feng (3):
  tools/memory-model: Provide extra ordering for unlock+lock pair on the
    same CPU
  tools/memory-model: doc: Describe the requirement of the litmus-tests
    directory
  tools/memory-model: litmus: Add two tests for unlock(A)+lock(B)
    ordering

I'm obviously all in favour of this :-)

Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>