Modélisation flux de données et optimisation pour architecture multi-coeurs de motifs répétitifs

Data flow modelling and optimization of loops for multi-core architectures

• Auteur / Autrice : Jonathan Piat
• Direction : Olivier Déforges
• Type : Thèse de doctorat
• Discipline(s) : Traitement du signal et des images
• Date : Soutenance en 2010
• Etablissement(s) : Rennes, INSA
• Ecole(s) doctorale(s) : École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes)

Mots clés

Mots clés contrôlés

Théorie des automates mathématiques

Systèmes électroniques

Traitement d'images -- Techniques numériques

Codage

Théorie du signal (télécommunications)

Résumé

Face au defi que represente la programmation des architectures multi-cŒurs/processeurs, il est devenu necessaire de proposer aux developpeurs des outils adaptes permettant d’abstraire les notions inherentes au parallelisme et facilitant le portage d’une application sur differentes architectures. La methodologie aaa (adequation algorithme architecture) propose au developpeur d’automatiser les etapes de partitionnement, ordonnancement a partir d’une description haut niveau de l’application et de l’architecture. Cette methodologie permet donc le prototypage rapide d’une application sur differentes architectures avec un minimum d’effort et un resultat approchant l’optimal. Les apports de cette these se situent a la fois au niveau du modele de specification et de ses optimisations relatives au contexte des architectures paralleles.

Since applications such as video coding/decoding or digital communications with advanced features are becoming more complex, the need for computational power is rapidly increasing. In order to satisfy software requirements, the use of parallel architecture is a common answer. To reduce the software development effort for such architectures, it is necessary to provide the programmer with efficient tools capable of automatically solving communications and software partitioning/scheduling concerns. The algorithm architecture matching methodology helps the programmer by providing automatic transformation, partitioning and scheduling of an application for a given architecture this methodology relies on an application model that allow to extract the available parallelism. The contributions of this thesis are tackles both the problem of the model and the associated optimization for parallelism extraction.