lkml.org 
[lkml]   [2018]   [Mar]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
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(-)

\
 
 \ /
  Last update: 2018-03-07 18:27    [W:0.127 / U:0.400 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site