Timing enclaves for performance in Lingua Franca

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

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

Original languageEnglish
Title of host publicationForum on Specification and Design Languages, FDL 2024
PublisherIEEE Computer Society
ISBN (electronic)9798331504571
Publication statusPublished - 2024
Peer-reviewedYes

Publication series

SeriesForum on Specification and Design Languages
ISSN1636-9874

Conference

Title27th Forum on Specification and Design Languages
Abbreviated titleFDL 2024
Conference number27
Duration4 - 6 September 2024
LocationKTH Royal Institute of Technology
CityStockholm
CountrySweden

External IDs

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

Keywords

Keywords

  • Baseband processing, models of computation, reactors