RFC LKMM updates for review
Get series with b4
b4 am [email protected]Versions newest first
- v1 RFC Latest33 patches 0 repliesNew
Patches in v1 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/33 | tools/memory-model: Prepare for data-race detectiontools/ | +9 | 0 replies | |
| 2/33 | tools/memory-model: Add definitions of plain and marked accessestools/ tools/ | +14 | 0 replies | |
| 3/33 | tools/memory-model: Add data-race detectiontools/ tools/ tools/ | +51 | 0 replies | |
| 4/33 | tools/memory-model: Make scripts be executabletools/ tools/ tools/ +5 more | +0 | 0 replies | |
| 5/33 | Documentation: atomic_t.txt: Explain ordering provided by smp_mb__{before,after}_atomic()Documentation/ | +13 | 0 replies | |
| 6/33 | tools/memory-model: Fix comment in MP+poonceonces.litmustools/ | +1 | 0 replies | |
| 7/33 | tools/memory-model: Do not use "herd" to refer to "herd7"tools/ tools/ tools/ +4 more | +8 | 0 replies | |
| 8/33 | tools/memory-model: Make judgelitmus.sh note timeoutstools/ | +8 | 0 replies | |
| 9/33 | tools/memory-model: Make cmplitmushist.sh note timeoutstools/ | +22 | 0 replies | |
| 10/33 | tools/memory-model: Make judgelitmus.sh identify bad macrostools/ tools/ | +39 | 0 replies | |
| 11/33 | tools/memory-model: Make judgelitmus.sh detect hard deadlockstools/ | +8 | 0 replies | |
| 12/33 | tools/memory-model: Fix paulmck email address on pre-existing scriptstools/ tools/ tools/ +4 more | +7 | 0 replies | |
| 13/33 | tools/memory-model: Update parseargs.sh for hardware verificationtools/ | +8 | 0 replies | |
| 14/33 | tools/memory-model: Make judgelitmus.sh handle hardware verificationstools/ tools/ | +51 | 0 replies | |
| 15/33 | tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCUtools/ | +35 | 0 replies | |
| 16/33 | tools/memory-model: Fix checkalllitmus.sh commenttools/ | +2 | 0 replies | |
| 17/33 | tools/memory-model: Hardware checking for check{,all}litmus.shtools/ tools/ | +49 | 0 replies | |
| 18/33 | tools/memory-model: Make judgelitmus.sh ransack .litmus.out filestools/ | +8 | 0 replies | |
| 19/33 | tools/memory-model: Split runlitmus.sh out of checklitmus.shtools/ tools/ | +73 | 0 replies | |
| 20/33 | tools/memory-model: Make runlitmus.sh generate .litmus.out for --hwtools/ | +30 | 0 replies | |
| 21/33 | tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.outtools/ tools/ tools/ | +3 | 0 replies | |
| 22/33 | tools/memory-model: Keep assembly-language litmus teststools/ tools/ | +3 | 0 replies | |
| 23/33 | tools/memory-model: Allow herd to deduce CPU typetools/ | +1 | 0 replies | |
| 24/33 | tools/memory-model: Make runlitmus.sh check for jingle errorstools/ | +5 | 0 replies | |
| 25/33 | tools/memory-model: Add -v flag to jingle7 runstools/ | +3 | 0 replies | |
| 26/33 | tools/memory-model: Implement --hw support for checkghlitmus.shtools/ tools/ tools/ | +42 | 0 replies | |
| 27/33 | tools/memory-model: Fix scripting --jobs argumenttools/ | +1 | 0 replies | |
| 28/33 | tools/memory-model: Make checkghlitmus.sh use mselect7tools/ | +1 | 0 replies | |
| 29/33 | tools/memory-model: Make history-check scripts use mselect7tools/ tools/ | +2 | 0 replies | |
| 30/33 | tools/memory-model: Add "--" to parseargs.sh for additional argumentstools/ | +5 | 0 replies | |
| 31/33 | tools/memory-model: Repair parseargs.sh header commenttools/ | +1 | 0 replies | |
| 32/33 | tools/memory-model: Add checktheselitmus.sh to run specified litmus teststools/ tools/ | +51 | 0 replies | |
| 33/33 | tools/memory-model: Add data-race capabilities to judgelitmus.shtools/ | +19 | 0 replies |
Reviews trailers per patch
4 of 33 patches have a Reviewed-by or Acked-by.
| Patch | Andrea Parri |
|---|---|
| 1/33 | R-b |
| 2/33 | R-b |
| 3/33 | R-b |
| 4/33 | |
| 5/33 | A-b |
| 6/33 | |
| 7/33 | |
| 8/33 | |
| 9/33 | |
| 10/33 | |
| 11/33 | |
| 12/33 | |
| 13/33 | |
| 14/33 | |
| 15/33 | |
| 16/33 | |
| 17/33 | |
| 18/33 | |
| 19/33 | |
| 20/33 | |
| 21/33 | |
| 22/33 | |
| 23/33 | |
| 24/33 | |
| 25/33 | |
| 26/33 | |
| 27/33 | |
| 28/33 | |
| 29/33 | |
| 30/33 | |
| 31/33 | |
| 32/33 | |
| 33/33 |
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/33] LKMM updates for review
Hello!
This series contains LKMM updates:
1-3. Add plain C-language accesses to the model, including data-race
detection, courtesy of Alan Stern.
4. Make scripts be executable.
5. Explain ordering provided by smp_mb__{before,after}_atomic(),
courtesy of Alan Stern.
6. Fix comment in MP+poonceonces.litmus, courtesy of Andrea Parri.
7. Make documentation referencing "herd" instead reference the
actual name of the command, "herd7", courtesy of Andrea Parri.
8-9. Make LKMM scripts note timeouts instead of just saying that
the validation was bad.
10. Make LKMM scripts identify litmus-test typos and use of
unsupported primitives instead of just saying that the validation was bad.
11. Make LKMM scripts detect unconditional deadlocks.
12. Fix email address on LKMM scripts.
13-33. 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/atomic_t.txt | 17 +- tools/memory-model/linux-kernel.bell | 6 tools/memory-model/linux-kernel.cat | 82 ++++++++-- 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 | 20 +- tools/memory-model/scripts/checkalllitmus.sh | 31 +-- tools/memory-model/scripts/checkghlitmus.sh | 11 - tools/memory-model/scripts/checklitmus.sh | 103 +++++-------- tools/memory-model/scripts/checklitmushist.sh | 2 tools/memory-model/scripts/checktheselitmus.sh | 43 +++++ tools/memory-model/scripts/cmplitmushist.sh | 53 ++++++ tools/memory-model/scripts/hwfnseg.sh | 20 ++ tools/memory-model/scripts/initlitmushist.sh | 2 tools/memory-model/scripts/judgelitmus.sh | 136 +++++++++++++---- tools/memory-model/scripts/newlitmushist.sh | 4 tools/memory-model/scripts/parseargs.sh | 23 ++ tools/memory-model/scripts/runlitmus.sh | 142 ++++++++++++++---- tools/memory-model/scripts/runlitmushist.sh | 32 ++-- tools/memory-model/scripts/simpletest.sh | 35 ++++ 23 files changed, 573 insertions(+), 200 deletions(-)