Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium |
| Untertitel | RTAS |
| Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers Inc. |
| Seiten | 262-275 |
| Seitenumfang | 14 |
| ISBN (elektronisch) | 9798350321760 |
| ISBN (Print) | 979-8-3503-2177-7 |
| Publikationsstatus | Veröffentlicht - 2023 |
| Veranstaltung | 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023 - San Antonio, USA / Vereinigte Staaten Dauer: 9 Mai 2023 → 12 Mai 2023 |
Publikationsreihe
| Name | Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS |
|---|---|
| Band | 2023-May |
| ISSN (Print) | 1545-3421 |
Abstract
The implementation of static real-time control systems often allows for extensive compile-time optimizations based on RTOS-aware whole-program analyses. Previous work has shown the high optimization potential of control-flow aware static system-call tailoring, but is restricted to single-core systems due to the inherent problem of an exponentially growing analysis state in multicore settings. We present MultiSSE, a multi-core capable and RTOS-aware static whole-system analysis that makes such analyses also feasible on multi-core systems. MultiSSE exploits structural and optional timing information to analyze the core-level control flows as independently as possible from each other, synchronizing their states only when necessary. Thereby, MultiSSE provides means to realize compile-time deadlock detection, lock elision, and systemcall optimization also on multi-core systems. We evaluate our approach with synthetic benchmarks and a real-world quadrotor application. In all cases, we were able to optimize or even completely elide costly cross-core system calls and system objects.
ASJC Scopus Sachgebiete
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium: RTAS. Institute of Electrical and Electronics Engineers Inc., 2023. S. 262-275 (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; Band 2023-May).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - MultiSSE
T2 - 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023
AU - Entrup, Gerion
AU - Fiedler, Bjorn
AU - Lohmann, Daniel
PY - 2023
Y1 - 2023
N2 - The implementation of static real-time control systems often allows for extensive compile-time optimizations based on RTOS-aware whole-program analyses. Previous work has shown the high optimization potential of control-flow aware static system-call tailoring, but is restricted to single-core systems due to the inherent problem of an exponentially growing analysis state in multicore settings. We present MultiSSE, a multi-core capable and RTOS-aware static whole-system analysis that makes such analyses also feasible on multi-core systems. MultiSSE exploits structural and optional timing information to analyze the core-level control flows as independently as possible from each other, synchronizing their states only when necessary. Thereby, MultiSSE provides means to realize compile-time deadlock detection, lock elision, and systemcall optimization also on multi-core systems. We evaluate our approach with synthetic benchmarks and a real-world quadrotor application. In all cases, we were able to optimize or even completely elide costly cross-core system calls and system objects.
AB - The implementation of static real-time control systems often allows for extensive compile-time optimizations based on RTOS-aware whole-program analyses. Previous work has shown the high optimization potential of control-flow aware static system-call tailoring, but is restricted to single-core systems due to the inherent problem of an exponentially growing analysis state in multicore settings. We present MultiSSE, a multi-core capable and RTOS-aware static whole-system analysis that makes such analyses also feasible on multi-core systems. MultiSSE exploits structural and optional timing information to analyze the core-level control flows as independently as possible from each other, synchronizing their states only when necessary. Thereby, MultiSSE provides means to realize compile-time deadlock detection, lock elision, and systemcall optimization also on multi-core systems. We evaluate our approach with synthetic benchmarks and a real-world quadrotor application. In all cases, we were able to optimize or even completely elide costly cross-core system calls and system objects.
KW - multi core
KW - optimization
KW - RTOS
KW - static analysis
UR - http://www.scopus.com/inward/record.url?scp=85164540238&partnerID=8YFLogxK
U2 - 10.1109/RTAS58335.2023.00028
DO - 10.1109/RTAS58335.2023.00028
M3 - Conference contribution
AN - SCOPUS:85164540238
SN - 979-8-3503-2177-7
T3 - Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS
SP - 262
EP - 275
BT - 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 9 May 2023 through 12 May 2023
ER -