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