Automating Timing Enclaves for Reactive Programs in Lingua Franca

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Abstract

Lingua Franca (LF) is a coordination language for cyber-physical systems that ensures deterministic execution through the reactor model. While LF's conservative scheduler guarantees correctness, it can hinder performance due to synchronization barriers that limit parallelism. Timing enclaves, a recent extension to LF, mitigate this by partitioning programs into independently scheduled regions with decoupled logical timelines. However, determining optimal enclave configurations is non-trivial and not intuitive to programmers, as it requires balancing parallelism, synchronization overhead, and system constraints. In this paper, we present a framework for Design Space Exploration (DSE) of timing enclaves in LF programs. Our approach automatically analyzes the program's topology, identifies valid enclave partitions, and uses heuristics to explore trade-offs between determinism and latency. We evaluate the effectiveness of our method on synthetic benchmarks and a realworld 4G baseband processing application. Results show that our DSE framework can significantly improve performance while preserving deterministic semantics, highlighting its practical value for complex real-time systems.

Details

OriginalspracheEnglisch
Titel2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers (IEEE)
Seiten9-16
Seitenumfang8
ISBN (elektronisch)979-8-3315-6571-8
ISBN (Print)979-8-3315-6572-5
PublikationsstatusVeröffentlicht - 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheIEEE International Symposium on Embedded Multicore Socs (MCSoC)

Konferenz

Titel18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip
KurztitelMCSoC 2025
Veranstaltungsnummer18
Dauer15 - 18 Dezember 2025
Webseite
OrtNewcastle Australia Institute of Higher Education & Online
StadtSingapore
LandSingapur

Externe IDs

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

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • DSE, Lingua Franca, Reactors