HomeFreeBSD

Port the NetBSD KCSAN runtime to FreeBSD.

Description

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

Details

Provenance
andrewAuthored on
Differential Revision
D22315: Port the NetBSD KCSAN runtime to FreeBSD
Parents
rS354941: MFV r354382,r354385: 10601 10757 Pool allocation classes
Branches
Unknown
Tags
Unknown