[PATCH memory-model 0/32] Memory-model updates

From: Paul E. McKenney
Date: Wed Oct 02 2019 - 20:10:43 EST


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(-)