Sites Inria

Séminaire des équipes de recherche

Weak memory models using event structures

© INRIA Sophie Auvin - G comme Grille

  • Date : 25/03/2016
  • Lieu : 2 rue Simone Iff, 75012 Paris (ou: 41 rue du Charolais) - Salle Jacques-Louis Lions 1, bâtiment C
  • Intervenant(s) : Simon Castellan, ENS Lyon

In this talk, I will start by quickly introducing the problem of weak memory models: giving semantics to a simple concurrent programming language that takes into account out-of-order executions and caching mechanisms.

I will then present a new model based on event structures (denotations are small) which is denotational (ie. the semantics will be compositional) and based on game semantics (the semantics scales to higher-order, control, ...).

No knowledge of game semantics will be assumed.

Mots-clés : Weak Models Structures Gallium Memory Event

Haut de page

Suivez Inria