tools/memory-model: Update the informal documentation
authorAndrea Parri <andrea.parri@amarulasolutions.com>
Sat, 29 Jun 2019 21:10:44 +0000 (23:10 +0200)
committerPaul E. McKenney <paulmck@linux.ibm.com>
Fri, 9 Aug 2019 17:28:57 +0000 (10:28 -0700)
commit6738ff85c3ee8073d5b030cb26241d0009d4ce29
tree925debdeae5d0d6ff762c0fbfa881823db134723
parent6240973e5661a83df24e35a9a9c2013496931e2b
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>
tools/memory-model/Documentation/explanation.txt
tools/memory-model/README