• Andrea Parri's avatar
    tools/memory-model: Update the informal documentation · 6738ff85
    Andrea Parri authored
    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: default avatarAndrea 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: default avatarPaul E. McKenney <paulmck@linux.ibm.com>
    Acked-by: default avatarAlan Stern <stern@rowland.harvard.edu>
    6738ff85
README 8.98 KB