On Thin Air Reads Towards an Event Structures Model of Relaxed Memory

DOI10.1145/2933575.2934536zbMath1392.68304arXiv1707.05881OpenAlexW2531502343MaRDI QIDQ4635939

Alan Jeffrey, James Riely

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.05881

zbMATH Keywords

event structuresmemory consistency modelsweak orderingrelaxed consistencyrelaxed memoryshared-memory concurrencythin-air reads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Modular Relaxed Dependencies in Weak Memory Concurrency ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Tackling Real-Life Relaxed Concurrency with FSL++ ⋮ Operational semantics with semicommutations ⋮ Unnamed Item ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Unnamed Item ⋮ Minimisation of event structures

This page was built for publication: On Thin Air Reads Towards an Event Structures Model of Relaxed Memory