Gestion de la granularité et régulation de charge dans le modèle P3 d'évaluation parallèle des langages fonctionnels

par Nouredine Melab

Thèse de doctorat en Informatique

Sous la direction de Bernard Toursel.

Soutenue en 1997

à Lille 1 .


  • Résumé

    Dans le cadre du projet PARALF de l'équipe Paloma du LIFL, un modèle, baptisé P3, d'évaluation parallèle des langages fonctionnels sans variable a été défini et valide par simulation. Celui-ci est basé sur une représentation séparée du programme et de ses données, ce qui lui confère son originalité. La simulation de P3 a, d'une part, révèle l'importance de son parallélisme potentiel. D'autre part, elle a mis en évidence certains problèmes dont les principaux sont: la gestion de la granularité, la régulation dynamique de charge et l'approche interprétée utilisée pour l'exécution de programmes. Ces trois problèmes constituent l'essentiel de la problématique traitée dans cette thèse. Nous avons propose une approche originale de gestion implicite de la granularité. Celle-ci est basée sur une transformation statique du programme conduisant, d'une part, à un regroupement des fonctions en paquets et d'autre part, à un regroupement abstrait des données en fenêtres. Le résultat de la transformation est traduit dans un langage intermédiaire distribué et compilable. Le regroupement des fonctions peut être révisé pendant l'exécution du programme en fonction de la taille des données. Le regroupement des données est concrétisé a leur création grâce a un mécanisme de copie dirige par la notion de fenêtre, ce qui permet une bonne optimisation du mécanisme. Par ailleurs, l'association des paquets avec leurs fenêtres est réalisée par des appels procéduraux grâce a la présence du code du programme sur tous les sites de la machine parallèle. La répartition des traitements est, de ce fait, guidée par celle des copies. Dans cet esprit, nous avons propose un algorithme général de régulation dynamique de charge. Notre algorithme utilise une politique adaptative et centralisée de collecte d'informations de charge. D'une part, le calcul des informations est fait périodiquement avec des délais continuellement réajustés en fonction de la variation de la charge dans la machine. D'autre part, l'échange de ces informations est relatif, en ce sens qu'il n'a lieu qu'en cas d'une variation significative de celles-ci. Par ailleurs, les décisions de transfert et de localisation sont totalement décentralisées.

  • Titre traduit

    Granularity management and load balancing in the P3 scheme of parallel evaluation of functional languages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (186 p.)
  • Annexes : Bibliogr. p. 177-186

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Lilliad Learning Center Innovation (Villeneuve d'Ascq, Nord).
  • Disponible pour le PEB
  • Cote : 50376-1997-121
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.