A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
DOI10.1145/2837614.2837616zbMATH Open1347.68091OpenAlexW2293159724MaRDI QIDQ2828301FDOQ2828301
Authors: Jean Pichon-Pharabod, Peter Sewell 
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://www.repository.cam.ac.uk/handle/1810/285458
Recommendations
- A promising semantics for relaxed-memory concurrency
- scientific article; zbMATH DE number 1761891
- A Concurrent Calculus with Atomic Transactions
- scientific article; zbMATH DE number 88949
- scientific article; zbMATH DE number 1751888
- Beyond atomic registers: Bounded wait-free implementations of nontrivial objects
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 590996
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cited In (13)
- Common compiler optimisations are invalid in the C11 memory model and what we can do about it
- Operational semantics of a weak memory model with channel synchronization
- Operational semantics of a weak memory model with channel synchronization
- Tackling real-life relaxed concurrency with FSL++
- Modular relaxed dependencies in weak memory concurrency
- Title not available (Why is that?)
- Operational semantics with semicommutations
- Mechanised operational reasoning for C11 programs with relaxed dependencies
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Mathematizing C++ concurrency
- Characterising spectra of equivalences for event structures, logically
- Title not available (Why is that?)
- Minimisation of event structures
This page was built for publication: A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828301)
