Room 206 (2nd floor, badged access)
28 novembre 2024 - 14h00
Réduire les copies et l'utilisation mémoire dans les langages synchrones
par Grégoire BUSSONE de ENS, équipe Parkas (Inria-ENS)
Résumé : Les systèmes réactifs embarqués sont des systèmes interagissant périodiquement avec leur environnement, par la lecture de capteurs et l'activation d'actionneurs. Les ingénieurs modélisent ces systèmes sous forme de schémas blocs, qui sont transcrits par le logiciel de modélisation dans un langage de programmation dit synchrone, avant d'être compilés vers du code impératif de bas niveau. Dans le cas de systèmes critiques, le code ainsi produit doit satisfaire des contraintes de temps d'exécution pire cas, pour garantir sa réactivité, et d'utilisation mémoire pire cas, à cause de limitations matérielles.
Dans ma thèse, j'étudie l'ajout d'annotations d'emplacement et d'indirections dans un langage synchrone avec tableaux pour éviter les copies implicites rajoutées à la compilation et ainsi améliorer le temps d'exécution. J'étudie également la compilation des automates, une construction de haut niveau, pour réduire leur utilisation mémoire. Plutôt que de compiler vers du C, j'expérimente l'utilisation de Rust comme langage cible.
