Making Weak Memory Models Fair

Ori Lahav, Egor Namakonov, Jonas Oberhauser +2

Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the…