Messages in this thread | | | Date | Fri, 8 Jul 2022 10:45:06 -0400 | From | Alan Stern <> | Subject | Re: [PATCH v2] tools/memory-model: Clarify LKMM's limitations in litmus-tests.txt |
| |
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@in.tum.de> 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@ethstick13.dse.in.tum.de/T/#u > > Signed-off-by: Paul Heidekrüger <paul.heidekrueger@in.tum.de> > > Co-developed-by: Alan Stern <stern@rowland.harvard.edu> > > Reviewed-by: Marco Elver <elver@google.com> > > However with the Co-developed-by, this is missing Alan's SOB.
For the record:
Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
(Note that according to Documentation/process/submitting-patches.rst, the submitting author's SOB is supposed to come last.)
Alan
| |