The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A promising semantics for relaxed-memory concurrency
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Despite many years of research, it has proven very difficult to develop a memory model for concurrent programming languages that adequately balances the conflicting desiderata of programmers, compilers, and hardware. In this paper, we propose the first relaxed memory model that (1) accounts for a broad spectrum of features from the C++11 concurrency model, (2) is implementable, in the sense that it provably validates many standard compiler optimizations and reorderings, as well as standard compilation schemes to x86-TSO and Power, (3) justifies simple invariant-based reasoning, thus demonstrating the absence of bad "out-of-thin-air" behaviors, (4) supports "DRF" guarantees, ensuring that programmers who use sufficient synchronization need not understand the full complexities of relaxed-memory semantics, and (5) defines the semantics of racy programs without relying on undefined behaviors, which is a prerequisite for applicability to type-safe languages like Java.
How it got here
How it got here
agent via openalex
Added
2026-10-26 12:51 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{kang2017promising,
title = {A promising semantics for relaxed-memory concurrency},
author = {Jeehoon Kang and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis and Derek R. Dreyer},
year = {2017},
pages = {175--189},
doi = {10.1145/3009837.3009850},
}
This record lives at https://refs.drheap.org/kang2017promising/ and will keep
doing so. It used to be called kang2016promising, and those addresses still resolve to this one.