Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems

Résumé

The design and implementation of reactive, hard real-time systems involves modeling and generating efficient code for the integration of harmonic multi-periodic tasks. The simple principles of synchronous reactive programming met great scientific and engineering success in the area. A synchronous program orchestrates concurrent computations. It does so while maintaining composability, modularity, functional determinism and real-time execution guarantees. In the case of hard real-time systems, a reactive control program is composed of multi-periodic tasks related through integral ratios. This paper presents a language and optimizing compiler to implement large reactive control systems composed of multi-periodic, synchronous reactive tasks. The same language is used to program a complete control system, from the finest-grained computations to task-level integration, while generating efficient code satisfying real-time constraints. It is evaluated on two real-world applications.
Fichier principal
Vignette du fichier
IMPACT2022_Paper4_onesynch.pdf (504.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03901645 , version 1 (16-12-2022)

Identifiants

  • HAL Id : hal-03901645 , version 1

Citer

Guillaume Iooss, Albert Cohen, Dumitru Potop-Butucaru, Marc Pouzet, Vincent Bregeon, et al.. Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems. IMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12. ⟨hal-03901645⟩
68 Consultations
44 Téléchargements

Partager

Gmail Facebook X LinkedIn More