A From a Formalized Parallel Action Language to its Efficient Code Generation

Ivan Llopard 1 Christian Fabre 1 Albert Cohen 2
2 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : Modeling languages propose convenient abstractions and transformations to handle the complexity of today's embedded systems. Based on the formalism of Hierarchical State Machine, they enable the expression of hierarchical control parallelism. However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and generation flows. We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations.
Type de document :
Article dans une revue
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 〈10.1145/0000000.0000000〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01425140
Contributeur : Albert Cohen <>
Soumis le : mardi 3 janvier 2017 - 13:26:19
Dernière modification le : lundi 23 octobre 2017 - 01:06:26
Document(s) archivé(s) le : mardi 4 avril 2017 - 13:22:50

Fichier

tecs16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ivan Llopard, Christian Fabre, Albert Cohen. A From a Formalized Parallel Action Language to its Efficient Code Generation. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 〈10.1145/0000000.0000000〉. 〈hal-01425140〉

Partager

Métriques

Consultations de la notice

531

Téléchargements de fichiers

83