kcsan: Add option to assume plain aligned writes up to word size are atomic
authorMarco Elver <elver@google.com>
Tue, 4 Feb 2020 17:21:10 +0000 (18:21 +0100)
committerIngo Molnar <mingo@kernel.org>
Sat, 21 Mar 2020 08:42:18 +0000 (09:42 +0100)
commit1e6ee2f0fe8ae682757960edf455e99f611268a0
treea7325816ac12d8f67d39f356aad32395e8344175
parent7ad900d35b49af5a05f595d2274c32e69e01b055
kcsan: Add option to assume plain aligned writes up to word size are atomic

This adds option KCSAN_ASSUME_PLAIN_WRITES_ATOMIC. If enabled, plain
aligned writes up to word size are assumed to be atomic, and also not
subject to other unsafe compiler optimizations resulting in data races.

This option has been enabled by default to reflect current kernel-wide
preferences.

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Ingo Molnar <mingo@kernel.org>
kernel/kcsan/core.c
lib/Kconfig.kcsan