lkml.org 
[lkml]   [2018]   [Nov]   [12]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[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(-)

\
 
 \ /
  Last update: 2018-11-11 21:25    [W:0.032 / U:0.504 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site