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

Drona Nagarajan; Tobias Scheipel; Marcel Carsten Baunach

doi:10.1145/3605098.3635922

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

Drona Nagarajan, Tobias Scheipel, Marcel Carsten Baunach

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing
Publisher	Association of Computing Machinery
Pages	436-445
Number of pages	10
DOIs	https://doi.org/10.1145/3605098.3635922
Publication status	Accepted/In press - 8 Apr 2024
Event	39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track: SAC 2024 - Avila, Madrid, Spain Duration: 8 Apr 2024 → 12 Apr 2024 https://www.sigapp.org/sac/sac2024/

Conference

Conference	39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track
Abbreviated title	SAC 2024
Country/Territory	Spain
City	Madrid
Period	8/04/24 → 12/04/24
Internet address	https://www.sigapp.org/sac/sac2024/

Keywords

spinlocks
multi-core
AUTOSAR
FIFO ordering

Access to Document

10.1145/3605098.3635922Licence: Unspecified

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Drona Nagarajan (Speaker), Tobias Peter Scheipel (Contributor) & Marcel Carsten Baunach (Contributor)
8 Apr 2024 → 12 Apr 2024
Activity: Talk or presentation › Talk at conference or symposium › Science to science

Cite this

@inproceedings{a12bce43a8b348eaa501b8e29412f188,

title = "Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems",

abstract = "We present in this paper, a fair and starvation-free spinlockprotocol 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.",

keywords = "spinlocks, multi-core, AUTOSAR, FIFO ordering",

author = "Drona Nagarajan and Tobias Scheipel and Baunach, {Marcel Carsten}",

year = "2024",

month = apr,

day = "8",

doi = "10.1145/3605098.3635922",

language = "English",

pages = "436--445",

booktitle = "Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing",

publisher = "Association of Computing Machinery",

address = "United States",

note = "39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track : SAC 2024, SAC 2024 ; Conference date: 08-04-2024 Through 12-04-2024",

url = "https://www.sigapp.org/sac/sac2024/",

}

TY - GEN

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

AU - Nagarajan, Drona

AU - Scheipel, Tobias

AU - Baunach, Marcel Carsten

PY - 2024/4/8

Y1 - 2024/4/8

N2 - We present in this paper, a fair and starvation-free spinlockprotocol 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.

AB - We present in this paper, a fair and starvation-free spinlockprotocol 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.

KW - spinlocks

KW - multi-core

KW - AUTOSAR

KW - FIFO ordering

U2 - 10.1145/3605098.3635922

DO - 10.1145/3605098.3635922

M3 - Conference paper

SP - 436

EP - 445

BT - Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing

PB - Association of Computing Machinery

T2 - 39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track

Y2 - 8 April 2024 through 12 April 2024

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Activities

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

Cite this