Messages in this thread | | | Date | Tue, 26 Oct 2021 08:59:01 +0200 | From | Peter Zijlstra <> | Subject | 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>
| |