Semantic Array Dataflow Analysis

Paul Iannetta (1, 2, 3) , Laure Gonnord (2, 4, 3) , Lionel Morel (5) , Tomofumi Yuki (6)

1 ENS de Lyon - École normale supérieure de Lyon
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 CASH - CASH - Compilation and Analysis, Software and Hardware
4 UCBL - Université Claude Bernard Lyon 1
5 CEA - Commissariat à l'énergie atomique et aux énergies alternatives
6 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources

This paper revisits the polyhedral model’s key analysis, dependency analysis. The semantic formulation we propose allows a new definition of the notion of dependency and the computation of the dependency set. We argue that this new formalization will later allow for a new vision of the polyhedral model in terms of semantics, which will help us fully characterize its expressivity and applicability. We also believe that abstract semantics will be the key for designing an approximate abstract model in order to enhance the applicability of the polyhedral model.

Dans ce rapport de recherche nous réexprimons un des calculs-clefs du modèle polyédrique: le calcul des dépendances, en termes d’opérations sur une sémantique concrète impérative des programmes.

Mots clés: operational semantics; polyhedral model

Mots clés: sémantique opérationnelle; modèle polyédrique

Domaines: Informatique et langage [cs.CL]; Systèmes embarqués; Algorithme et structure de données [cs.DS]

Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22. ⟨hal-01954396⟩