Soutenance de thèse sur les interblocages dans les NoC le vendredi 30 janvier à 14h

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Détection des interblocages dans les réseaux sur puce", ainsi qu'au pot
qui suivra.

Date et Lieu :
La soutenance aura lieu le vendredi 30 janvier à 14h00 dans
l'amphithéâtre Herpin situé dans le bâtiment Esclangon sur le campus de
Jussieu.
Plan d'accès:
http://www.upmc.fr/fr/universite/campus/a_paris_et_en_idf/campus_jussieu2.html

Composition du Jury :
Dominique Borrione, professeur à l'Université Joseph Fourier à Grenoble,
Rapporteur
Patrice Quinton, professeur à l'ENS Cachan antenne de Rennes, Rapporteur
Fabien Clermidy, CEA Leti à Grenoble, Examinateur
Paul Feautrier, professeur à l'ENS Lyon, Examinateur
Alain Greiner, professeur à l'UPMC, Examinateur
Emmanuelle Encrenaz, maître de conférences à l'UPMC, Directrice de thèse

Résumé :
La complexité grandissante des systèmes sur puce nécessite de disposer
d'un moyen de communication efficace entre les éléments composant le
système.
Les réseaux sur puces offrent une large bande passante et supportent
naturellement ce passage à l'échelle.
Ils sont apparus comme une réponse à ces problèmes et sont devenus un
élément essentiel des systèmes sur puce.
Cependant, un des inconvénients des réseaux sur puce est leur
sensibilité aux interblocages: plusieurs messages circulant dans un
micro-réseau peuvent se bloquer les uns les autres.
Différents travaux ont porté sur des méthodes de conception de fonctions
de routage sans interblocage, mais aucun n'a permis d'obtenir une
méthode de détection d'interblocages efficace.

Il existe par ailleurs des dépendances entre messages, externes au
réseau, également susceptibles de produire des interblocages.
Les solutions proposées pour résoudre ce type d'interblocage impliquent
soit la duplication du réseau, soit l'ajout de matériels nécessaires à
la détection et à la résolution des interblocages.

Dans cette thèse, nous proposons une méthode innovante permettant de
déterminer en temps polynomial si un réseau d'interconnexion est sans
interblocage.
Une nouvelle solution est proposée pour éviter les interblocages dus aux
dépendances externes au réseau.
Contrairement à la méthode de duplication du réseau, elle permet un
meilleur partage des ressources sans augmenter la complexité du réseau.

Ces résultats ont été implémentés dans l'outil ODI et expérimentés sur
des réseaux de grande taille possédant des fonctions de routage complex
es.

Cordialement,
Sami Taktak