Home
last modified time | relevance | path

Searched hist:d1a84ab190137cc2a980b6979b1f2790d51b2d87 (Results 1 – 2 of 2) sorted by relevance

/openbmc/linux/tools/memory-model/
H A Dlinux-kernel.belldiff d1a84ab190137cc2a980b6979b1f2790d51b2d87 Mon Apr 22 11:17:58 CDT 2019 Alan Stern <stern@rowland.harvard.edu> tools/memory-model: Add definitions of plain and marked accesses

This patch adds definitions for marked and plain accesses to the
Linux-Kernel Memory Model. It also modifies the definitions of the
existing parts of the model (including the cumul-fence, prop, hb, pb,
and rb relations) so as to make them apply only to marked accesses.

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>
H A Dlinux-kernel.catdiff d1a84ab190137cc2a980b6979b1f2790d51b2d87 Mon Apr 22 11:17:58 CDT 2019 Alan Stern <stern@rowland.harvard.edu> tools/memory-model: Add definitions of plain and marked accesses

This patch adds definitions for marked and plain accesses to the
Linux-Kernel Memory Model. It also modifies the definitions of the
existing parts of the model (including the cumul-fence, prop, hb, pb,
and rb relations) so as to make them apply only to marked accesses.

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>