Promising 2.0: global optimizations in relaxed memory concurrency
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Sundar Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis · 2020
For more than fifteen years, researchers have tried to support global optimizations in a usable semantics for a concurrent programming language, yet this task has been proven to be very difficult because of (1) the infamous “out of thin air” problem, and (2) the subtle interaction between global and thread-local optimizations.