Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS

verfasst von: Gerion Entrup, Andreas Kässens, Björn Fiedler, Daniel Lohmann
Abstract: The development of static real-time control systems often follows a closed-world assumption, allowing extensive RTOS-aware whole-program optimization. For single-core systems, previous work could show the high potential of control-flow-aware static system-call tailoring. However, due to an exponential state explosion in the analysis phase, it cannot simply be extended to a multi-core setting, since the core’s relative timing to each other is undetermined. In this work, we present MultiSSE, a multi-core capable and RTOS-aware static whole-system optimization. First, MultiSSE analyzes the system by determining the relative positions of multiple cores only when necessary. For that, it exploits structural control flow and optionally timing information to handle each core separately as much as possible. Based on the analysis result, a synthesis applies lock elision and system-call optimization to generate specialized multi-core real-time systems for AUTOSAR OS. To enable a static prediction of the run-time reduction, we additionally provide cost models for the optimized cross-core system calls and evaluate the approach with synthetic benchmarks and a real-world quadrotor application. MultiSSE was able to optimize or even completely elide costly cross-core system calls and system objects leading to a reduction of up to 14% of a task’s execution time. In this extended version of a conference publication (Entrup et al. 2023), we provide an advanced description, new cost models, and an end-to-end measurement by developing a synthesis complementing the analysis.
Organisationseinheit(en): Fachgebiet System- und Rechnerarchitektur
Typ: Artikel
Journal: Real-time systems
Band: 60
Seiten: 491-533
Anzahl der Seiten: 43
ISSN: 0922-6443
Publikationsdatum: 03.10.2024
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
ASJC Scopus Sachgebiete: Steuerungs- und Systemtechnik, Modellierung und Simulation, Angewandte Informatik, Computernetzwerke und -kommunikation, Steuerung und Optimierung, Elektrotechnik und Elektronik
Elektronische Version(en): https://doi.org/10.1007/s11241-024-09429-1 (Zugang: Offen)

BibTeX

@article{b3948c92e8e249799e599970857abaab,
title = "Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS",
abstract = "The development of static real-time control systems often follows a closed-world assumption, allowing extensive RTOS-aware whole-program optimization. For single-core systems, previous work could show the high potential of control-flow-aware static system-call tailoring. However, due to an exponential state explosion in the analysis phase, it cannot simply be extended to a multi-core setting, since the core{\textquoteright}s relative timing to each other is undetermined. In this work, we present MultiSSE, a multi-core capable and RTOS-aware static whole-system optimization. First, MultiSSE analyzes the system by determining the relative positions of multiple cores only when necessary. For that, it exploits structural control flow and optionally timing information to handle each core separately as much as possible. Based on the analysis result, a synthesis applies lock elision and system-call optimization to generate specialized multi-core real-time systems for AUTOSAR OS. To enable a static prediction of the run-time reduction, we additionally provide cost models for the optimized cross-core system calls and evaluate the approach with synthetic benchmarks and a real-world quadrotor application. MultiSSE was able to optimize or even completely elide costly cross-core system calls and system objects leading to a reduction of up to 14% of a task{\textquoteright}s execution time. In this extended version of a conference publication (Entrup et al. 2023), we provide an advanced description, new cost models, and an end-to-end measurement by developing a synthesis complementing the analysis.",
keywords = "IPI avoidance, Lock Elision, Multi Core, Real-Time Systems, Syscall Cost Model",
author = "Gerion Entrup and Andreas K{\"a}ssens and Bj{\"o}rn Fiedler and Daniel Lohmann",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.",
year = "2024",
month = oct,
day = "3",
doi = "10.1007/s11241-024-09429-1",
language = "English",
volume = "60",
pages = "491--533",
journal = "Real-time systems",
issn = "0922-6443",
publisher = "Springer Netherlands",
number = "3",
}