Thèse soutenue

Modélisation des structures d'échanges de données dans un environnement parallèle : approche par simulation à événements discrets

FR  |  
EN
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

FR

Mots clés contrôlés

Résumé

FR  |  
EN

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.