Semantic Polyhedral Model for Arrays and Lists

Résumé : Le modèle polyédrique est un modèle puissant qui permet d’optimiser des noyau de calculs intensifs (des morceaux de code impératif). Dans ce rapport on se propose de définir un « Modèle Polyédrique Sémantique » qui se veut une formalisation des concepts présent dans le modèle original en repartant de la notion d’opération jusqu’au concept de dépendance en données. Cette reformulation qui repose non plus sur des concepts syntaxiques mais sémantiques permet alors de caractériser le spectre d’application du modèle polyédrique. Nous proposons aussi des extensions pour des programmes utilisant des listes et qui font du partage mémoire.
Type de document :
Rapport
[Research Report] RR-9183, Inria Grenoble Rhône-Alpes; UCBL; LIP - ENS Lyon; CEA List. 2018, pp.1-28
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01815759
Contributeur : Laure Gonnord <>
Soumis le : jeudi 14 juin 2018 - 14:51:38
Dernière modification le : samedi 27 octobre 2018 - 01:20:04
Document(s) archivé(s) le : samedi 15 septembre 2018 - 14:16:44

Fichier

RR-9183.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01815759, version 1

Citation

Laure Gonnord, Paul Iannetta, Lionel Morel. Semantic Polyhedral Model for Arrays and Lists. [Research Report] RR-9183, Inria Grenoble Rhône-Alpes; UCBL; LIP - ENS Lyon; CEA List. 2018, pp.1-28. 〈hal-01815759〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

103