LIP6 1998/035
- Thèse
Mise en Oeuvre, Evaluation des Performances et Vérification de la Validité de Topologies et de Schémas de Routage pour l'Aide a la Conception de Réseaux d'Interconnexion pour Architectures Parallèles - A. Bouaraoua
- 113 pages - 13/05/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.035.ps.gz - 432 Ko
- Contact : Abdelhafid.Bouaraoua (at) nullasim.lip6.fr
- Ancien Thème : ASIM
- Mots clés : Réseaux d'interconnexion, topologies, schémas de routage, évaluation des performances, interblocage
- Directeur de la publication : Francois.Dromard (at) nulllip6.fr
Cette thèse présente plusieurs travaux visant la fourniture d'outils permettant la conception de réseaux d'interconnexion pour des machines parallèles qui sont des réseaux de stations de travail. Plus particulierement, cette thèse tourne autour de deux axes: le routeur RCube et la machine Multi-PC respectivement developpé et en cours de developpement au sein de l'equipe ASIM du laboratoire LIP6.
L'étiquetage de plusieurs topologies regulières utilisant RCube et conformes aux spécifications de Multi-PC sont présentées. Les résultats de l'évaluation des performances de ces topologies pour plusieurs tailles et sous differentes charges sont également présentes ici. Le coût de l'adaptativite est discuté au vu des résultats obtenus.
L'évaluation des performances de différentes topologies a permi d'effectuer une évaluation du routeur RCube. Cette thèse propose une extension de RCube par l'ajout d'une structure de mémorisation centralisée.
Le support de topologies non régulières 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 linéaire des seuls processeurs dans des réseaux où il est possible que certains routeurs ne comportent aucun processeur.
Finalement, une théorie de vérification formelle de la validité d'un schéma de routage est présentée. Une méthode de vérification automatique, dérivée de cette théorie, et les principes de son implémentation logicielle sont également présentés.
L'étiquetage de plusieurs topologies regulières utilisant RCube et conformes aux spécifications de Multi-PC sont présentées. Les résultats de l'évaluation des performances de ces topologies pour plusieurs tailles et sous differentes charges sont également présentes ici. Le coût de l'adaptativite est discuté au vu des résultats obtenus.
L'évaluation des performances de différentes topologies a permi d'effectuer une évaluation du routeur RCube. Cette thèse propose une extension de RCube par l'ajout d'une structure de mémorisation centralisée.
Le support de topologies non régulières 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 linéaire des seuls processeurs dans des réseaux où il est possible que certains routeurs ne comportent aucun processeur.
Finalement, une théorie de vérification formelle de la validité d'un schéma de routage est présentée. Une méthode de vérification automatique, dérivée de cette théorie, et les principes de son implémentation logicielle sont également présentés.