Automating Timing Enclaves for Reactive Programs in Lingua Franca
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | 2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) |
| Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 9-16 |
| Seitenumfang | 8 |
| ISBN (elektronisch) | 979-8-3315-6571-8 |
| ISBN (Print) | 979-8-3315-6572-5 |
| Publikationsstatus | Veröffentlicht - 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | IEEE International Symposium on Embedded Multicore Socs (MCSoC) |
|---|
Konferenz
| Titel | 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip |
|---|---|
| Kurztitel | MCSoC 2025 |
| Veranstaltungsnummer | 18 |
| Dauer | 15 - 18 Dezember 2025 |
| Webseite | |
| Ort | Newcastle Australia Institute of Higher Education & Online |
| Stadt | Singapore |
| Land | Singapur |
Externe IDs
| ORCID | /0000-0002-5007-445X/work/209579761 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
- Artificial intelligence - DSE, Lingua Franca, Reactors
- Computernetzwerke und -kommunikation - DSE, Lingua Franca, Reactors
- Angewandte Informatik - DSE, Lingua Franca, Reactors
- Hardware und Architektur - DSE, Lingua Franca, Reactors
Schlagwörter
- DSE, Lingua Franca, Reactors