tools/memory-model: Use "buf" and "flag" for message-passing tests
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 5 Nov 2020 21:30:11 +0000 (13:30 -0800)
committerPaul E. McKenney <paulmck@kernel.org>
Sat, 7 Nov 2020 01:25:16 +0000 (17:25 -0800)
commitacc4bdc55dcb7d7fe0be736999572a55e121873f
tree40d4e267967aecde4397585bbb098d71b053bb41
parent1947bfcf81a905e84a58b423063e81034a90efed
tools/memory-model: Use "buf" and "flag" for message-passing tests

The use of "x" and "y" for message-passing tests is fine for people
familiar with memory models and litmus-test nomenclature, but is a bit
obtuse for others.  This commit therefore substitutes "buf" for "x" and
"flag" for "y" for the MP tests.  There are a few special-case MP tests
that use locks and these are unchanged.  There is another MP test that
uses pointers, and this is changed to name the pointer "p".

Reported-by: Johannes Weiner <hannes@cmpxchg.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/litmus-tests/MP+fencewmbonceonce+fencermbonceonce.litmus
tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus
tools/memory-model/litmus-tests/MP+polocks.litmus
tools/memory-model/litmus-tests/MP+poonceonces.litmus
tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus
tools/memory-model/litmus-tests/MP+porevlocks.litmus