Testing race conditions with memory access tracing and stack-based delay injection
Summary
Project Zero discusses testing race conditions in the Linux kernel using memory access tracing and stack-based delay injection. The post describes approaches to identify and reproduce race conditions, including tools for automatic interleaving testing and interactive exploration, as well as implementation details around KCOV, ASAN, and TSAN instrumentation. It also covers practical demos, implementation status, and potential future work.