Timing enclaves for performance in Lingua Franca

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelForum on Specification and Design Languages, FDL 2024
Herausgeber (Verlag)IEEE Computer Society
ISBN (elektronisch)9798331504571
PublikationsstatusVeröffentlicht - 2024
Peer-Review-StatusJa

Publikationsreihe

ReiheForum on Specification and Design Languages
ISSN1636-9874

Konferenz

Titel27th Forum on Specification and Design Languages
KurztitelFDL 2024
Veranstaltungsnummer27
Dauer4 - 6 September 2024
OrtKTH Royal Institute of Technology
StadtStockholm
LandSchweden

Externe IDs

ORCID /0000-0002-5007-445X/work/173985269

Schlagworte

Schlagwörter

  • Baseband processing, models of computation, reactors