Abstract FR:

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.