Hello! This series contains LKMM documentation updates: 1. Documentation/litmus-tests: Add locking tests to README. 2. Documentation/litmus-tests: Demonstrate unordered failing cmpxchg. 3. Documentation/atomic_t: Emphasize that failed atomic operations give no ordering. 4. Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus. Changes since V1: o Apply formatting feedback from Andrea Parri o Add patch 4 that makes tests safe for klitmus, also based on feedback from Andrea Parri. Thanx, Paul ------------------------------------------------------------------------ Documentation/litmus-tests/README | 16 ++++ Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 1 Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 4 - Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 1 Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 4 - b/Documentation/atomic_t.txt | 4 - b/Documentation/litmus-tests/README | 29 ++++++++ b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 34 ++++++++++ b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 30 ++++++++ b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 33 +++++++++ b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 30 ++++++++ 11 files changed, 180 insertions(+), 6 deletions(-)
