Andrea Parri 6738ff85c3 tools/memory-model: Update the informal documentation ... The formal memory consistency model has added support for plain accesses (and data races). While updating the informal documentation to describe this addition to the model is highly desirable and important future work, update the informal documentation to at least acknowledge such addition. Signed-off-by: Andrea Parri <andrea.parri@amarulasolutions.com> Cc: Will Deacon <will.deacon@arm.com> Cc: Peter Zijlstra <peterz@infradead.org> Cc: Boqun Feng <boqun.feng@gmail.com> Cc: Nicholas Piggin <npiggin@gmail.com> Cc: David Howells <dhowells@redhat.com> Cc: Jade Alglave <j.alglave@ucl.ac.uk> Cc: Luc Maranget <luc.maranget@inria.fr> Cc: "Paul E. McKenney" <paulmck@linux.ibm.com> Cc: Akira Yokosawa <akiyks@gmail.com> Cc: Daniel Lustig <dlustig@nvidia.com> Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com> Acked-by: Alan Stern <stern@rowland.harvard.edu>		2019-08-09 10:28:57 -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 the informal documentation	2019-08-09 10:28:57 -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