projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c28d5c0) | patch
rcu: Mark rcu_state.gp_seq to detect more concurrent writes
authorPaul E. McKenney <paulmck@kernel.org>
Sun, 22 Mar 2020 02:52:20 +0000 (19:52 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 27 Apr 2020 18:01:16 +0000 (11:01 -0700)
commit62ae19511f1efbe9f57346ca1f45e13b061a56ff
treeb032a11a11ed5b0b3ea3b17731471a32660bbd06tree | snapshot
parentc28d5c09d09f86374a00b70a57d3cb75e3fc7fa9commit | 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>
kernel/rcu/tree.c diff | blob | history