16375

Programming Embedded Manycore: Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines

Ivan Llopard
Universite Pierre & Marie Curie – Paris 6
tel-01350506, (29 July 2016)

@phdthesis{llopard:tel-01350506,

   title={Programming Embedded Manycore: Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines},

   author={Llopard, Ivan},

   url={https://hal.archives-ouvertes.fr/tel-01350506},

   school={Universit{‘e} Pierre & Marie Curie – Paris 6},

   year={2016},

   month={Apr},

   keywords={GPU; Formal semantics; Compiler; Statecharts; Action Language; Langage d’action; Compilateur; S{‘e}mantique Formelles},

   type={Theses},

   pdf={https://hal.archives-ouvertes.fr/tel-01350506/file/these_archivage_3269830.pdf},

   hal_id={tel-01350506},

   hal_version={v1}

}

Download Download (PDF)   View View   Source Source   

1529

views

Modeling languages propose convenient abstractions and transformations to handle the com- plexity 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. In this thesis, 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.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2024 hgpu.org

All rights belong to the respective authors

Contact us: