Re: [PATCH] tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU

[Michael Ellerman]

Boqun Feng <boqun.feng@xxxxxxxxx> writes:
> (Add linux-arch in Cc list)
>
> Architecture maintainers, this patch is about strengthening our memory
> model a little bit, your inputs (confirmation, ack/nack, etc.) are
> appreciated.

Hi Boqun,

I don't feel like I'm really qualified to give an ack here, you and the
other memory model folk know this stuff much better than me.

But I have reviewed it and it matches my understanding of how our
barriers work, so it looks OK to me.

Reviewed-by: Michael Ellerman <mpe@xxxxxxxxxxxxxx> (powerpc)

cheers