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 /include/semaphore.h | |
| 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 'include/semaphore.h')
0 files changed, 0 insertions, 0 deletions