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

authored by: 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.
Organisation(s): Systems and Computer Architecture Section
Type: Article
Journal: Real-time systems
Volume: 60
Pages: 491-533
No. of pages: 43
ISSN: 0922-6443
Publication date: 03.10.2024
Publication status: Published
Peer reviewed: Yes
ASJC Scopus subject areas: Control and Systems Engineering, Modelling and Simulation, Computer Science Applications, Computer Networks and Communications, Control and Optimization, Electrical and Electronic Engineering
Electronic version(s): https://doi.org/10.1007/s11241-024-09429-1 (Access: Open)

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",
}