Rigorous Design Flow for Programming Manycore Platforms

Résumé : L'objectif du travail présenté dans cette thèse est de répondre à un verrou fondamental, qui est «comment programmer d'une manière rigoureuse et efficace des applications embarquées sur des plateformes multi-coeurs?». Cette problématique pose plusieurs défis: 1) le développement d'une approche rigoureuse basée sur les modèles pour pouvoir garantir la correction; 2) le « mariage » entre modèle physique et modèle de calcul, c'est-à-dire, l'intégration du fonctionnel et non-fonctionnel; 3) l'adaptabilité. Pour s'attaquer à ces défis, nous avons développé un flot de conception rigoureux autour du langage BIP. Ce flot de conception permet l'exploration de l'espace de conception, le traitement à diffèrent niveaux d'abstraction à la fois pour la plate-forme et l'application, la génération du code et le déploiement sur des plates-formes multi-cœurs. La méthode utilisée s'appuie sur des transformations source-vers-source des modèles BIP. Ces transformations sont correctes-par-construction. Nous illustrons ce flot de conception avec la modélisation et le déploiement de plusieurs applications sur deux plates-formes différentes. La première plate-forme considérée est MPARM, une plate-forme virtuelle, basée sur des processeurs ARM et structurée avec des clusters, où chacun contient plusieurs cœurs. Pour cette plate-forme, nous avons considérée les applications suivantes: la factorisation de Cholesky, le décodage MPEG-2, le décodage MJPEG, la Transformée de Fourier Rapide et un algorithme de demosaicing. La seconde plate-forme est P2012/STHORM, une plate-forme multi-cœur, basée sur plusieurs clusters capable d'une gestion énergétique efficace. L'application considérée sur P2012/STHORM est l'algorithme HMAX. Les résultats expérimentaux montrent l'intérêt du flot de conception, notamment l'analyse rapide des performances ainsi que la modélisation au niveau du système, la génération de code et le déploiement.
Type de document :
Thèse
Other [cs.OH]. Université de Grenoble, 2013. English. <NNT : 2013GRENM012>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01135186
Contributeur : Abes Star <>
Soumis le : mardi 24 mars 2015 - 19:32:06
Dernière modification le : jeudi 11 juin 2015 - 03:51:27
Document(s) archivé(s) le : jeudi 2 juillet 2015 - 06:16:20

Fichier

30276_BOURGOS_2013_archivage.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01135186, version 1

Collections

Citation

Paraskevas Bourgos. Rigorous Design Flow for Programming Manycore Platforms. Other [cs.OH]. Université de Grenoble, 2013. English. <NNT : 2013GRENM012>. <tel-01135186>

Partager

Métriques

Consultations de
la notice

388

Téléchargements du document

162