Timing enclaves for performance in Lingua Franca
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
The reactor model is a model of computation for concurrent systems that includes semantics for time to guarantee deterministic execution of events. However, the guarantee of determinism comes at the price of raising the complexity of building a runtime scheduling algorithm that efficiently exploit parallelism of real time systems. In this paper we propose a methodology called 'timing enclaves' for partitioning of reactor programs written using Lingua Franca, a novel coordination language that implements the reactor model. Timing enclaves decouple the timeline of an application to use multiple schedulers that allow parallel computation while preserving determinism. We evaluate our approach on a baseband processing benchmark, a complex use case with a high degree of parallelism and real-time constraints. We show that our approach has performance comparable to a prior asynchronous and nondeterministic implementation while ensuring determinism.
Details
Originalsprache | Englisch |
---|---|
Titel | Forum on Specification and Design Languages, FDL 2024 |
Herausgeber (Verlag) | IEEE Computer Society |
ISBN (elektronisch) | 9798331504571 |
Publikationsstatus | Veröffentlicht - 2024 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Forum on Specification and Design Languages |
---|---|
ISSN | 1636-9874 |
Konferenz
Titel | 27th Forum on Specification and Design Languages |
---|---|
Kurztitel | FDL 2024 |
Veranstaltungsnummer | 27 |
Dauer | 4 - 6 September 2024 |
Ort | KTH Royal Institute of Technology |
Stadt | Stockholm |
Land | Schweden |
Externe IDs
ORCID | /0000-0002-5007-445X/work/173985269 |
---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Baseband processing, models of computation, reactors