Code generation for multi-phase tasks on a multi-core distributed memory platform

Frédéric Fort (1) , Julien Forget (1)

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Ensuring temporal predictability of real-time systems on a multi-core platform is difficult, mainly due to hard to predict delays related to shared access to the main memory. Task models where computation phases and communication phases are separated (such as the PRedictable Execution Model), have been proposed to both mitigate these delays and make them easier to analyze. In this paper we present a compilation process, part of the Prelude compiler, that automatically translates a high-level synchronous data-flow system specification into a PREM-compliant C program. By automating the production of the PREM-compliant C code, low-level implementation concerns related to task communications become the responsibility of the compiler, which saves tedious and error-prone development efforts.

Mots clés: Code generation; PREM; distributed memory

Domaines: Systèmes embarqués; Langage de programmation [cs.PL]

Frédéric Fort, Julien Forget. Code generation for multi-phase tasks on a multi-core distributed memory platform. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2019, Hangzhou, China. ⟨hal-02295835⟩