Google's MAccConc tool automatically hunts down race conditions in the Linux kernel

Testing Race Conditions

Google Project Zero released MAccConc, a toolkit that traces memory accesses and injects stack-based delays to force specific thread interleavings in Linux kernel tests. It automatically explores A-B-A orderings, offers terminal and GUI explorers, and uses count-augmented stack traces for stable identification across runs. The approach aims to confirm suspected race bugs, create regression tests, and eventually enable fuzzing for concurrency issues.