Exécution efficace de programmes ReactiveML - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Exécution efficace de programmes ReactiveML

Louis Mandel
  • Function : Author
  • PersonId : 841809
Cédric Pasteur
  • Function : Author
  • PersonId : 935736

Abstract

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.
Fichier principal
Vignette du fichier
MandelPasteur-JFLA-2014.pdf (217.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00919271 , version 1 (16-12-2013)

Identifiers

  • HAL Id : hal-00919271 , version 1

Cite

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. ⟨hal-00919271⟩
134 View
138 Download

Share

Gmail Facebook X LinkedIn More