Documentation/litmus-tests/atomic: Add a test for smp_mb__after_atomic()
authorBoqun Feng <boqun.feng@gmail.com>
Thu, 26 Mar 2020 02:40:22 +0000 (10:40 +0800)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 29 Jun 2020 19:05:18 +0000 (12:05 -0700)
commite30d02355536e9678ab8a4dfcd6e90a86479b10f
treedd40f5e1dde3b1b009987450cab9bb19e45ce07f
parent4dcd4d36ddb1fa7fa7257ffe9e711608119b9785
Documentation/litmus-tests/atomic: Add a test for smp_mb__after_atomic()

We already use a litmus test in atomic_t.txt to describe atomic RMW +
smp_mb__after_atomic() is stronger than acquire (both the read and the
write parts are ordered). So make it a litmus test in atomic-tests
directory, so that people can access the litmus easily.

Additionally, change the processor numbers "P1, P2" to "P0, P1" in
atomic_t.txt for the consistency with the processor numbers in the
litmus test, which herd can handle.

Acked-by: Alan Stern <stern@rowland.harvard.edu>
Acked-by: Andrea Parri <parri.andrea@gmail.com>
Signed-off-by: Boqun Feng <boqun.feng@gmail.com>
Reviewed-by: Joel Fernandes (Google) <joel@joelfernandes.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Documentation/atomic_t.txt
Documentation/litmus-tests/atomic/Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus [new file with mode: 0644]
Documentation/litmus-tests/atomic/README