Abstract FR:

Les architectures systoliques commencent a etre employees dans l'industrie en raison de leurs proprietes de regularite et de localite qui les rendent particulierement bien adaptees a l'integration sur silicium. Le processus de conception d'un circuit integre requiert une phase de simulation fonctionnelle afin de tester et de valider differentes implementations d'un meme algorithme. Comme il s'agit en general d'algorithmes tres couteux en temps de calcul, les machines paralleles constituent le seul moyen de realiser des simulations realistes, par exemple en temps reel dans le cas du traitement du signal. Cette these decrit l'environnement de programmation relacs, concu pour la simulation des reseaux lineaires systoliques sur des machines paralleles. Relacs fournit a l'utilisateur un modele d'execution parallele, efficace et independant de la machine cible. Ce modele d'execution s'apparente a celui de la machine micmacs, ou processus de calcul du reseau systolique et processus de gestion des entrees-sorties du reseau s'executent en recouvrement. La programmation s'effectue dans le langage c-stolic, un langage a parallelisme de donnees, dote d'operateurs de communication synchrones qui refletent les mouvements de donnees internes d'un reseau systolique et ses entrees-sorties. Plusieurs applications, dans le domaine du traitement du signal, du traitement de chaines de caracteres, du calcul numerique et de la programmation lineaire, ont ete developpees avec l'environnement relacs, validant ainsi le choix du modele de programmation c-stolic. Les performances obtenues pour ces applications sur la machine iwarp demontrent l'efficacite de notre modele d'execution pour les calculs systoliques