path: root/Documentation/memory-barriers.txt
diff options
authorAndrea Parri <>2018-02-20 15:25:07 -0800
committerIngo Molnar <>2018-02-21 09:58:14 +0100
commit621df431b0ac931e318679f54047c47eb23cfdd2 (patch)
treed0166ef5d4ae670d8f5b4941a664ad2624d3ce28 /Documentation/memory-barriers.txt
parent65b65f8e8b941785b0a08cf24ffd7084c8df327c (diff)
Documentation/memory-barriers.txt: Cross-reference "tools/memory-model/"
A memory consistency model is now available for the Linux kernel [1], which "can (roughly speaking) be thought of as an automated version of memory-barriers.txt" and which is (in turn) "accompanied by extensive documentation on its use and its design". Inform the (occasional) reader of memory-barriers.txt of these developments. [1] Co-developed-by: Andrea Parri <> Co-developed-by: Akira Yokosawa <> Signed-off-by: Andrea Parri <> Signed-off-by: Akira Yokosawa <> Signed-off-by: Paul E. McKenney <> Acked-by: Peter Zijlstra <> Cc: Linus Torvalds <> Cc: Thomas Gleixner <> Cc: Cc: Cc: Cc: Cc: Cc: Cc: Cc: Cc: Link: Signed-off-by: Ingo Molnar <>
Diffstat (limited to 'Documentation/memory-barriers.txt')
1 files changed, 5 insertions, 1 deletions
diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt
index a863009849a3..a37d3aff3e73 100644
--- a/Documentation/memory-barriers.txt
+++ b/Documentation/memory-barriers.txt
@@ -14,7 +14,11 @@ DISCLAIMER
This document is not a specification; it is intentionally (for the sake of
brevity) and unintentionally (due to being human) incomplete. This document is
meant as a guide to using the various memory barriers provided by Linux, but
-in case of any doubt (and there are many) please ask.
+in case of any doubt (and there are many) please ask. Some doubts may be
+resolved by referring to the formal memory consistency model and related
+documentation at tools/memory-model/. Nevertheless, even this memory
+model should be viewed as the collective opinion of its maintainers rather
+than as an infallible oracle.
To repeat, this document is not a specification of what Linux expects from