tree 5e86d66c4635958dbc2b9ee277e6234a9f055fc1
parent b47c05ecf60bd8743ad8c0ee510d3e1c060529d7
author Boqun Feng <boqun.feng@gmail.com> 1635173656 +0800
committer Paul E. McKenney <paulmck@kernel.org> 1638323228 -0800

tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering

The memory model has been updated to provide a stronger ordering
guarantee for unlock(A)+lock(B) on the same CPU/thread. Therefore add
two litmus tests describing this new guarantee, these tests are simple
yet can clearly show the usage of the new guarantee, also they can serve
as the self tests for the modification in the model.

Co-developed-by: Alan Stern <stern@rowland.harvard.edu>
Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
Signed-off-by: Boqun Feng <boqun.feng@gmail.com>
Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>