diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2019-11-21 11:22:08 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2019-11-21 11:22:08 +0000 |
| commit | 849aef496d2ae19961310f4e92f3a0b928732d26 (patch) | |
| tree | c9872d59d6c400ed994da160ee8d67aada890e55 /sys/conf/options | |
| parent | 489912da7bb487a33a7f0642a983c233b22381ba (diff) | |
| download | src-849aef496d2ae19961310f4e92f3a0b928732d26.tar.gz src-849aef496d2ae19961310f4e92f3a0b928732d26.zip | |
Port the NetBSD KCSAN runtime to FreeBSD.
Update the NetBSD Kernel Concurrency Sanitizer (KCSAN) runtime to work in
the FreeBSD kernel. It is a useful tool for finding data races between
threads executing on different CPUs.
This can be enabled by enabling KCSAN in the kernel config, or by using the
GENERIC-KCSAN amd64 kernel. It works on amd64 and arm64, however the later
needs a compiler change to allow -fsanitize=thread that KCSAN uses.
Sponsored by: DARPA, AFRL
Differential Revision: https://reviews.freebsd.org/D22315
Notes
Notes:
svn path=/head/; revision=354942
Diffstat (limited to 'sys/conf/options')
| -rw-r--r-- | sys/conf/options | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/conf/options b/sys/conf/options index f4ceede4a965..b73b3dfb11ac 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -230,6 +230,7 @@ ZSTDIO opt_zstdio.h # Sanitizers COVERAGE opt_global.h KCOV +KCSAN opt_global.h KUBSAN opt_global.h # POSIX kernel options |