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