lkml.org 
[lkml]   [2021]   [Dec]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH memory-model 0/3] LKMM updates for v5.17
Hello!

This series provides additional documentation and examples for the
Linux-kernel memory model (LKMM):

1. Provide extra ordering for unlock+lock pair on the same CPU,
courtesy of Boqun Feng.

2. Describe the requirement of the litmus-tests directory, courtesy
of Boqun Feng.

3. Add two tests for unlock(A)+lock(B) ordering, courtesy of
Boqun Feng.

Thanx, Paul

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

Documentation/explanation.txt | 44 +++++++------
README | 12 +++
linux-kernel.cat | 6 -
litmus-tests/LB+unlocklockonceonce+poacquireonce.litmus | 35 ++++++++++
litmus-tests/MP+unlocklockonceonce+fencermbonceonce.litmus | 33 +++++++++
litmus-tests/README | 8 ++
6 files changed, 116 insertions(+), 22 deletions(-)

\
 
 \ /
  Last update: 2021-12-02 01:51    [W:0.035 / U:1.224 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site