diff options
| author | Alan Stern <stern@rowland.harvard.edu> | 2018-11-15 11:19:58 -0500 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-03-18 10:27:52 -0700 |
| commit | 284749b0aebbf3ab26ff92198545aea36165f6bf (patch) | |
| tree | 0ed5262e2703aab997e81b5649bc1f7c78a2871e /Kconfig | |
| parent | 0172d9e322035bf7bb66a7dfdd795c38d71dbba9 (diff) | |
| download | linux-284749b0aebbf3ab26ff92198545aea36165f6bf.tar.bz2 | |
tools/memory-model: Refactor some RCU relations
In preparation for adding support for SRCU, refactor the definitions
of rcu-fence, rcu-rscsi, rcu-link, and rb by moving the po and po?
terms from the first two to the second two. An rcu-gp relation is
added; it is equivalent to gp with the po and po? terms removed.
This is necessary because for SRCU, we will have to use the loc
relation to check that the terms at the start and end of each disjunct
in the definition of rcu-fence refer to the same srcu_struct
location. If these terms are hidden behind po and po?, there's no way
to carry out this check.
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>
Diffstat (limited to 'Kconfig')
0 files changed, 0 insertions, 0 deletions