projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d05031) | patch
rcu: Mark rcu_state.gp_seq to detect concurrent writes
authorPaul E. McKenney <paulmck@kernel.org>
Mon, 10 Feb 2020 17:58:37 +0000 (09:58 -0800)
committerPaul E. McKenney <paulmck@kernel.org>
Sat, 21 Mar 2020 23:13:39 +0000 (16:13 -0700)
commit0f11ad323dd3d316830152de63b5737a6261ad14
treeccbf206a73a01493b72660bb41c4db5ca09f42e4tree | snapshot
parent3d05031ae6de6ad084aa41263aed1343065233d5commit | diff
rcu: Mark rcu_state.gp_seq to detect 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.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
kernel/rcu/tree.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git