sched, kcsan: Enable memory barrier instrumentation
authorMarco Elver <elver@google.com>
Tue, 30 Nov 2021 11:44:29 +0000 (12:44 +0100)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 10 Dec 2021 00:42:28 +0000 (16:42 -0800)
commit6f3f0c98b5665f437a631882653b5baf7dd98448
tree7c33c02f596a70d0f3a6cd2cbf20053fd88cc612
parentd37d1fa0154ef3920ad1975aadc083cecdf81b3b
sched, kcsan: Enable memory barrier instrumentation

There's no fundamental reason to disable KCSAN for scheduler code,
except for excessive noise and performance concerns (instrumenting
scheduler code is usually a good way to stress test KCSAN itself).

However, several core sched functions imply memory barriers that are
invisible to KCSAN without instrumentation, but are required to avoid
false positives. Therefore, unconditionally enable instrumentation of
memory barriers in scheduler code. Also update the comment to reflect
this and be a bit more brief.

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
kernel/sched/Makefile