diff options
| author | Alan Stern <[email protected]> | 2019-06-20 15:55:36 +0000 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2019-06-21 23:18:45 +0000 |
| commit | f9de417121001879d92a86960647adb06b5b81bf (patch) | |
| tree | e194fde88ab826f0f05995c3d94a52c9c41664c4 /fs/proc/array.c | |
| parent | tools/memory-model: Do not use "herd" to refer to "herd7" (diff) | |
| download | kernel-f9de417121001879d92a86960647adb06b5b81bf.tar.gz kernel-f9de417121001879d92a86960647adb06b5b81bf.zip | |
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 <[email protected]>
Acked-by: Andrea Parri <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'fs/proc/array.c')
0 files changed, 0 insertions, 0 deletions