Unified Polyhedral Modeling of Temporal and Spatial Locality

Oleksandr Zinenko 1 Sven Verdoolaege 2 Chandan Reddy 1 Jun Shirako 3 Tobias Grosser 4 Vivek Sarkar 3 Albert Cohen 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Résumé : Malgré les décennies de travail dans ce domaine, la construction de compilateurs capables de paraléliser et optimiser les nids de boucle reste un problème difficile, dans le contexte d’une augmentation de la diversité des applications calculatoires et de la complexité de la hiérarchie de calcul et de stockage des processeurs modernes. L’absence d’une méthode systématique pour optimiser la localité et le parallélisme, fondée sur un modèle de localité des données pertinent, constitue un obstacle majeur pour prendre en charge la variété des besoins en optimisation de boucles issus du logiciel et du matériel. Dans ce contexte, nous proposons un nouvel algorithme unifié pour l’optimisation du parallélisme et de la localité dans les nids de boucles, capable de modéliser les effets temporels et spatiaux des multiprocesseurs et accélérateurs comportant des hiérarchies profondes de parallélisme et de mémoire. Cet algorithme coordonne la résolution d’une collection de problèmes d’optimisation paramètrés, portant sur des objectifs de localité ou et de parallélisme, dans un espace polyédrique de transformations préservant la sémantique du programme. La conception de cet algorithme fait l’objet d’une discussion systématique, ainsi que d’une validation expérimentale sur des noyaux calculatoires et benchmarks représentatifs.
Type de document :
Rapport
[Research Report] RR-9110, Inria Paris. 2017, pp.41
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01628798
Contributeur : Albert Cohen <>
Soumis le : lundi 6 novembre 2017 - 11:35:55
Dernière modification le : jeudi 26 avril 2018 - 10:29:00
Document(s) archivé(s) le : mercredi 7 février 2018 - 13:11:03

Identifiants

  • HAL Id : hal-01628798, version 1

Collections

Citation

Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, et al.. Unified Polyhedral Modeling of Temporal and Spatial Locality. [Research Report] RR-9110, Inria Paris. 2017, pp.41. 〈hal-01628798〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

262