Foundations of the C++ concurrency memory model
Abstract
Currently multi-threaded C or C++ programs combine a single-threaded programming language with a separate threads library. This is not entirely sound [7].
DOI 10.1145/1375581.1375591
Related papers
- Sequential reasoning for optimizing compilers under weak memory concurrency PLDI 2022
- Foundations of empirical memory consistency testing OOPSLA 2020
- Relaxed virtual memory in Armv8-A ESOP 2022
- Semantic Foundations of Concurrent Constraint Programming POPL 1991
- Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models CAV 2023
- Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures OOPSLA 2024
- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models CAV 2021
- Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk) CPP 2021