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@xxxxxxx>
> Signed-off-by: Andrea Parri <parri.andrea@xxxxxxxxx>
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. ;-)
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?
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@xxxxxxxxx>
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@xxxxxxx>
Signed-off-by: Andrea Parri <parri.andrea@xxxxxxxxx>
Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx>
diff --git a/MAINTAINERS b/MAINTAINERS
index ba4dc08fbe95..e6ad9b44e8fb 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -8101,6 +8101,7 @@ L: linux-kernel@xxxxxxxxxxxxxxx
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@xxxxxxxxxxxx>
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
