What Compilers Desire from Weak Memory Semantics

Explore the challenges and complexities of compiler optimizations for concurrent programs in this conference talk from ACM SIGPLAN's FOWM'24. Delve into the tension between performance improvements and safety concerns when applying traditional compiler optimizations to multi-threaded code. Examine the limitations of sequential consistency models and the quest for more aggressive optimizations. Investigate the out-of-thin-air problem and its impact on dependency-based optimizations. Learn about ongoing research aimed at deriving memory models that maintain optimization safety across different consistency levels. Gain insights into the speaker's work on balancing compiler desires for optimization with the constraints of weak memory semantics in concurrent programming environments.

[FOWM'24] What Compilers desire from Weak Memory Semantics