Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems

被引：0

作者：

Nagarajan, Drona ^{[1
]}

Scheipel, Tobias ^{[1
]}

Baunach, Marcel ^{[1
]}

机构：

[1] Graz Univ Technol, Graz, Austria

来源：

39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024 | 2024年

关键词：

spinlocks; multi-core; AUTOSAR; FIFO ordering;

D O I：

10.1145/3605098.3635922

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

We present in this paper, a fair and starvation-free spinlock protocol for partitioned fixed priority (P-FP) preemptive multi-core real-time operating systems (mRTOS). We discuss some strongly related works in this regard and highlight the drawbacks with respect to the AUTOSAR standards. We then proceed to define a system model and develop a mathematical framework to calculate an upper bound on the blocking time a task incurs under our protocol. We also discuss how our protocol was implemented in a state-of-the-art AUTOSAR-compliant mRTOS. Finally, through experimental evaluation, we show that our protocol performs better than the existing spinlock protocol of the mRTOS.

引用

页码：436 / 445

页数：10

共 50 条

[21] Multi-resource allocation control for fair QoS management in real-time systems
Harada, Fumiko
Ushio, Toshimitsu
Nakamoto, Yukikazu
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 6198 - 6203
[22] Real-time TTCN for testing real-time and multimedia systems
Walter, T
Grabowski, J
TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 37 - 54
[23] Real-time calculus for scheduling hard real-time systems
Thiele, L
Chakraborty, S
Naedele, M
ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
[24] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
KLIGERMAN, E
STOYENKO, AD
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 941 - 949
[25] Utility fair congestion control for real-time traffic
Harks, T
Poschwatta, T
IEEE INFOCOM 2005: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-4, PROCEEDINGS, 2005, : 2786 - 2791
[26] Response time analysis of systems with real-time and non real-time processing
Prisching, D
Rinner, B
7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 124 - 129
[27] A Timing Verification Framework for AUTOSAR OS Component Development based on Real-Time Maude
Zhu, Longfei
Liu, Peng
Shi, Jianqi
Wang, Zheng
Zhu, Huibiao
2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 29 - 36
[28] Real-time ISI free window tracking scheme for OFDM systems
Zhou, ZG
Cheng, SX
Chen, M
Wang, HF
VTC2004-FALL: 2004 IEEE 60TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-7: WIRELESS TECHNOLOGIES FOR GLOBAL SECURITY, 2004, : 4325 - 4329
[29] Lock-Free Synchronization for Dynamic Embedded Real-Time Systems
Cho, Hyeonjoong
Ravindran, Binoy
Jensen, E. Douglas
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (03)
[30] Wait-free objects for real-time systems? - (Position paper)
Raynal, M
ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 413 - 420

← 1 2 3 4 5 →