ReactiveML, ten years later

Louis Mandel 1 Cédric Pasteur 2, 3 Marc Pouzet 4, 5, 2
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
4 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelismàparallelism`parallelismà la Esterel to program reactive applications. Our purpose was to demonstrate that synchronous language principles, originally invented and used for critical real-time control software, would integrate well with ML and prove useful in a wider context: reactive applications with complex data structures and sequential algorithms, organized as a dynamically evolving set of tightly synchronized parallel tasks. While all ReactiveML programs presented at PPDP'05 still compile, the language has evolved continuously to incorporate novel programming constructs, compilation techniques and dedicated static analyses. ReactiveML has been used for applications that we never anticipated: the simulation of large-scale ad-hoc and sensor networks, an interactive debugger, and interactive mixed music. These applications were only possible due to the efficient compilation of ReactiveML into sequential code, which we present here for the first time. We also present a parallel implementation that uses work-stealing techniques through shared memory. Finally, we give a retrospective view on ReactiveML over the past ten years.
Type de document :
Communication dans un congrès
17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pp.6 - 17, 2015, <http://costa.ls.fi.upm.es/ppdp15/>. <10.1145/2790449.2790509>
Liste complète des métadonnées


https://hal.inria.fr/hal-01508179
Contributeur : Timothy Bourke <>
Soumis le : mardi 25 avril 2017 - 11:25:35
Dernière modification le : mercredi 26 avril 2017 - 01:09:02

Fichier

ppdp15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UPMC | INRIA | PSL

Citation

Louis Mandel, Cédric Pasteur, Marc Pouzet. ReactiveML, ten years later. 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pp.6 - 17, 2015, <http://costa.ls.fi.upm.es/ppdp15/>. <10.1145/2790449.2790509>. <hal-01508179>

Partager

Métriques

Consultations de
la notice

166

Téléchargements du document

17