WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection
Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath · 2023
Concurrency bugs are difficult to detect, reproduce, and diagnose, as they manifest under rare timing conditions. Recently, active delay injection has proven efficient for exposing one such type of bug --- thread-safety violations --- with low overhead, high coverage, and minimal code analysis. However, how to efficiently apply active delay injection to broader classes of concurrency bugs is still an open question.