diff options
author | Boqun Feng <boqun.feng@gmail.com> | 2020-03-26 05:40:22 +0300 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2020-06-29 22:05:18 +0300 |
commit | e30d02355536e9678ab8a4dfcd6e90a86479b10f (patch) | |
tree | dd40f5e1dde3b1b009987450cab9bb19e45ce07f /tools/memory-model | |
parent | 4dcd4d36ddb1fa7fa7257ffe9e711608119b9785 (diff) | |
download | linux-e30d02355536e9678ab8a4dfcd6e90a86479b10f.tar.xz |
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>
Diffstat (limited to 'tools/memory-model')
0 files changed, 0 insertions, 0 deletions