A From a Formalized Parallel Action Language to its Efficient Code Generation - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2017

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

Ivan Llopard
Christian Fabre
Albert Cohen

Résumé

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.
Fichier principal
Vignette du fichier
tecs16.pdf (557.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01425140 , version 1 (03-01-2017)

Identifiants

Citer

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), 2017, ⟨10.1145/0000000.0000000⟩. ⟨hal-01425140⟩
302 Consultations
286 Téléchargements

Altmetric

Partager

More