Re: [RFC v2 0/3] memory model: Make unlock(A)+lock(B) on the same CPU RCtso
From: Peter Zijlstra <peterz@infradead.org>
Date: 2021-10-26 07:03:12
Also in:
linux-doc, lkml
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)
orderingI'm obviously all in favour of this :-) Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>