JetBrains Research unites scientists working in challenging new disciplines

Promising Semantics 2.0

Programming language memory models have to have following properties: (1) support of compiler optimizations, (2) correctness of efficient compilation schemes to target platforms (x86, IBM Power, ARM and others), and (3) absence of so-called "out-of-thin-air" values. At the moment, none of the commonly used memory models satisfy all criteria.

Promising semantics 1.0 [1] is an auspicious solution for the problem, however, the memory model doesn't support the optimal compilation scheme of ARMv8.3's RMWs as well as global optimizations. In the talk, a new semantics--Promising 2.0-- is going to be presented.

[1] Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer. A promising semantics for relaxed-memory concurrency. In POPL 2017, pp. 175-189. ACM (January 2017)

17.02.2020, 17:15. Venue:room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28