TAKTAK Sami
Gruppo di ricerca : ALSOC
Data di partenza : 02/15/2009
https://lip6.fr/Sami.Taktak
Relatore : Emmanuelle ENCRENAZ
Co-relazione : MUNIER Alix
Détection des interblocages dans les réseaux sur puce
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.
Difesa : 01/30/2009
Membri della commissione :
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
Pubblicazioni 2005-2022
-
2022
- M. Patetta, S. Secci, S. Taktak : “A Lightweight Southbound Interface for Standalone P4-NetFPGA SmartNICs”, 2022 1st International Conference on 6G Networking (6GNet), Paris, France, (IEEE) (2022)
- E. Cortesi, F. Bruschi, S. Secci, S. Taktak : “A new approach for Bitcoin pool-hopping detection”, Computer Networks, vol. 205 (108758), pp. 108758, (Elsevier) (2022)
-
2010
- V. Beaudenon, E. Encrenaz, S. Taktak : “Data Decision Diagrams for Promela Systems Analysis”, International Journal on Software Tools for Technology Transfer, vol. 12 (5), pp. 337-352, (Springer Verlag) (2010)
- S. Taktak, E. Encrenaz, J.‑L. Desbarbieux : “A polynomial algorithm to prove deadlock-freeness of wormhole networks”, PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, Pisa, Italy, pp. 121-128, (IEEE) (2010)
-
2009
- S. Taktak : “DĂ©tection des interblocages dans les rĂ©seaux sur puce”, these, difesa 01/30/2009, relatore Encrenaz, Emmanuelle, co-relazione : Munier, Alix (2009)
-
2008
- Zh. Zhang, A. Greiner, S. Taktak : “A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip”, The 45th annual Design Automation Conference (DAC), Anaheim, California, United States, pp. 441-446 (2008)
- S. Taktak, J.‑L. Desbarbieux, E. Encrenaz : “A tool for automatic detection of deadlocks in wormhole networks on chip”, ACM Transactions on Design Automation of Electronic Systems, vol. 13 (1), pp. 1-8, (Association for Computing Machinery) (2008)
-
2006
- S. Taktak, E. Encrenaz, J.‑L. Desbarbieux : “A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip”, HLDVT IEEE International High Level Design Validation and Test Workshop, Monterey, California, United States, pp. 203-210, (IEEE) (2006)
-
2005
- V. Beaudenon, E. Encrenaz, S. Taktak : “Data Decision Diagrams for ProMeLa Systems Analysis”, (2005)