projects / linux-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a32337) | patch
rcu: Add KCSAN exclusive-writer assertions for rdp->cpu_no_qs.b.exp
authorPaul E. McKenney <paulmck@kernel.org>
Sat, 26 Oct 2024 00:44:28 +0000 (17:44 -0700)
committerUladzislau Rezki (Sony) <urezki@gmail.com>
Sat, 14 Dec 2024 16:10:29 +0000 (17:10 +0100)
commitecc5e6b0d3c982091b82615af21817ddf9cfdd60
treed2e086b1150df992b80eb12312f69b357eb63a18tree
parent7a323371197b184c8f0cff0d67d74f48f0098164commit | diff
rcu: Add KCSAN exclusive-writer assertions for rdp->cpu_no_qs.b.exp

The value of rdp->cpu_no_qs.b.exp may be changed only by the corresponding
CPU, and that CPU is not even allowed to race with itself, for example,
via interrupt handlers.  This commit therefore adds KCSAN exclusive-writer
assertions to check this constraint.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Cc: Frederic Weisbecker <frederic@kernel.org>
Signed-off-by: Uladzislau Rezki (Sony) <urezki@gmail.com>
kernel/rcu/tree_exp.h diff | blob | blame | history
kernel/rcu/tree_plugin.h diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)