Messages in this thread | | | Date | Wed, 1 Dec 2021 16:50:27 -0800 | From | "Paul E. McKenney" <> | 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(-)
| |