diff options
author | Alan Stern <stern@rowland.harvard.edu> | 2019-04-22 12:17:45 -0400 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-05-28 08:18:21 -0700 |
commit | 4494dd58fbb477e54c129c1d8ef477aad433eba0 (patch) | |
tree | 504b50ab6202c69f01cc029976a290af9d9a6bf4 /tools/memory-model/linux-kernel.bell | |
parent | a188339ca5a396acc588e5851ed7e19f66b0ebd9 (diff) |
tools/memory-model: Prepare for data-race detection
This patch makes some slight alterations to linux-kernel.cat in
preparation for adding support for data-race detection to the
Linux-Kernel Memory Model.
The definitions of relations involved in Acquire, Release, and
unlock-lock ordering are moved up earlier in the source file.
The rmb relation is factored through the new R4rmb class: the
class of reads to which rmb will apply.
The definition of the fence relation is moved earlier, and it
is split up into read- and write-fences (rmb and wmb) and all
the others.
This should not make any functional changes.
Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
Reviewed-by: Andrea Parri <andrea.parri@amarulasolutions.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Diffstat (limited to 'tools/memory-model/linux-kernel.bell')
0 files changed, 0 insertions, 0 deletions