mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Andrea Parri <parri.andrea@gmail.com>
To: corbet@lwn.net, dhowells@redhat.com, paulmck@linux.vnet.ibm.com,
	will.deacon@arm.com, peterz@infradead.org
Cc: linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org,
	stern@rowland.harvard.edu, boqun.feng@gmail.com,
	npiggin@gmail.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr,
	Andrea Parri <parri.andrea@gmail.com>
Subject: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"
Date: Fri,  2 Feb 2018 10:12:48 +0100	[thread overview]
Message-ID: <1517562768-6238-1-git-send-email-parri.andrea@gmail.com> (raw)

Recent efforts led to the specification of a memory consistency model
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".

Make sure that the (occasional) reader of memory-barriers.txt will be
aware of these developments.

[1] https://marc.info/?l=linux-kernel&m=151687290114799&w=2

Signed-off-by: Andrea Parri <parri.andrea@gmail.com>
---
 Documentation/memory-barriers.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt
index a863009849a3b..8cc3f098f4a7d 100644
--- a/Documentation/memory-barriers.txt
+++ b/Documentation/memory-barriers.txt
@@ -17,7 +17,9 @@ 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.
 
 To repeat, this document is not a specification of what Linux expects from
-hardware.
+hardware.  For such a specification, in the form of a memory consistency
+model, and for documentation about its usage and its design, the reader is
+referred to "tools/memory-model/".
 
 The purpose of this document is twofold:
 
-- 
2.7.4

             reply	other threads:[~2018-02-02  9:13 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-02  9:12 Andrea Parri [this message]
2018-02-03  1:21 ` Paul E. McKenney
     [not found]   ` <8b4db282-2705-ed96-cf23-b0cdf94bbac8@gmail.com>
2018-02-04 18:37     ` Andrea Parri
2018-02-09 12:31       ` Paul E. McKenney
2018-02-09 12:50         ` Andrea Parri
2018-02-09 13:11           ` Akira Yokosawa
2018-02-09 14:29           ` Paul E. McKenney
2018-02-09 14:53             ` Akira Yokosawa
2018-02-09 15:00             ` Andrea Parri
2018-02-10  0:55               ` Paul E. McKenney

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1517562768-6238-1-git-send-email-parri.andrea@gmail.com \
    --to=parri.andrea@gmail.com \
    --cc=boqun.feng@gmail.com \
    --cc=corbet@lwn.net \
    --cc=dhowells@redhat.com \
    --cc=j.alglave@ucl.ac.uk \
    --cc=linux-doc@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=luc.maranget@inria.fr \
    --cc=npiggin@gmail.com \
    --cc=paulmck@linux.vnet.ibm.com \
    --cc=peterz@infradead.org \
    --cc=stern@rowland.harvard.edu \
    --cc=will.deacon@arm.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

all inboxes | Powered by JetHome®