Détection des interblocages dans les réseaux sur puces

par Sami Taktak

Thèse de doctorat en Informatique

Sous la direction de Emmanuelle Encrenaz.

Soutenue en 2009

à Paris 6 .


  • 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 complexes.

  • Titre traduit

    Deadlock detection in networks on chip


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (II-124 p.)
  • Annexes : Bibliogr. p. 117-123. 75 réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2009 111
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.