Home > Research > Students/Post-docs > Amaury Graillat (PhD)

Amaury Graillat (PhD)

Code Generation for Multi-Core Processor with Hard Real-Time Constraints

Thursday 1 December 2016

Years: 2015, 2016, 2017, 2018 (CIFRE Ph. D)
Co-supervisor: Pascal Raymond
Subject: Code Generation for Multi-Core Processor with Hard Real-Time Constraints
Abstract:

Most critical systems are subject to hard real-time requirements. These systems are more and more complex and the computational power of the predictable single-core processors is no longer sufficient.Multi- or many-core architectures are good alternatives but interferences on shared resources must betaken into account to avoid unpredictable timing effects. For many-core, the Network-on-Chip (NoC)must be configured such that deadlocks are avoided and a tight Worst-Case Traversal Time (WCTT)of the communications can be computed. The Kalray MPPA2 is a many-core architecture with good timing properties. Dataflow Synchronous languages such as Lustre or Scade are widely used for avionics critical software. In these languages, programs are described by networks of computational nodes. We introduce a method to extract parallel tasks from synchronous programs. Then, we generate parallel code to deploy tasks on the chip and implement NoC and shared-memory communications. The generated code enables traceability. It is based on a time-triggered execution model which relieson a static schedule and minimizes the memory interferences thanks to usage of memory banks.The code enables the computation of a worst-case execution time bound accounting for the memory interferences and the WCTT of NoC transmissions. We generate a configuration of the platform to enable a fair bandwidth attribution on the NoC, bounded transmissions through the NoC and clock synchronization. Finally, we apply this tool chain on avionic case studies and synthetic benchmarks running on 64 cores.


2020

Journal articles

ref_biblio
Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge. Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarks. Performance Evaluation, 2020, 143, pp.102124. ⟨10.1016/j.peva.2020.102124⟩. ⟨hal-03170466⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03170466/file/dtis21044PostPrint-Article-2.pdf BibTex

2019

Journal articles

ref_biblio
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, et al.. Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Transactions on Architecture and Code Optimization, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩. ⟨hal-02422789⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip. RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩. ⟨hal-02320463⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02320463/file/rtns2019.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge. Comparing strategies to bound the latencies of the MPPA Network-on-Chipi (Extended version). 2019. ⟨hal-02122874⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02122874/file/MPPA-NoC-WCTT.pdf BibTex
ref_biblio
Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge. Comparing strategies to bound the latencies of the MPPA NoC. 2019. ⟨hal-02099698⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02099698/file/DTIS19057.1550750883.pdf BibTex

2018

Conference papers

ref_biblio
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩. ⟨hal-01667594v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01667594/file/date2018.pdf BibTex
ref_biblio
Marc Boyer, Benoît Dupont de Dinechin, Amaury Graillat, Lionel Havet. Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor. ERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France. ⟨hal-01707911⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01707911/file/Version-Finale.pdf BibTex

Reports

ref_biblio
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, et al.. Efficient parallelization of large-scale hard real-time applications. [Research Report] RR-9180, INRIA Paris. 2018. ⟨hal-01810176v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01810176/file/RR-9180.pdf BibTex

Theses

ref_biblio
Amaury Graillat. Génération de code pour un many-core avec des contraintes temps réel fortes. Langage de programmation [cs.PL]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM063⟩. ⟨tel-02069346⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02069346/file/GRAILLAT_2018_archivage.pdf BibTex

2017

Reports

ref_biblio
Keryan Didier, Albert Cohen, Adrien Gauffriau, Amaury Graillat, Dumitru Potop-Butucaru. Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software. [Research Report] RR-9057, Inria Paris. 2017, pp.31. ⟨hal-01509314⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01509314/file/RR-9057.pdf BibTex

Attached documents


Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License