[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20180307172627.GA15805@linux.vnet.ibm.com>
Date: Wed, 7 Mar 2018 09:26:27 -0800
From: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
To: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org
Cc: mingo@...nel.org, stern@...land.harvard.edu,
parri.andrea@...il.com, will.deacon@....com, peterz@...radead.org,
boqun.feng@...il.com, npiggin@...il.com, dhowells@...hat.com,
j.alglave@....ac.uk, luc.maranget@...ia.fr, akiyks@...il.com
Subject: [PATCH tools/memory-model 0/4] Documentation updates and fixes
Hello!
This patch series adds some documentation and fixes to the Linux-kernel
memory model (LKMM):
1. Add more text to meomry-barrier.txt to de-emphasize
smp_read_barrier_depends().
2. Remove mention of the now-obsolete docker and gentoo images
from README.
3. Add documentation for the new ISA2+pooncelock+pooncelock+pombonce
litmus test.
4. Update the removal of rb-dep, smp_read_barrier_depends(), and
lockless_dereference() to reflect feedback.
Thanx, Paul
------------------------------------------------------------------------
Documentation/memory-barriers.txt | 26 +++++++++++++++--------
tools/memory-model/Documentation/cheatsheet.txt | 6 ++---
tools/memory-model/Documentation/explanation.txt | 4 +--
tools/memory-model/README | 15 -------------
tools/memory-model/linux-kernel.def | 2 -
tools/memory-model/litmus-tests/README | 6 +++++
6 files changed, 30 insertions(+), 29 deletions(-)
Powered by blists - more mailing lists