En savoir plus

Transcription

En savoir plus
SOUTENANCE
www. irisa.fr
THESE
Lieu Ÿ
Place
Salle 020G – ENSSAT Lannion
Date & heure Ÿ
Date and Time
Vendredi 25 octobre 2013, 09h30
Sujet Ÿ Title
De la description flux de données des codecs vidéo à leur
implémentation sur plate-formes multi-cœurs, embarquées et dédiées.
From dataflow-based video coding tools to dedicated embedded multicore platforms
Présentation par Ÿ
Display by
Résumé Ÿ
Abstract
Hervé YVIQUEL - Université de Rennes 1
Le développement du multimédia, avec l'émergence des architectures parallèles, a
ravivé l'intérêt de la programmation flux de données pour la conception de systèmes
embarqués. En effet, la programmation flux de données offre une approche de
développement suffisamment flexible pour créer des applications complexes tout en
exprimant la concurrence et le parallélisme explicitement. Paradoxalement, la plupart
des études portent sur des modèles flux de données statiques, même si un processus
de développement pragmatique nécessite l'expressivité et la practicité d'un langage
de programmation basé sur un modèle flux de données dynamiques, comme le
langage de programmation utilisé dans le cadre de Reconfigurable Video Coding.
Dans cette thèse, nous décrivons un environnement de développement pour la
programmation flux de données qui facilite le développement multimédia pour des
plates-formes multi-cœur embarquées. Cet environnement de développement repose
sur une architecture logicielle modulaire qui bénéficie de techniques modernes de
génie logiciel telles que la méta modélisation et la programmation orientée aspect.
Ensuite, nous développons une implémentation logicielle optimisée des programmes
flux de données ciblant aussi bien les ordinateurs de bureau que les plates-formes
embarquées. Notre implémentation vise à combler le fossé entre la practicité du
langage de programmation et l'efficacité de son exécution. Enfin, nous présentons un
ensemble d'algorithmes de projection et d'ordonnancement d'acteurs qui permettent
l'exécution de programmes de flux de données dynamiques sur des plates-formes
multi-cœur avec des performances extensibles.
The development of multimedia technology, along with the emergence of parallel
architectures, has revived the interest on dataflow programming for designing
embedded systems. Indeed, dataflow programming offers a flexible development
approach in order to build complex applications while expressing concurrency and
parallelism explicitly. Paradoxically, most of the studies focus on static dataflow
models of computation, even if a pragmatic development process requires the
expressiveness and the practicality of a programming language based on dynamic
dataflow models, such as the language included in the Reconfigurable Video Coding
framework.
In this thesis, we describe a complete development environment for dataflow
programming that eases multimedia development for embedded multi-core platforms.
This development environment is built upon a modular software architecture that
benefits from modern software engineering techniques such as meta modeling and
aspect-oriented programming. Then, we develop an optimized software
implementation of dataflow programs targeting desktop and embedded multi-core
1/2
R E N N E S
SOUTENANCE
www. irisa.fr
platforms. Our implementation aims to bridge the gap between the practicality of the
programming language and the efficiency of the execution. Finally, we present a set of
runtime actors mapping/scheduling algorithms that enable the execution of dynamic
dataflow programs over multi-core platforms with scalable performance.
Composition du jury Ÿ
Jury composition
GIRAULT Alain, Directeur de recherche, INRIA Rhône Alpes, rapporteur
MATTAVELLI Marco, Maître d’enseignement et de recherche, Ecole
Polytechnique Fédérale de Lausanne (EPFL), Suisse, rapporteur
RISSET Tanguy, Professeur des universités, INSA Lyon, examinateur
TAKALA Jarmo, Professeur, Tampere University of Technology (TUT),
Finlande, examinateur
CASSEAU Emmanuel, Professeur des universités, ENSSAT/Université de
Rennes 1, directeur de thèse
RAULET Mickaël, Ingénieur de recherche, IETR, co-directeur de thèse
Dpt scientifique Ÿ
Scientific department
D3 - ARCHITECTURE
D3 - ARCHITECTURE
2/2
2/2
R E N N E S