Abstract FR:

Cette these presente plusieurs travaux visant la fourniture d'outils permettant la conception de reseaux d'interconnexion pour des machines paralleles qui sont des reseaux de stations de travail. Plus particulierement, cette these tourne autour de deux axes : le routeur rcube et la machine multi-pc respectivement developpe et en cours de developpement au sein de l'equipe asim du laboratoire lip6. L'etiquetage de plusieurs topologies regulieres utilisant rcube et conformes aux specifications de multi-pc sont presentees. Les resultats de l'evaluation des performances de ces topologies pour plusieurs tailles et sous differentes charges sont egalement presentes ici. Le cout de l'adaptativite est discute au vu des resultats obtenus. L'evaluation des performances de differentes topologies a permi d'effectuer une evaluation du routeur rcube. Cette these propose une extension de rcube par l'ajout d'une structure de memorisation centralisee. Le support de topologies non-regulieres est rendu possible par la fourniture d'un algorithme de configuration automatique de topologies quelconques. Cet algorithme est une modification de l'algorithme de van-leeuwen dont le but est de produire un adressage lineaire des seuls processeurs dans des reseaux ou il est possible que certains routeurs ne comportent aucun processeur. Finalement, une theorie de verification formelle de la validite d'un schema de routage est presentee. Une methode de verification automatique, derivee de cette theorie, et les principes de son implementation logicielle sont egalement presentes.