PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 15:05 - 15:20 at Iceland - Embedded Systems Chair(s): Jian-Jia Chen

Increasing demands in processing power for real-time systems have been met by adding more cores to embedded architectures. However, conventional programming languages lack adequate support for parallelism with real-time constraints. To fill this gap, add-on design tools have been created, often paired with real-time operating systems, to establish temporal guarantees, but they lack native language support for expressing parallelism at a combination of coarse and fine levels. OpenMP would be a good fit to specify such parallelism as it comes with mature compiler and runtime technology for mapping concurrency to execution units via the operating system. However, OpenMP lacks real-time support for scheduling and synchronization under deadline constraints.

We analyze the suitability of existing OpenMP for coarse-grained parallelism for real-time systems and identify key points that prevent it from being used as-is. We develop a framework, OpenMP-RT, which aims to address these shortcomings by creating a real-time task construct, with a focus on \texttt{periodic} tasks, along with a robust specification for parallel real-time applications utilizing OpenMP-RT, including support for time-predictable lock-free inter-task communication across priority levels. We implement OpenMP-RT in the LLVM C compiler under OpenMP 5.1. We develop a test suite based on a variety of benchmarks with real-time constraints and demonstrate the correctness and ease of use of our OpenMP-RT implementation, as well as the performance and predictability of multiple different paradigms for inter-task communication.

Mon 24 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Embedded SystemsLCTES at Iceland
Chair(s): Jian-Jia Chen TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile RobotsRemote
LCTES
Guanyu Chen Zhejiang University, Pan Lv Zhejiang University, Hong Li Zhejiang University, Guoqing Yang Zhejiang University
13:55
15m
Talk
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
LCTES
Kiung Jung Yonsei University, Seok Namkoong Yonsei University, Hongjun Um Hanyang University, Hyejun Kim Yonsei University, Youngsok Kim Yonsei University, Yongjun Park Yonsei University
14:10
15m
Talk
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
LCTES
Phillip Raffeck Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Johannes Maier Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU)
14:25
10m
Break
Break - 10 minutes
LCTES

14:35
15m
Talk
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
LCTES
Ruitao Feng SMU, Sen Li Tianjin University, Sen Chen Tianjin University, Mengmeng Ge Nanyang Technological University, Xuewei Li Tianjin University, Xiaohong Li Tianjin University
14:50
15m
Talk
TWFuzz: Fuzzing Embedded Systems with Three WiresRemote
LCTES
Zhongwen Feng Chang' an University, Junyan Ma Chang'an University
15:05
15m
Talk
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
LCTES
Brayden McDonald North Carolina State University, Frank Mueller North Carolina State University, USA