@inproceedings{f58cdb26eea74fd497b1eab4ab082030,
title = "Promising 2.0: Global optimizations in relaxed memory concurrency",
abstract = "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. In this paper, we present a solution to this problem by redesigning a key component of the promising semantics (PS) of Kang et al. Our updated PS 2.0 model supports all the results known about the original PS model (i.e., thread-local optimizations, hardware mappings, DRF theorems), but additionally enables transformations based on global value-range analysis as well as register promotion (i.e., making accesses to a shared location local if the location is accessed by only one thread). PS 2.0 also resolves a problem with the compilation of relaxed RMWs to ARMv8, which required an unintended extra fence.",
keywords = "Compiler Optimizations, Operational Semantics, Relaxed Memory Concurrency",
author = "Lee, \{Sung Hwan\} and Minki Cho and Anton Podkopaev and Soham Chakraborty and Hur, \{Chung Kil\} and Ori Lahav and Viktor Vafeiadis",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020 ; Conference date: 15-06-2020 Through 20-06-2020",
year = "2020",
month = jun,
day = "11",
doi = "10.1145/3385412.3386010",
language = "الإنجليزيّة",
series = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
publisher = "Association for Computing Machinery",
pages = "362--376",
editor = "Donaldson, \{Alastair F.\} and Emina Torlak",
booktitle = "PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation",
address = "الولايات المتّحدة",
}