diff options
author | Marco Elver <elver@google.com> | 2021-11-30 12:44:28 +0100 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2021-12-09 16:42:28 -0800 |
commit | d37d1fa0154ef3920ad1975aadc083cecdf81b3b (patch) | |
tree | f8d7d0c880c603a21689fb7ccf1a07d51ce92476 /kernel/sched/Makefile | |
parent | d93414e37586691dd2684a7f8ed05fb9cd640f83 (diff) | |
download | linux-d37d1fa0154ef3920ad1975aadc083cecdf81b3b.tar.gz linux-d37d1fa0154ef3920ad1975aadc083cecdf81b3b.tar.bz2 linux-d37d1fa0154ef3920ad1975aadc083cecdf81b3b.zip |
mm, kcsan: Enable barrier instrumentation
Some memory management calls imply memory barriers that are required to
avoid false positives. For example, without the correct instrumentation,
we could observe data races of the following variant:
T0 | T1
------------------------+------------------------
|
*a = 42; ---+ |
kfree(a); | |
| | b = kmalloc(..); // b == a
<reordered> <-+ | *b = 42; // not a data race!
|
Therefore, instrument memory barriers in all allocator code currently
not being instrumented in a default build.
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'kernel/sched/Makefile')
0 files changed, 0 insertions, 0 deletions