Re: [PATCH v2] tools/memory-model: Clarify LKMM's limitations in litmus-tests.txt

From: Alan Stern
Date: Fri Jul 08 2022 - 10:47:07 EST


On Fri, Jul 08, 2022 at 01:44:06PM +0200, Marco Elver wrote:
> On Tue, 14 Jun 2022 at 17:49, Paul Heidekrüger
> <paul.heidekrueger@xxxxxxxxx> wrote:
> >
> > As discussed, clarify LKMM not recognizing certain kinds of orderings.
> > In particular, highlight the fact that LKMM might deliberately make
> > weaker guarantees than compilers and architectures.
> >
> > Link: https://lore.kernel.org/all/YpoW1deb%2FQeeszO1@xxxxxxxxxxxxxxxxxxxxxxxx/T/#u
> > Signed-off-by: Paul Heidekrüger <paul.heidekrueger@xxxxxxxxx>
> > Co-developed-by: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>
>
> Reviewed-by: Marco Elver <elver@xxxxxxxxxx>
>
> However with the Co-developed-by, this is missing Alan's SOB.

For the record:

Signed-off-by: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>

(Note that according to Documentation/process/submitting-patches.rst,
the submitting author's SOB is supposed to come last.)

Alan