Skip to Main content Skip to Navigation
Theses

Extending Polyhedral Techniques towards Parallel Specifications and Approximations

Alexandre Isoard 1, 2
2 COMPSYS - Compilation and embedded computing systems
LIP - Laboratoire de l'Informatique du Parallélisme, Inria Grenoble - Rhône-Alpes
Résumé : Les techniques polyédriques permettent d’appliquer des analyses et transformations de code sur des structures multidimensionnelles telles que boucles imbriquées et tableaux. Elles sont en général restreintes aux programmes séquentiels dont le contrôle est affine et statique. Cette thèse consiste à les étendre à des programmes comportant par exemple des tests non analysables ou exprimant du parallélisme. Le premier résultat est l'extension de l’analyse de durée de vie et conflits mémoire, pour les scalaires et les tableaux, à des programmes à spécification parallèle ou approximée. Dans les travaux précédents sur l’allocation mémoire pour laquelle cette analyse est nécessaire, la notion de temps ordonne totalement les instructions entre elles et l’existence de cet ordre est implicite et nécessaire. Nous avons montré qu'il est possible de mener à bien de telles analyses sur un ordre partiel quelconque qui correspondra au parallélisme du programme étudié. Le deuxième résultat est d'étendre les techniques de repliement mémoire, basées sur les réseaux euclidiens, de manière à trouver automatiquement une base adéquate à partir de l'ensemble des conflits mémoire. Cet ensemble est fréquemment non convexe, cas qui était traité de façon insuffisante par les méthodes précédentes. Le dernier résultat applique les deux analyses précédentes au calcul par blocs "pipelinés" et notamment au cas de blocs de taille paramétrique. Cette situation donne lieu à du contrôle non-affine mais peut être traité de manière précise par le choix d’approximations adaptées. Ceci ouvre la voie au transfert efficace de noyaux de calculs vers des accélérateurs tels que GPU, FPGA ou autre circuit spécialisé.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01369014
Contributor : Abes Star :  Contact
Submitted on : Tuesday, September 20, 2016 - 2:00:17 PM
Last modification on : Wednesday, November 20, 2019 - 2:37:34 AM

File

ISOARD_Alexandre_2016LYSEN011_...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01369014, version 1

Collections

Citation

Alexandre Isoard. Extending Polyhedral Techniques towards Parallel Specifications and Approximations. Other [cs.OH]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN011⟩. ⟨tel-01369014⟩

Share

Metrics

Record views

869

Files downloads

323