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
- Keywords : Interconnection networks, topologies, routing schemes, performance evaluation, deadlock
- Publisher : Francois.Dromard (at) nulllip6.fr
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.
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.