From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Andrea Parri <parri.andrea@gmail.com>
Cc: corbet@lwn.net, stern@rowland.harvard.edu, will.deacon@arm.com,
peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com,
dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr,
linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org
Subject: Re: [PATCH 2/2] MAINTAINERS: list file memory-barriers.txt within the LKMM entry
Date: Sun, 4 Feb 2018 02:11:49 -0800 [thread overview]
Message-ID: <20180204101149.GP3617@linux.vnet.ibm.com> (raw)
In-Reply-To: <20180203010800.GA6570@andrea>
On Sat, Feb 03, 2018 at 02:08:00AM +0100, Andrea Parri wrote:
> On Fri, Feb 02, 2018 at 03:51:02PM -0800, Paul E. McKenney wrote:
> > On Fri, Feb 02, 2018 at 10:13:42AM +0100, Andrea Parri wrote:
> > > Now that a formal specification of the LKMM has become available to
> > > the developer, some concern about how to track changes to the model
> > > on the level of the "high-level documentation" was raised.
> > >
> > > A first "mitigation" to this issue, suggested by Will, is to assign
> > > maintainership (and responsibility!!) of such documentation (here,
> > > memory-barriers.txt) to the maintainers of the LKMM themselves.
> > >
> > > Suggested-by: Will Deacon <will.deacon@arm.com>
> > > Signed-off-by: Andrea Parri <parri.andrea@gmail.com>
> >
> > Very good, thank you, queued! Please see below for the usual commit-log
> > rework. BTW, in future submissions, could you please capitalize the
> > first word after the colon (":") in the subject line? It is all too
> > easy for me to forget to change this, as Ingo can attest. ;-)
>
> Sorry, I'll do my best! ;-)
>
>
> >
> > If we are going to continue to use the LKMM acronym, should we make the
> > first line of the MAINTAINERS block look something like this?
>
> I've no strong opinion about whether we should, but it makes sense to me.
> (The acronym is currently defined (and heavily used) in explanation.txt.)
I have added an experimental commit to this effect (see the "EXP" at
the beginning of the subject line). If there are no objections, I will
squash it into 12a62a1d0703 ("MAINTAINERS: Add the Memory Consistency
Model subsystem").
Thanx, Paul
> Thanks,
> Andrea
>
>
> >
> > LINUX KERNEL MEMORY CONSISTENCY MODEL (LKMM)
> >
> > One alternative would be to start calling it LKMCM, though that does
> > look a bit like a Roman numeral. ;-)
> >
> > Thanx, Paul
> >
> > ------------------------------------------------------------------------
> >
> > commit 2f80571625dc2d1977acdef79267ba1645b07c53
> > Author: Andrea Parri <parri.andrea@gmail.com>
> > Date: Fri Feb 2 10:13:42 2018 +0100
> >
> > MAINTAINERS: List file memory-barriers.txt within the LKMM entry
> >
> > We now have a shiny new Linux-kernel memory model (LKMM) and the old
> > tried-and-true Documentation/memory-barrier.txt. It would be good to
> > keep these automatically synchronized, but in the meantime we need at
> > least let people know that they are related. Will suggested adding the
> > Documentation/memory-barrier.txt file to the LKMM maintainership list,
> > thus making the LKMM maintainers responsible for both the old and the new.
> > This commit follows Will's excellent suggestion.
> >
> > Suggested-by: Will Deacon <will.deacon@arm.com>
> > Signed-off-by: Andrea Parri <parri.andrea@gmail.com>
> > Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
> >
> > diff --git a/MAINTAINERS b/MAINTAINERS
> > index ba4dc08fbe95..e6ad9b44e8fb 100644
> > --- a/MAINTAINERS
> > +++ b/MAINTAINERS
> > @@ -8101,6 +8101,7 @@ L: linux-kernel@vger.kernel.org
> > S: Supported
> > T: git git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git
> > F: tools/memory-model/
> > +F: Documentation/memory-barriers.txt
> >
> > LINUX SECURITY MODULE (LSM) FRAMEWORK
> > M: Chris Wright <chrisw@sous-sol.org>
> >
>
prev parent reply other threads:[~2018-02-04 10:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-02 9:13 [PATCH 2/2] MAINTAINERS: list file memory-barriers.txt within the LKMM entry Andrea Parri
2018-02-02 23:51 ` Paul E. McKenney
2018-02-03 1:08 ` Andrea Parri
2018-02-04 10:11 ` Paul E. McKenney [this message]
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=20180204101149.GP3617@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.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=parri.andrea@gmail.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;
as well as URLs for NNTP newsgroup(s).