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, ENS Paris - École normale supérieure - Paris, 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.
Type de document :
Communication dans un congrès
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
Liste complète des métadonnées


https://hal.inria.fr/hal-00919271
Contributeur : Louis Mandel <>
Soumis le : lundi 16 décembre 2013 - 15:06:58
Dernière modification le : mercredi 28 septembre 2016 - 13:59:02
Document(s) archivé(s) le : mardi 18 mars 2014 - 16:46:58

Fichier

MandelPasteur-JFLA-2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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>

Partager

Métriques

Consultations de
la notice

149

Téléchargements du document

81