Skip to content

RFC LKMM updates for v4.21/v5.0

Paul E. McKenney linux-arch lkml 1 version New

Get series with b4
b4 am [email protected]

Versions newest first

  1. v1 RFC Latest3 patches 0 repliesNew

Patches in v1 No applies recorded yet

#Subject and filesSizeRepliesApplied
1/3tools/memory-model: Model smp_mb__after_unlock_lock()tools/memory-model/linux-kernel.bell tools/memory-model/linux-kernel.cat tools/memory-model/linux-kernel.def+6 -20 replies
2/3EXP tools/memory-model: Add scripts to check github litmus teststools/memory-model/.gitignore tools/memory-model/README tools/memory-model/scripts/README +10 more+739 -930 replies
3/3EXP tools/memory-model: Make scripts take "-j" abbreviation for "--jobs"tools/memory-model/scripts/parseargs.sh+12 -20 replies

Reviews trailers per patch

No Reviewed-by, Acked-by or Tested-by trailers for v1 yet.

Read the v1 thread

Cover letter [PATCH RFC memory-model 0/3] LKMM updates for v4.21/v5.0

Hello!

This series contains updates for the Linux-kernel memory model:

1. Model smp_mb__after_unlock_lock(), courtesy of Andrea Parri.

2. Add scripts to check github litmus tests.

3. Make scripts take "-j" abbreviation for "--jobs".

Thanx, Paul

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

 .gitignore                 |    1 
 README                     |    2 
 linux-kernel.bell          |    3 
 linux-kernel.cat           |    4 -
 linux-kernel.def           |    1 
 scripts/README             |   70 ++++++++++++++++++++++
 scripts/checkalllitmus.sh  |   53 +++++++----------
 scripts/checkghlitmus.sh   |   65 ++++++++++++++++++++
 scripts/checklitmus.sh     |   74 +++--------------------
 scripts/checklitmushist.sh |   60 +++++++++++++++++++
 scripts/cmplitmushist.sh   |   87 +++++++++++++++++++++++++++
 scripts/initlitmushist.sh  |   68 +++++++++++++++++++++
 scripts/judgelitmus.sh     |   78 +++++++++++++++++++++++++
 scripts/newlitmushist.sh   |   61 +++++++++++++++++++
 scripts/parseargs.sh       |  140 ++++++++++++++++++++++++++++++++++++++++++++-
 scripts/runlitmushist.sh   |   87 +++++++++++++++++++++++++++
 16 files changed, 757 insertions(+), 97 deletions(-)