Searched hist:"284749 b0aebbf3ab26ff92198545aea36165f6bf" (Results 1 – 1 of 1) sorted by relevance
| /openbmc/linux/tools/memory-model/ |
| H A D | linux-kernel.cat | diff 284749b0aebbf3ab26ff92198545aea36165f6bf Thu Nov 15 10:19:58 CST 2018 Alan Stern <stern@rowland.harvard.edu> 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>
|