diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2024-03-08 13:26:26 -0800 |
---|---|---|
committer | Uladzislau Rezki (Sony) <urezki@gmail.com> | 2024-04-15 18:12:18 +0200 |
commit | fc2897d2abe5a307e3b28943bcb4c1401432ea26 (patch) | |
tree | 34cc86ac65b47ca5f2b69a29e8c80020b3b90716 /include | |
parent | ae2b217ab542d0db0ca1a6de4f442201a1982f00 (diff) |
rcu: Inform KCSAN of one-byte cmpxchg() in rcu_trc_cmpxchg_need_qs()
Tasks Trace RCU needs a single-byte cmpxchg(), but no such thing exists.
Therefore, rcu_trc_cmpxchg_need_qs() emulates one using field substitution
and a four-byte cmpxchg(), such that the other three bytes are always
atomically updated to their old values. This works, but results in
false-positive KCSAN failures because as far as KCSAN knows, this
cmpxchg() operation is updating all four bytes.
This commit therefore encloses the cmpxchg() in a data_race() and adds
a single-byte instrument_atomic_read_write(), thus telling KCSAN exactly
what is going on so as to avoid the false positives.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Cc: Marco Elver <elver@google.com>
Signed-off-by: Uladzislau Rezki (Sony) <urezki@gmail.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions