| commit | 62ae19511f1efbe9f57346ca1f45e13b061a56ff | [log] [tgz] |
|---|---|---|
| author | Paul E. McKenney <paulmck@kernel.org> | Sat Mar 21 19:52:20 2020 -0700 |
| committer | Paul E. McKenney <paulmck@kernel.org> | Mon Apr 27 11:01:16 2020 -0700 |
| tree | b032a11a11ed5b0b3ea3b17731471a32660bbd06 | |
| parent | c28d5c09d09f86374a00b70a57d3cb75e3fc7fa9 [diff] |
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>