Alan Stern 648e717586 tools/memory-model: Update Documentation/explanation.txt to include SRCU support ... The recent commit adding support for SRCU to the Linux Kernel Memory Model ended up changing the names and meanings of several relations. This patch updates the explanation.txt documentation file to reflect those changes. It also revises the statement of the RCU Guarantee to a more accurate form, and it adds a short paragraph mentioning the new support for SRCU. Signed-off-by: Alan Stern <stern@rowland.harvard.edu> Cc: Akira Yokosawa <akiyks@gmail.com> Cc: Andrea Parri <andrea.parri@amarulasolutions.com> Cc: Boqun Feng <boqun.feng@gmail.com> Cc: Daniel Lustig <dlustig@nvidia.com> Cc: David Howells <dhowells@redhat.com> Cc: Jade Alglave <j.alglave@ucl.ac.uk> Cc: Luc Maranget <luc.maranget@inria.fr> Cc: Nicholas Piggin <npiggin@gmail.com> Cc: "Paul E. McKenney" <paulmck@linux.ibm.com> Cc: Peter Zijlstra <peterz@infradead.org> Cc: Will Deacon <will.deacon@arm.com> Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com> Acked-by: Andrea Parri <andrea.parri@amarulasolutions.com>		2019-03-18 10:27:52 -07:00
..
cheatsheet.txt	tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic() orders later RMW operations	2018-05-15 08:11:16 +02:00
explanation.txt	tools/memory-model: Update Documentation/explanation.txt to include SRCU support	2019-03-18 10:27:52 -07:00
recipes.txt	tools/memory-model: Fix a README typo	2018-10-02 10:28:03 +02:00
references.txt	tools/memory-model: Add reference for 'Simplifying ARM concurrency'	2018-05-15 08:11:19 +02:00