Commit 38908de9 authored by Paul E. McKenney's avatar Paul E. McKenney
Browse files

tools/memory-model: Add recent references 



This commit updates the list of LKMM-related publications in
Documentation/references.txt.

Signed-off-by: default avatarPaul E. McKenney <paulmck@kernel.org>
Acked-by: default avatarAndrea Parri <parri.andrea@gmail.com>
parent 9ebcfadb

tools/memory-model/Documentation/references.txt

+19 −2
Original line number Diff line number Diff line
@@ -73,6 +73,18 @@ o Christopher Pulte, Shaked Flur, Will Deacon, Jon French, 
Linux-kernel memory model

=========================



o	Jade Alglave, Will Deacon, Boqun Feng, David Howells, Daniel

	Lustig, Luc Maranget, Paul E. McKenney, Andrea Parri, Nicholas

	Piggin, Alan Stern, Akira Yokosawa, and Peter Zijlstra.

	2019. "Calibrating your fear of big bad optimizing compilers"

	Linux Weekly News.  https://lwn.net/Articles/799218/



o	Jade Alglave, Will Deacon, Boqun Feng, David Howells, Daniel

	Lustig, Luc Maranget, Paul E. McKenney, Andrea Parri, Nicholas

	Piggin, Alan Stern, Akira Yokosawa, and Peter Zijlstra.

	2019. "Who's afraid of a big bad optimizing compiler?"

	Linux Weekly News.  https://lwn.net/Articles/793253/



o	Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, and

	Alan Stern.  2018. "Frightening small children and disconcerting

	grown-ups: Concurrency in the Linux kernel". In Proceedings of
@@ -88,6 +100,11 @@ o Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, and 
	Alan Stern.  2017.  "A formal kernel memory-ordering model (part 2)"

	Linux Weekly News.  https://lwn.net/Articles/720550/



o	Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, and

	Alan Stern.  2017-2019.  "A Formal Model of Linux-Kernel Memory

	Ordering" (backup material for the LWN articles)

	https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/LWNLinuxMM/





Memory-model tooling

====================
@@ -110,5 +127,5 @@ Memory-model comparisons 
========================



o	Paul E. McKenney, Ulrich Weigand, Andrea Parri, and Boqun

	Feng. 2016. "Linux-Kernel Memory Model". (6 June 2016).

	http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0124r2.html.
 
	Feng. 2018. "Linux-Kernel Memory Model". (27 September 2018).

	http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0124r6.html.

CRA Git | Maintained and supported by SUSTech CRA and CCSE