OSDN Git Service

tools/memory-model: Expand definition of barrier
authorAlan Stern <stern@rowland.harvard.edu>
Thu, 20 Jun 2019 15:55:36 +0000 (11:55 -0400)
committerPaul E. McKenney <paulmck@linux.ibm.com>
Fri, 21 Jun 2019 23:18:45 +0000 (16:18 -0700)
commitf9de417121001879d92a86960647adb06b5b81bf
treee194fde88ab826f0f05995c3d94a52c9c41664c4
parent37c600a3cc8a6941d77e853ec4e0e33fffa1046b
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>
tools/memory-model/linux-kernel.cat