Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle

Résumé

On décrit l'implémentation en MetaCaml d'un petit langage dédié (DSL) à la programmation parallèle. Le langage repose sur la notion de squelettes qui autorisent la spécification de programmes parallèles par simple composition de constructeurs de haut niveau encapsulant des schémas communs et récurrents de parallélisme. On montre comment les facilités de métaprogrammation offertes par MetaCaml permettent d'éliminer presque totalement le surcoût à l'exécution du code généré par rapport à une implantation du même programme écrite avec des primitives de bas niveau comme celles de mpi. Pour cela, la spécification haut niveau du programme est d'abord transformée en une représentation équivalente sous la forme d'un réseau de processus séquentiels communiquants puis cette représentation est utilisée pour générer dynamiquement le code exécuté par chaque processeur de la machine.
Fichier principal
Vignette du fichier
jserot.pdf (222.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00203008 , version 1 (08-01-2008)

Identifiants

  • HAL Id : inria-00203008 , version 1

Citer

Jocelyn Serot, Joel Falcou. Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.153-171. ⟨inria-00203008⟩
92 Consultations
125 Téléchargements

Partager

Gmail Facebook X LinkedIn More