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

by DOMINIQUE DE VITO

Doctoral thesis in Sciences appliquées

Under the supervision of Jean-Paul Sansonnet.

defended on 1998

in Paris 11 .

  • Alternative Title

    Design and implementation of an execution model for a declarative data-parallel language


  • Abstract not available

    keywords keywords


  • Abstract

    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.

Consult library

Version is available as a paper

Informations

  • Details : 255 P.
  • Annexes : 220 REF.

Where is this thesis?

  • Library : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Available for PEB
  • Library : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Available for PEB
  • Odds : TH2014-013740
See the Sudoc catalog libraries of higher education and research.