A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions

DOI10.1145/2837614.2837616MaRDI QIDQ2828301zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

concurrencyrelaxed memory modelsC/C++

Mathematics Subject Classification ID

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)

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

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
• scientific article; zbMATH DE number 4056997 (Why is no real title available?)
• Operational semantics with semicommutations
• Mechanised operational reasoning for C11 programs with relaxed dependencies
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Characterising spectra of equivalences for event structures, logically
• Mathematizing C++ concurrency
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)
• 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)