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

[Boqun Feng]

On Fri, Oct 08, 2021 at 04:30:37PM +1100, Michael Ellerman wrote:
> 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)
> 

Thanks!

Regards,
Boqun

> cheers