diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2020-03-21 19:52:20 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-04-27 11:01:16 -0700 |
| commit | 62ae19511f1efbe9f57346ca1f45e13b061a56ff (patch) | |
| tree | b032a11a11ed5b0b3ea3b17731471a32660bbd06 /kernel/rcu/update.c | |
| parent | c28d5c09d09f86374a00b70a57d3cb75e3fc7fa9 (diff) | |
| download | linux-62ae19511f1efbe9f57346ca1f45e13b061a56ff.tar.gz | |
rcu: Mark rcu_state.gp_seq to detect more concurrent writes
The rcu_state structure's gp_seq field is only to be modified by the RCU
grace-period kthread, which is single-threaded. This commit therefore
enlists KCSAN's help in enforcing this restriction. This commit applies
KCSAN-specific primitives, so cannot go upstream until KCSAN does.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'kernel/rcu/update.c')
0 files changed, 0 insertions, 0 deletions