Distribution automatique de programmes sequentiels : etude structurelle et experimentale

par CYRILLE BAREAU

Thèse de doctorat en Sciences appliquées

Sous la direction de F. ANDRE.

Soutenue en 1995

à Rennes 1 .

    mots clés mots clés


  • Résumé

    La programmation des architectures paralleles a memoire distribuee est un probleme important mais difficile. Une des approches possibles est la distribution automatique de programmes sequentiels, dirigee par les donnees. Elle consiste a transformer un programme sequentiel en programme spmd (single program multiple data), le partage du controle etant guide par la distribution des donnees, specifiee par l'utilisateur. Le but de cette these est d'etudier le comportement des programmes repartis generes par cette technique. Nous avons modelise le probleme afin d'observer la structure de ces programmes. Nous montrons qu'ils sont caracterises par une propriete forte: toutes leurs executions possibles possedent une meme relation de causalite. Ceci amene plusieurs consequences. Sur un plan theorique, nous prouvons en particulier la correction de cette technique de compilation, c'est-a-dire que les programmes repartis obtenus produisent le meme resultat que les programmes sequentiels dont ils sont issus. Nous proposons egalement des fondements formels pour l'abstraction de ces programmes, point de depart pour developper des techniques sures et efficaces d'analyse de traces. Nous definissons une classe de programmes infinis adoptant un comportement regulier, qu'il est possible d'etudier sur une representation finie. Sur un plan experimental, nous montrons l'interet d'observer la relation de causalite dans un cadre d'evaluation de performances. En effet, la causalite peut etre vue comme un depliage du graphe de dependances du programme, ce qui permet de voir les dependances qui ont ete ajoutees par la distribution. De meme, la causalite permet de juger de la concurrence d'un programme, et donc de son degre de parallelisme ; nous proposons une mesure de concurrence pour quantifier cette information intuitive. Nous montrons enfin qu'il est possible de determiner la causalite par simulation du programme sequentiel source. Ces principes d'analyse ont ete mis en uvre sur des environnements de distribution de programmes, et d'execution repartie


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 P.
  • Annexes : 105 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1995/69
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.