Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur

Résumé : Les systèmes embarqués sont des équipements électroniques et informatiques, soumis à de nombreuses contraintes et dont le fonctionnement doit être continu. Pour définir le comportement de ces systèmes, les modèles de programmation dataflows sont souvent utilisés. Ce choix de modèle est motivé d'une part, parce qu'ils permettent de décrire un comportement cyclique, nécessaire aux systèmes embarqués ; et d'autre part, parce que ces modèles s'apprêtent à des analyses qui peuvent fournir des garanties de fonctionnement et de performance essentielles. La société Kalray propose une architecture embarquée, le MPPA. Il est accompagné du langage de programmation ΣC. Ce langage permet alors de décrire des applications sous forme d'un modèle dataflow déjà très étudié, le modèle Cyclo-Static Dataflow Graph(CSDFG). Cependant, les CSDFG générés par ce langage sont souvent trop complexes pour permettre l'utilisation des techniques d'analyse existantes. L'objectif de cette thèse est de fournir des outils algorithmiques qui résolvent les différentes étapes d'analyse nécessaires à l'étude d'une application ΣC, mais dans un temps d'exécution raisonnable, et sur des instances de grande taille. Nous étudions trois problèmes d'analyse distincts : le test de vivacité, l'évaluation du débit maximal, et le dimensionnement mémoire. Pour chacun de ces problèmes, nous fournissons des méthodes algorithmiques rapides, et dont l'efficacité a été vérifiée expérimentalement. Les méthodes que nous proposons sont issues de résultats sur les ordonnancements périodiques ; elles fournissent des résultats approchés et sans aucune garantie de performance. Pour pallier cette faiblesse, nous proposons aussi de nouveaux outils d'analyse basés sur les ordonnancements K-périodiques. Ces ordonnancements généralisent nos travaux d'ordonnancement périodiques et nous permettrons dans un avenir proche de concevoir des méthodes d'analyse bien plus efficaces.
Type de document :
Thèse
Recherche opérationnelle [cs.RO]. Université Pierre et Marie Curie - Paris VI, 2013. Français
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00922578
Contributeur : Bruno Bodin <>
Soumis le : jeudi 13 février 2014 - 16:15:10
Dernière modification le : lundi 29 mai 2017 - 14:25:05
Document(s) archivé(s) le : jeudi 15 mai 2014 - 10:10:37

Identifiants

  • HAL Id : tel-00922578, version 2

Collections

Citation

Bruno Bodin. Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur. Recherche opérationnelle [cs.RO]. Université Pierre et Marie Curie - Paris VI, 2013. Français. 〈tel-00922578v2〉

Partager

Métriques

Consultations de la notice

396

Téléchargements de fichiers

446