Exécution efficace de programmes ReactiveML

Louis Mandel 1 Cédric Pasteur 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Résumé : ReactiveML est un langage dédié à la programmation de systèmes combinant des parties algorithmiques et réactives. Il s'agit d'une extension de ML avec des constructions pour la concurrence inspirées des langages synchrones. Celles-ci permettent d'obtenir une très grande expressivité, mais leur implantation efficace représente un défi. Dans cet article, nous présentons l'implantation de ReactiveML, de la compilation à l'implantation du moteur d'exécution en OCaml. Nous décrivons également une implantation parallèle en mémoire partagée du moteur d'exécution utilisant le vol de tâches. L'approche choisie permet d'obtenir une exécution efficace même en présence de structures de contrôle complexes. Elle s'étend simplement au cas parallèle avec des résultats expérimentaux prometteurs.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-00919271
Contributor : Louis Mandel <>
Submitted on : Monday, December 16, 2013 - 3:06:58 PM
Last modification on : Thursday, February 7, 2019 - 3:49:12 PM
Document(s) archivé(s) le : Tuesday, March 18, 2014 - 4:46:58 PM

File

MandelPasteur-JFLA-2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00919271, version 1

Collections

Citation

Louis Mandel, Cédric Pasteur. Exécution efficace de programmes ReactiveML. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014. 〈hal-00919271〉

Share

Metrics

Record views

248

Files downloads

180