lkml.org 
[lkml]   [2019]   [Mar]   [26]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH RFC memory-model 0/21] LKMM updates for review
Hello!

This series contains LKMM updates:

1. Make scripts be executable.

2. Fix comment in MP+poonceonces.litmus, courtesy of Andrea Parri.

3. Do not use "herd" to refer to "herd7", courtesy of Andrea Parri.

4. Rewrite "KERNEL I/O BARRIER EFFECTS" section of memory-barriers.txt,
courtesy of Will Deacon.

5-6. Make LKMM scripts note timeouts instead of just saying that
the validation was bad.

7. Make LKMM scripts identify litmus-test typos and use of
unsupported primitives instead of just saying that the validation
was bad.

8. Add support for synchronize_srcu_expedited().

9. Make LKMM scripts detect unconditional deadlocks.

10-21. Leverage Boqun Feng's C-to-assembly litmus-test-translation
capability to allow verifying LKMM against hardware models
for checkalllitmus.sh. This is a work in progress.

Thanx, Paul

------------------------------------------------------------------------

Documentation/memory-barriers.txt | 115 +++++++++------
tools/memory-model/linux-kernel.def | 1
tools/memory-model/litmus-tests/.gitignore | 4
tools/memory-model/litmus-tests/MP+poonceonces.litmus | 2
tools/memory-model/litmus-tests/README | 2
tools/memory-model/lock.cat | 2
tools/memory-model/scripts/README | 12 -
tools/memory-model/scripts/checkalllitmus.sh | 29 +--
tools/memory-model/scripts/checklitmus.sh | 101 +++++--------
tools/memory-model/scripts/cmplitmushist.sh | 53 ++++++
tools/memory-model/scripts/judgelitmus.sh | 114 +++++++++++---
tools/memory-model/scripts/parseargs.sh | 11 +
tools/memory-model/scripts/runlitmus.sh | 137 ++++++++++++++----
tools/memory-model/scripts/runlitmushist.sh | 3
tools/memory-model/scripts/simpletest.sh | 35 ++++
15 files changed, 425 insertions(+), 196 deletions(-)

\
 
 \ /
  Last update: 2019-03-27 00:41    [W:0.166 / U:0.084 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site