lkml.org 
[lkml]   [2019]   [Oct]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH memory-model 0/32] Memory-model updates
Hello!

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

1. Fix data race detection for unordered store and load,
courtesy of Alan Stern.

2-4. Documentation update for plain accesses.

5-32. Work-in-progress test-script updates.

Thanx, Paul

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

Documentation/explanation.txt | 602 ++++++++++++++++++++++++++++++++++++++++--
linux-kernel.cat | 2
litmus-tests/.gitignore | 4
scripts/README | 16 -
scripts/checkalllitmus.sh | 29 --
scripts/checkghlitmus.sh | 11
scripts/checklitmus.sh | 101 +++----
scripts/checklitmushist.sh | 2
scripts/checktheselitmus.sh | 43 +++
scripts/cmplitmushist.sh | 53 +++
scripts/hwfnseg.sh | 20 +
scripts/initlitmushist.sh | 2
scripts/judgelitmus.sh | 164 ++++++++---
scripts/newlitmushist.sh | 4
scripts/parseargs.sh | 21 +
scripts/runlitmus.sh | 144 +++++++---
scripts/runlitmushist.sh | 29 +-
scripts/simpletest.sh | 35 ++
18 files changed, 1071 insertions(+), 211 deletions(-)

\
 
 \ /
  Last update: 2019-10-03 02:11    [W:0.088 / U:5.664 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site