Conception et implementation d'un modele d'execution pour un langage declaratif data-parallele

par DOMINIQUE DE VITO

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Paul Sansonnet.

Soutenue en 1998

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans cette these, nous nous sommes consacres a la conception et au developpement d'un modele d'execution portable pour le langage 8 1/2. Les travaux realises s'inscrivent dans le cadre du projet 8 1/2 dedie au developpement d'un langage parallele declaratif pour la simulation des systemes dynamiques. Ce type d'applications a conduit a developper des structures de donnees de haut-niveau dediees a la simulation des systemes dynamiques : le stream et la collection 8 1/2, et surtout, a etudier la compilation efficace des programmes declaratifs definissant de telles structures de donnees. Cet objectif a ete atteint, dans un cadre statique, avec le developpement d'un generateur de code vers une machine cible sequentielle et la generalisation du schema d'execution sequentielle a un modele d'execution msimd. Deux constatations sont alors venues inflechir nos directions de recherche. D'une part, les objets modelises lors des simulations sont de plus en plus complexes (traitement de l'irregulier et du dynamique). D'autre part, un support d'execution dynamique et adaptable est de plus en plus requis (utilisation croissante des reseaux heterogenes de stations de travail comme architectures cibles). Ces constatations poussent a etendre la notion de collection 8 1/2 et a developper un schema d'execution parallele plus souple. Ainsi, dans la deuxieme moitie de cette these, nous avons tout d'abord propose d'etendre la notion de collection statique 8 1/2 (correspondant a un tableau) a une structure parallele plus abstraite et plus generale : les champs de donnees. Ensuite, nous avons concu une architecture distribuee permettant de calculer en parallele sur les champs. Cette architecture distribuee constitue une machine virtuelle permettant l'evaluation parallele de programmes 8 1/2 dynamiques en utilisant des ressources heterogenes de calcul.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 255 P.
  • Annexes : 220 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013740
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.