Home
last modified time | relevance | path

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

/openbmc/linux/tools/memory-model/
H A Dlinux-kernel.catdiff f9de417121001879d92a86960647adb06b5b81bf Thu Jun 20 10:55:36 CDT 2019 Alan Stern <stern@rowland.harvard.edu> tools/memory-model: Expand definition of barrier

Commit 66be4e66a7f4 ("rcu: locking and unlocking need to always be at
least barriers") added compiler barriers back into rcu_read_lock() and
rcu_read_unlock(). Furthermore, srcu_read_lock() and
srcu_read_unlock() have always contained compiler barriers.

The Linux Kernel Memory Model ought to know about these barriers.
This patch adds them into the memory model.

Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
Acked-by: Andrea Parri <andrea.parri@amarulasolutions.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>