Re: [PATCH memory-model 3/3] tools/memory-model: Add KCSAN LF mentorship session citation

[Akira Yokosawa]

On Tue,  4 Jun 2024 15:14:19 -0700, Paul E. McKenney wrote:
> Add a citation to Marco's LF mentorship session presentation entitled
> "The Kernel Concurrency Sanitizer"
> 
> [ paulmck: Apply Marco Elver feedback. ]
> 
> Reported-by: Marco Elver <elver@xxxxxxxxxx>
> Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxx>
> Cc: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>
> Cc: Andrea Parri <parri.andrea@xxxxxxxxx>
> Cc: Will Deacon <will@xxxxxxxxxx>
> Cc: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
> Cc: Boqun Feng <boqun.feng@xxxxxxxxx>
> Cc: Nicholas Piggin <npiggin@xxxxxxxxx>
> Cc: David Howells <dhowells@xxxxxxxxxx>
> Cc: Jade Alglave <j.alglave@xxxxxxxxx>
> Cc: Luc Maranget <luc.maranget@xxxxxxxx>
> Cc: Akira Yokosawa <akiyks@xxxxxxxxx>

Paul,

While reviewing this, I noticed that
tools/memory-model/Documentation/README has no mention of
access-marking.txt.

It has no mention of glossary.txt or locking.txt, either.

I'm not sure where are the right places in README for them.
Can you update it in a follow-up change?

Anyway, for this change,

Reviewed-by: Akira Yokosawa <akiyks@xxxxxxxxx>

        Thanks, Akira

> Cc: Daniel Lustig <dlustig@xxxxxxxxxx>
> Cc: Joel Fernandes <joel@xxxxxxxxxxxxxxxxx>
> Cc: <linux-arch@xxxxxxxxxxxxxxx>
> ---