Messages in this thread |  | | Date | Sun, 12 May 2024 10:41:44 -0700 | | From | "Paul E. McKenney" <> | | Subject | [GIT PULL] LKMM changes for v6.10 |
| |
Hello, Linux,
When the merge window opens, please pull this LKMM update from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2024.05.10a HEAD: 2ba5b4130e3d5d05c95981e1d2e660d57e613fda: Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus (2024-05-06 14:29:21 -0700)
---------------------------------------------------------------- lkmm: Upgrade LKMM documentation
This commit upgrades LKMM documentation, perhaps most notably adding a number of litmus tests illustrating cmpxchg() ordering properties. TL;DR: Failing cmpxchg() operations provide no ordering.
---------------------------------------------------------------- Paul E. McKenney (4): Documentation/litmus-tests: Add locking tests to README Documentation/litmus-tests: Demonstrate unordered failing cmpxchg Documentation/atomic_t: Emphasize that failed atomic operations give no ordering Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus
Documentation/atomic_t.txt | 4 +- Documentation/litmus-tests/README | 45 ++++++++++++++++++++++ .../atomic/cmpxchg-fail-ordered-1.litmus | 35 +++++++++++++++++ .../atomic/cmpxchg-fail-ordered-2.litmus | 30 +++++++++++++++ .../atomic/cmpxchg-fail-unordered-1.litmus | 34 ++++++++++++++++ .../atomic/cmpxchg-fail-unordered-2.litmus | 30 +++++++++++++++ 6 files changed, 176 insertions(+), 2 deletions(-) create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus
|  |