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

> 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.

For the series,

Acked-by: Andrea Parri <parri.andrea@gmail.com>

  Andrea

On Thu, May 02, 2024 at 11:36:51AM +0200, Andrea Parri wrote:
> > 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.
> 
> For the series,
> 
> Acked-by: Andrea Parri <parri.andrea@gmail.com>

Thank you!  I will apply on my next rebase.

							Thanx, Paul