Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems: M-HLP

Drona Nagarajan; Tobias Scheipel; Marcel Carsten Baunach

doi:10.1145/3605098.3635922

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems: M-HLP

Drona Nagarajan, Tobias Scheipel, Marcel Carsten Baunach

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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.

Originalsprache	englisch
Titel	Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing
Herausgeber (Verlag)	Association of Computing Machinery
Seiten	436-445
Seitenumfang	10
ISBN (elektronisch)	9798400702433
DOIs	https://doi.org/10.1145/3605098.3635922
Publikationsstatus	Veröffentlicht - 8 Apr. 2024
Veranstaltung	39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track: SAC 2024 - Avila, Madrid, Spanien Dauer: 8 Apr. 2024 → 12 Apr. 2024 https://www.sigapp.org/sac/sac2024/

Konferenz

Konferenz	39th ACM/SIGAPP Symposium On Applied Computing. EMBS Track
Kurztitel	SAC 2024
Land/Gebiet	Spanien
Ort	Madrid
Zeitraum	8/04/24 → 12/04/24
Internetadresse	https://www.sigapp.org/sac/sac2024/

ASJC Scopus subject areas

Software

Zugriff auf Dokument

10.1145/3605098.3635922Lizenz: Nicht definiert

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D. (Redner/in), Scheipel, T. P. (Beitragende/r) & Baunach, M. C. (Beitragende/r)
8 Apr. 2024 → 12 Apr. 2024
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Dieses zitieren

@inproceedings{a12bce43a8b348eaa501b8e29412f188,

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

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

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

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

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

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

Y2 - 8 April 2024 through 12 April 2024

ER -

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems: M-HLP

Abstract

Konferenz

ASJC Scopus subject areas

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Aktivitäten

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

Dieses zitieren