Modélisation des structures d'échanges de données dans un environnement parallèle : approche par simulation à événements discrets
Auteur / Autrice : | Renaud Goullioud |
Direction : | Richard Grisel |
Type : | Thèse de doctorat |
Discipline(s) : | Electronique |
Date : | Soutenance en 1996 |
Etablissement(s) : | Lyon, INSA |
Ecole(s) doctorale(s) : | École doctorale Électronique, électrotechnique, automatique (Lyon) |
Partenaire(s) de recherche : | Laboratoire : Ecole supérieure de chimie physique électronique de Lyon |
Mots clés
Mots clés contrôlés
Résumé
L'analyse des performances des machines multiprocesseurs peut s'envisager de plusieurs manières: l'approche analytique, l'utilisation de logiciels de simulation spécifiques ou l'utilisation de simulateurs existants et d'application très générale. La simulation à événements discrets avec le simulateur SIMAN a été retenue. Ainsi les principaux éléments du système sont modélisés sans atteindre le niveau électronique du composant. Afin de valider notre approche, nous avons effectué une étude comparée, entre l'approche analytique et la modélisation par SIMAN, du problème de la cohérence entre les caches. Les résultats obtenus montrent que notre approche est précise et sensible. De plus, nous avons mis en évidence ses apports par rapport à la solution analytique. Afin de montrer l'intérêt de l'approche, un cas pratique est étudié : un système cible à trois transputers. Les résultats comparés entre les simulations d'un programme réel sur le modèle du système et l'exécution réelle confirment l'exactitude et la précision de notre méthode d'analyse du comportement du système cible. Bien que l'étude ait été effectuée sur une machine à base de trois transputers, elle peut sans difficultés être appliquée à des architectures plus complexes.