Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués

Anthony Coadou 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Cette thèse définit un nouveau modèle de calcul et de communication, dénommé graphe à routage k-périodique (KRG). Ce modèle, de la famille des réseaux de processus flots de données, admet des aiguillages réguliers des données, explicités par des séquences binaires k-périodiques. Nous étudions les propriétés mathématiques intrinsèques au modèle. Le routage explicite et l'absence de conflit nous permettent d'exprimer algébriquement les dépendances de données, de même que des transformations topologiques préservant le comportement du graphe. Nous montrons ensuite comment ordonnancer le KRG, en associant aux nœuds des horloges k-périodiques. Nous positionnons ensuite notre modèle au sein d'un flot de conception dédié aux applications de traitement intensif de données. Nous montrons en particulier la capacité des KRG à représenter explicitement le parallélisme d'instruction extrait du modèle polyédrique. Nous pouvons alors appliquer un ensemble d'optimisations de bas niveau, sortant du cadre affine du modèle polyédrique. Nous présentons enfin une méthodologie pour l'implantation des KRG, basée sur la conception insensible aux latences.
Type de document :
Thèse
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2010. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00545008
Contributeur : Anthony Coadou <>
Soumis le : jeudi 10 mars 2011 - 16:39:31
Dernière modification le : vendredi 11 mars 2011 - 10:12:33
Document(s) archivé(s) le : samedi 11 juin 2011 - 02:50:11

Fichier

Identifiants

  • HAL Id : tel-00545008, version 4

Collections

Citation

Anthony Coadou. Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués. Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2010. Français. 〈tel-00545008v4〉

Partager

Métriques

Consultations de
la notice

329

Téléchargements du document

287