]> git.proxmox.com Git - mirror_ubuntu-jammy-kernel.git/commit - kernel/Makefile
kcsan: Add Kernel Concurrency Sanitizer infrastructure
authorMarco Elver <elver@google.com>
Thu, 14 Nov 2019 18:02:54 +0000 (19:02 +0100)
committerPaul E. McKenney <paulmck@kernel.org>
Sat, 16 Nov 2019 15:23:13 +0000 (07:23 -0800)
commitdfd402a4c4baae42398ce9180ff424d589b8bffc
treee628a40284725614b915478123302ed0371523e4
parent31f4f5b495a62c9a8b15b1c3581acd5efeb9af8c
kcsan: Add Kernel Concurrency Sanitizer infrastructure

Kernel Concurrency Sanitizer (KCSAN) is a dynamic data-race detector for
kernel space. KCSAN is a sampling watchpoint-based data-race detector.
See the included Documentation/dev-tools/kcsan.rst for more details.

This patch adds basic infrastructure, but does not yet enable KCSAN for
any architecture.

Signed-off-by: Marco Elver <elver@google.com>
Acked-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
24 files changed:
MAINTAINERS
Makefile
include/linux/compiler-clang.h
include/linux/compiler-gcc.h
include/linux/compiler.h
include/linux/kcsan-checks.h [new file with mode: 0644]
include/linux/kcsan.h [new file with mode: 0644]
include/linux/sched.h
init/init_task.c
init/main.c
kernel/Makefile
kernel/kcsan/Makefile [new file with mode: 0644]
kernel/kcsan/atomic.h [new file with mode: 0644]
kernel/kcsan/core.c [new file with mode: 0644]
kernel/kcsan/debugfs.c [new file with mode: 0644]
kernel/kcsan/encoding.h [new file with mode: 0644]
kernel/kcsan/kcsan.h [new file with mode: 0644]
kernel/kcsan/report.c [new file with mode: 0644]
kernel/kcsan/test.c [new file with mode: 0644]
lib/Kconfig.debug
lib/Kconfig.kcsan [new file with mode: 0644]
lib/Makefile
scripts/Makefile.kcsan [new file with mode: 0644]
scripts/Makefile.lib