Testing race conditions with memory access tracing and stack-based delay injection

Project Zero 的 MAccConc 通过 ASAN outline 和 KCOV 记录跨线程内存通信点，再用带计数的调用栈标识和 `KCOV_SET_DI` 注入等待/唤醒来强制特定交错。工具提供自动 A-B-A 测试器、终端 UI 和 GUI；LLVM 所需补丁已进入 23.1.0，但内核补丁尚未 upstream，命令行目前只覆盖两个并发线程，原型边界写得很清楚。