RFC Additional proposed changes to LKMM
Get series with b4
b4 am [email protected]Versions newest first
- v1 RFC Latest5 patches 4 repliesIn review
Patches in v1 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/5 | EXP tools/memory-model: Add scripts to test memory modeltools/ tools/ tools/ | +160 | 0 replies | |
| 2/5 | tools/memory-model: Add litmus test for multicopy atomicitytools/ | +31 | 2 replies | |
| 3/5 | EXP tools/memory-model: Add .cfg and .cat files for s390tools/ tools/ | +39 | 0 replies | |
| 4/5 | tools/memory-model: Add model support for spin_is_lockedtools/ tools/ tools/ +2 more | +119 | 2 replies | |
| 5/5 | EXP tools/memory-model: Flag "cumulativity" and "propagation" teststools/ tools/ tools/ | +10 | 0 replies |
Reviews trailers per patch
No Reviewed-by, Acked-by or Tested-by trailers for v1 yet.
Cover letter [PATCH RFC tools/memory-model 0/5] Additional proposed changes to LKMM
Hello!
This series contains a few additional changes to tools/memory-model, however, the members of this series need more discussion and feedback before they are ready for inclusion.
1. Add LKMM test scripts.
2. Add litmus test for full-up multicopy atomicity.
3. Add experimental .cfg and .cat files for s390. These are for
expository purposes only, and would more likely be included in the herd tool than in the Linux kernel.
4. Add LKMM support for spin_is_locked(), courtesy of Luc Maranget.
It has been suggested that spin_is_locked() be removed from the kernel, but in the meantime we should at least have a definition of what it does.
5. Flag litmus test demonstrating the A-cumulativity of
smp_store_release() and LKMM's propagation rule.
Thanx, Paul
------------------------------------------------------------------------
linux-kernel.def | 1 litmus-tests/.gitignore | 1 litmus-tests/IRIW+mbonceonces+OnceOnce.litmus | 2 litmus-tests/MP+polockmbonce+poacquiresilsil.litmus | 30 +++++ litmus-tests/MP+polockonce+poacquiresilsil.litmus | 29 +++++ litmus-tests/README | 19 +++ litmus-tests/SB+poonceoncescoh.litmus | 31 ++++++ litmus-tests/WRC+pooncerelease+rmbonceonce+Once.litmus | 4 lock.cat | 53 +++++++++- s390.cat | 18 +++ s390.cfg | 21 ++++ scripts/checkalllitmus.sh | 73 ++++++++++++++ scripts/checklitmus.sh | 86 +++++++++++++++++ 13 files changed, 359 insertions(+), 9 deletions(-)