Weak Memory Demands Model-based Compiler Testing

Explore the critical need for model-based compiler testing in the face of increasingly relaxed processor architectures in this 21-minute conference talk from ACM SIGPLAN's FOWM'24. Delve into the implications of compiler bugs arising from discrepancies between compiled concurrent program behaviors and source program permissions under memory models. Examine how modern hardware exploits relaxed architecture models, potentially exposing previously unseen bugs. Learn about the broad implications for compiler development, testing tools, and concurrent test generators. Gain insights from a real-world example of a compiler toolchain bug reported in LLVM, highlighting the importance of adapting testing methodologies to keep pace with hardware relaxations.

[FOWM'24] Weak Memory Demands Model-based Compiler Testing