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

https://tel.archives-ouvertes.fr/tel-00934919
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

Identifiers

  • HAL Id : tel-00934919, version 1

Citation

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⟩

Share

Metrics

Record views

572

Files downloads

649