A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1854
- Type
- D - Journal article
- DOI
-
10.1145/2837614.2837616
- Title of journal
- ACM SIGPLAN Notices
- Article number
- -
- First page
- 622
- Volume
- 51
- Issue
- 1
- ISSN
- 1523-2867
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 15
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The "thin-air problem" is a major open problem in programming-language semantics: currently no mainstream language that aims to support high-performance concurrent code has a satisfactory definition, as it has proved very challenging to define an envelope of allowed behaviour that admits established hardware and compiler optimisations while still ruling out values appearing "out of thin air". This paper introduced a potential solution that remains (among several proposed in the literature) the most liberal in terms of the optimisations that it admits.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -