Weak memory models using event structures - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2016

Weak memory models using event structures

Abstract

In this article, we investigate a denotational semantics based on event structures for a very simple imperative and concurrent programming language. The model incorporates behaviours of weak memory models such as reordering of instructions and non-locality. Our model can then be used to define a function from programs to their possible outcomes that can be used to give a formal semantics to a processor or a programming language. Most of the semantic ideas come from game semantics and its recent development based on event structures, but taking advantage of the first-order setting, we present in this paper a self-contained simplification of these ideas.
Fichier principal
Vignette du fichier
jfla-2016.pdf (328.91 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01333582 , version 1 (17-06-2016)

Identifiers

  • HAL Id : hal-01333582 , version 1

Cite

Simon Castellan. Weak memory models using event structures. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333582⟩
246 View
247 Download

Share

More