Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Cédric Pasteur 1
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspired from synchronous languages. The idea of these languages is to divide the execution of a program into a succession of discrete logical instants. It results in a deterministic model of concurrency that can be compiled to sequential imperative code. The main application domain of ReactiveML is discrete simulation, for instance of sensor networks. We focus here on the problem of large scale simulation that raises two questions: can we program such simulations easily and modularly? can we execute them efficiently? We answer the first question by proposing an extension of the synchronous model called reactive domains. It allows the creation of local instants, invisible from the outside. It enables temporal refinement, that is, to replace an approximate model of a system with a more detailed version without changing its external behavior. We describe the formal semantics of this construct as well as static analyses, presented as type-and-effect systems, to ensure the soundness of programs in the extended setting. Our second contribution is several parallel implementations of the language to allow the scaling of simulations. We first describe an implementation based on threads communicating by shared memory and using work stealing, and then a second one based on processes communicating by message passing.
Complete list of metadatas

Cited literature [150 references]  Display  Hide  Download

Contributor : Louis Mandel <>
Submitted on : Wednesday, January 22, 2014 - 5:36:30 PM
Last modification on : Thursday, February 7, 2019 - 1:32:52 AM
Long-term archiving on : Thursday, April 24, 2014 - 11:25:57 AM


  • HAL Id : tel-00934919, version 1


Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel. Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français. ⟨tel-00934919⟩



Record views


Files downloads