Parallelisation d'un langage fonctionnel selon le modele a flots de donnees

par Nathalie Dussert

Thèse de doctorat en Sciences appliquées

Sous la direction de Patrick Bellot.

Soutenue en 1996

à Paris, ENST .

    mots clés mots clés


  • Résumé

    Toute la puissance du modele a flots de donnees vient du fait qu'il exploite le parallelisme intrinseque d'un programme en dispensant le programmeur de specifier les taches executables en parallele. Ce modele de calcul est ainsi bien approprie pour etudier la parallelisation d'un langage fonctionnel : notre etude a pour objectif de proposer et de comparer plusieurs modes de parallelisation automatique de programmes graal, un langage fonctionnel sans variable. Nous considerons une architecture a flots de donnees de base qui n'integrera pas les dernieres avancees des machines dataflow ; en effet nous cherchons a mettre en evidence l'influence de la granularite des taches et du nombre d'unites de calcul sur l'exploitation du parallelisme en faisant abstraction des caracteristiques physiques de la machine sous-jacente. Notre premier mode de parallelisation exhibe des taches de granularite fine, au niveau des primitives du langage ; il sera notre reference pour les comparaisons. Nous envisageons ensuite un mode 2 qui regroupe les primitives selon deux criteres de dependance de donnees. Le probleme est alors de generaliser ces regroupements de fonctions a des operations qui ne soient pas uniquement des primitives. Il semble interessant de mettre dans une seule tache une partie du code d'une fonction si le temps de calcul de la tache reste relativement faible. Il nous faut donc pouvoir estimer la complexite asymptotique d'une fonction. Nous proposons et mettons en oeuvre des heuristiques qui permettent de calculer automatiquement une complexite. Nous avons ainsi pour chaque fonction un ordre de grandeur de sa complexite en temps. Nous avons alors choisi une borne de complexite. Toute fonction de complexite inferieure a cette borne sera compilee et pourra etre incluse dans une tache compilee ; tandis que les fonctions de complexite superieure ou egale a cette borne verront leur code scinde en plusieurs taches.

  • Titre traduit

    Parallelization of a functional language according to dataflow model


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 281 P.
  • Annexes : 61 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Télécom Paris. Centre de ressources documentaires numériques (CRDN).
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.