LIP6 1998/035

• Thesis «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 - 05/13/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
This thesis presents several works targeting to provide a set of tools that will allow a proper design of interconnection networks for parallel machines that are networks of workstations. More particularly, this thesis turns around two axis: the RCube router and the Multi-PC machine respectively developed and in development within the ASIM team of the LIP6 laboratory. The labelling of several standard topologies using RCube and compliant with the Multi-PC machine specifications are presented. The results of performance evaluation of these topologies for several sizes and under different workloads are presented too. The adaptivity cost is discussed as a consequence of the obtained results. The performance evaluation of different topologies allowed to make an evaluation of the RCube router. This thesis suggests an extension of RCube with a central buffering structure. Supporting non-standard topologies is made possible by providing an automatic configuration algorithm working on any given topology. This algorithm is a modification of the Van-Leeuwen algorithm. Its main goal is producing a linear adressing of processors only in networks where it is possible that some routers have no attached processor. Finally, a complete theory of formal verification of the validity of a routing scheme is presented. An automatic verification method, derived from this theory, and the principles of its software implementation are presented too.