RFC LKMM updates for review
Get series with b4
b4 am [email protected]Versions newest first
- v1 RFC Latest21 patches 6 repliesIn review
Patches in v1 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/21 | tools/memory-model: Make scripts be executabletools/ tools/ tools/ +5 more | +0 | 0 replies | |
| 2/21 | tools/memory-model: Fix comment in MP+poonceonces.litmustools/ | +1 | 0 replies | |
| 3/21 | tools/memory-model: Do not use "herd" to refer to "herd7"tools/ tools/ tools/ +4 more | +8 | 0 replies | |
| 4/21 | docs/memory-barriers.txt: Rewrite "KERNEL I/O BARRIER EFFECTS" sectionDocumentation/ | +70 | 4 replies | |
| 5/21 | tools/memory-model: Make judgelitmus.sh note timeoutstools/ | +8 | 0 replies | |
| 6/21 | tools/memory-model: Make cmplitmushist.sh note timeoutstools/ | +22 | 0 replies | |
| 7/21 | tools/memory-model: Make judgelitmus.sh identify bad macrostools/ tools/ | +39 | 0 replies | |
| 8/21 | tools/memory-model: Add support for synchronize_srcu_expedited()tools/ | +1 | 2 replies | |
| 9/21 | tools/memory-model: Make judgelitmus.sh detect hard deadlockstools/ | +8 | 0 replies | |
| 10/21 | tools/memory-model: Update parseargs.sh for hardware verificationtools/ | +8 | 0 replies | |
| 11/21 | tools/memory-model: Make judgelitmus.sh handle hardware verificationstools/ tools/ | +51 | 0 replies | |
| 12/21 | tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCUtools/ | +35 | 0 replies | |
| 13/21 | tools/memory-model: Fix checkalllitmus.sh commenttools/ | +2 | 0 replies | |
| 14/21 | tools/memory-model: Hardware checking for check{,all}litmus.shtools/ tools/ | +49 | 0 replies | |
| 15/21 | tools/memory-model: Make judgelitmus.sh ransack .litmus.out filestools/ | +8 | 0 replies | |
| 16/21 | tools/memory-model: Split runlitmus.sh out of checklitmus.shtools/ tools/ | +73 | 0 replies | |
| 17/21 | tools/memory-model: Make runlitmus.sh generate .litmus.out for --hwtools/ | +30 | 0 replies | |
| 18/21 | tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.outtools/ tools/ tools/ | +3 | 0 replies | |
| 19/21 | tools/memory-model: Keep assembly-language litmus teststools/ tools/ | +3 | 0 replies | |
| 20/21 | tools/memory-model: Allow herd to deduce CPU typetools/ | +1 | 0 replies | |
| 21/21 | tools/memory-model: Make runlitmus.sh check for jingle errorstools/ | +5 | 0 replies |
Reviews trailers per patch
1 of 21 patches has a Reviewed-by or Acked-by.
| Patch | Andrea Parri |
|---|---|
| 1/21 | |
| 2/21 | |
| 3/21 | |
| 4/21 | |
| 5/21 | |
| 6/21 | |
| 7/21 | |
| 8/21 | A-b |
| 9/21 | |
| 10/21 | |
| 11/21 | |
| 12/21 | |
| 13/21 | |
| 14/21 | |
| 15/21 | |
| 16/21 | |
| 17/21 | |
| 18/21 | |
| 19/21 | |
| 20/21 | |
| 21/21 |
Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes.
Cover letter [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(-)