tools/memory-model: Rename some RCU relations
authorAlan Stern <stern@rowland.harvard.edu>
Thu, 15 Nov 2018 16:19:44 +0000 (11:19 -0500)
committerPaul E. McKenney <paulmck@linux.ibm.com>
Mon, 18 Mar 2019 17:23:22 +0000 (10:23 -0700)
commit0172d9e322035bf7bb66a7dfdd795c38d71dbba9
tree5ff3936ecfaa5a837dca01d296f72741b2f36b77
parent9e98c678c2d6ae3a17cb2de55d17f69dddaa231b
tools/memory-model: Rename some RCU relations

In preparation for adding support for SRCU, rename "crit" to
"rcu-rscs", rename "rscs" to "rcu-rscsi", and remove the restriction
to only the outermost level of nesting.

The name change is needed for disambiguating RCU read-side critical
sections from SRCU read-side critical sections.  Adding the "i" at the
end of "rcu-rscsi" emphasizes that the relation is inverted; it links
rcu_read_unlock() events to their corresponding preceding
rcu_read_lock() events.

The restriction to outermost nesting levels was never essential; it
was included mostly to show that it could be done.  Rather than add
equivalent unnecessary code for SRCU lock nesting, it seemed better to
remove the existing code.

Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Tested-by: Andrea Parri <andrea.parri@amarulasolutions.com>
tools/memory-model/linux-kernel.bell
tools/memory-model/linux-kernel.cat