Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications

Cupertino Miranda 1
1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : Frappée par les rendements décroissants de la performance séquentielle et les limitations thermiques, l’industrie des microprocesseurs s’est tournée résolument vers les multiprocesseurs sur puce. Ce mouvement a ramené des problèmes anciens et difficiles sous les feux de l’actualité du développement logiciel. Les compilateurs sont l’une des pièces maitresses du puzzle permettant de poursuivre la traduction de la loi de Moore en gains de performances effectifs, gains inaccessibles sans exploiter le parallélisme de threads. Pourtant, la recherche sur les systèmes parallèles s’est concentrée sur les aspects langage et architecture, et le potentiel reste énorme en termes de compilation de programmes parallèles, d’optimisation et d’adaptation de programmes parallèles pour exploiter efficacement le matériel. Cette thèse relève ces défis en présentant Erbium, un langage de bas niveau fondé sur le traitement de flots de données, et mettant en œuvre des communications multi-producteur multi-consommateur ; un exécutif parallèle très efficace pour les architectures x86 et des variantes pour d’autres types d’architectures ; un schéma d’intégration du langage dans un compilateur illustré en tant que représentation intermédiaire dans GCC ; une étude des primitives du langage et de leurs dépendances permettant aux compilateurs d’optimiser des programmes Erbium à l’aide de transformations spécifiques aux programmes parallèles, et également à travers des formes généralisées d’optimisations classiques, telles que l’élimination de redondances partielles et l’élimination de code mort.
Type de document :
Thèse
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. 〈NNT : 2013PA112020〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00840333
Contributeur : Abes Star <>
Soumis le : mardi 2 juillet 2013 - 11:48:11
Dernière modification le : mardi 27 juin 2017 - 01:11:35
Document(s) archivé(s) le : mercredi 5 avril 2017 - 06:01:47

Fichier

VD2_MIRANDA_CUPERTINO_11022013...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00840333, version 1

Collections

Citation

Cupertino Miranda. Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications. Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. 〈NNT : 2013PA112020〉. 〈tel-00840333〉

Partager

Métriques

Consultations de
la notice

667

Téléchargements du document

336