ARA: Static Initialization of Dynamically-Created System Objects

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autoren

  • Björn Fiedler
  • Daniel Lohmann
  • Christian Werner Dietrich
  • Daniel Lohmann
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Titel des SammelwerksProceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium
UntertitelRTAS 2021
Seiten400-412
Seitenumfang13
ISBN (elektronisch)9781665403863
PublikationsstatusVeröffentlicht - 2021
Veranstaltung27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021 -
Dauer: 18 Mai 202121 Mai 2021

Publikationsreihe

Name
ISSN (elektronisch)2642-7346

Abstract

After power-on, crash or reboot, the system-setup point is the first deadline that a safety-critical system has to reach. Up to this point, the application not only initializes its own state but it also creates all necessary system objects (e.g., threads, mutexes, alarms,...) in the real-time operating system. And, while the strict requirements for real-time analyses often result in a rather static set of created system objects, the commonly-provided real-time operating system (RTOS) interfaces force developers to execute these creations at run time, resulting in an unnecessarily prolonged boot process. With ARA, we present a static whole-system transformation that discovers pseudo-dynamic system-object creations (SOCs) which yield the same object on every boot. By modifying the application and by RTOS specialization, we transform these SOCs to semantically equivalent static SOCs, which moves their instantiation from the run time to the compile time. Thereby, we maintain the well-known RTOS interfaces for dynamic SOCs but let developers enjoy the benefits that static initialization provides. In our case studies with FreeRTOS applications, we could reduce the boot time by up to 43 percent at a moderate increase of flash usage.

ASJC Scopus Sachgebiete

Zitieren

ARA: Static Initialization of Dynamically-Created System Objects . / Fiedler, Björn; Lohmann, Daniel; Dietrich, Christian Werner et al.
Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium: RTAS 2021. 2021. S. 400-412 9470475.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Fiedler, B, Lohmann, D, Dietrich, CW & Lohmann, D 2021, ARA: Static Initialization of Dynamically-Created System Objects . in Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium: RTAS 2021., 9470475, S. 400-412, 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, 18 Mai 2021. https://doi.org/10.1109/RTAS52030.2021.00039
Fiedler, B., Lohmann, D., Dietrich, C. W., & Lohmann, D. (2021). ARA: Static Initialization of Dynamically-Created System Objects . In Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium: RTAS 2021 (S. 400-412). Artikel 9470475 https://doi.org/10.1109/RTAS52030.2021.00039
Fiedler B, Lohmann D, Dietrich CW, Lohmann D. ARA: Static Initialization of Dynamically-Created System Objects . in Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium: RTAS 2021. 2021. S. 400-412. 9470475 doi: 10.1109/RTAS52030.2021.00039
Fiedler, Björn ; Lohmann, Daniel ; Dietrich, Christian Werner et al. / ARA : Static Initialization of Dynamically-Created System Objects . Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium: RTAS 2021. 2021. S. 400-412
Download
@inproceedings{70633d049f1349a0a2f1bea4bb14a051,
title = "ARA: Static Initialization of Dynamically-Created System Objects ",
abstract = "After power-on, crash or reboot, the system-setup point is the first deadline that a safety-critical system has to reach. Up to this point, the application not only initializes its own state but it also creates all necessary system objects (e.g., threads, mutexes, alarms,...) in the real-time operating system. And, while the strict requirements for real-time analyses often result in a rather static set of created system objects, the commonly-provided real-time operating system (RTOS) interfaces force developers to execute these creations at run time, resulting in an unnecessarily prolonged boot process. With ARA, we present a static whole-system transformation that discovers pseudo-dynamic system-object creations (SOCs) which yield the same object on every boot. By modifying the application and by RTOS specialization, we transform these SOCs to semantically equivalent static SOCs, which moves their instantiation from the run time to the compile time. Thereby, we maintain the well-known RTOS interfaces for dynamic SOCs but let developers enjoy the benefits that static initialization provides. In our case studies with FreeRTOS applications, we could reduce the boot time by up to 43 percent at a moderate increase of flash usage.",
author = "Bj{\"o}rn Fiedler and Daniel Lohmann and Dietrich, {Christian Werner} and Daniel Lohmann",
note = "Funding Information: We like to thank the anonymous reviewers for their feedback and fruitful comments. This work has been supported by the German Research Foundation (DFG) under the grant no. LO 1719/4-1. The source code and evaluation artifacts are available at:; 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021 ; Conference date: 18-05-2021 Through 21-05-2021",
year = "2021",
doi = "10.1109/RTAS52030.2021.00039",
language = "English",
isbn = "978-1-6654-0386-3",
pages = "400--412",
booktitle = "Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium",

}

Download

TY - GEN

T1 - ARA

T2 - 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021

AU - Fiedler, Björn

AU - Lohmann, Daniel

AU - Dietrich, Christian Werner

AU - Lohmann, Daniel

N1 - Funding Information: We like to thank the anonymous reviewers for their feedback and fruitful comments. This work has been supported by the German Research Foundation (DFG) under the grant no. LO 1719/4-1. The source code and evaluation artifacts are available at:

PY - 2021

Y1 - 2021

N2 - After power-on, crash or reboot, the system-setup point is the first deadline that a safety-critical system has to reach. Up to this point, the application not only initializes its own state but it also creates all necessary system objects (e.g., threads, mutexes, alarms,...) in the real-time operating system. And, while the strict requirements for real-time analyses often result in a rather static set of created system objects, the commonly-provided real-time operating system (RTOS) interfaces force developers to execute these creations at run time, resulting in an unnecessarily prolonged boot process. With ARA, we present a static whole-system transformation that discovers pseudo-dynamic system-object creations (SOCs) which yield the same object on every boot. By modifying the application and by RTOS specialization, we transform these SOCs to semantically equivalent static SOCs, which moves their instantiation from the run time to the compile time. Thereby, we maintain the well-known RTOS interfaces for dynamic SOCs but let developers enjoy the benefits that static initialization provides. In our case studies with FreeRTOS applications, we could reduce the boot time by up to 43 percent at a moderate increase of flash usage.

AB - After power-on, crash or reboot, the system-setup point is the first deadline that a safety-critical system has to reach. Up to this point, the application not only initializes its own state but it also creates all necessary system objects (e.g., threads, mutexes, alarms,...) in the real-time operating system. And, while the strict requirements for real-time analyses often result in a rather static set of created system objects, the commonly-provided real-time operating system (RTOS) interfaces force developers to execute these creations at run time, resulting in an unnecessarily prolonged boot process. With ARA, we present a static whole-system transformation that discovers pseudo-dynamic system-object creations (SOCs) which yield the same object on every boot. By modifying the application and by RTOS specialization, we transform these SOCs to semantically equivalent static SOCs, which moves their instantiation from the run time to the compile time. Thereby, we maintain the well-known RTOS interfaces for dynamic SOCs but let developers enjoy the benefits that static initialization provides. In our case studies with FreeRTOS applications, we could reduce the boot time by up to 43 percent at a moderate increase of flash usage.

UR - http://www.scopus.com/inward/record.url?scp=85113759620&partnerID=8YFLogxK

U2 - 10.1109/RTAS52030.2021.00039

DO - 10.1109/RTAS52030.2021.00039

M3 - Conference contribution

SN - 978-1-6654-0386-3

SP - 400

EP - 412

BT - Proceedings. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium

Y2 - 18 May 2021 through 21 May 2021

ER -