The SRP Resource Sharing Protocol for Self-Suspending Tasks

Geoffrey Nelissen, Alessandro Biondi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

Motivated by the increasingly wide adoption of realtime workload with self-suspending behaviors, and the relevance of mechanisms to handle mutually-exclusive shared resources, this paper takes a new look at locking protocols for self-suspending tasks under uniprocessor fixed-priority scheduling. Pitfalls when integrating the widely-adopted Stack Resource Policy (SRP) with self-suspending tasks are firstly illustrated, and then a new finegrained SRP analysis is presented. Next, a new locking protocol, named SRP-SS, is proposed to overcome the limitations of the original SRP. The SRP-SS is a generalization of the SRP to cope with the specificities of self-suspending tasks. It therefore reduces to the SRP under some configurations and hence theoretically dominates the SRP. It also ensures backward compatibility for applications developed specifically for the SRP. The SRP-SS comes with its own schedulability analysis and configuration algorithm. The performances of the SRP and SRP-SS are finally studied by means of large-scale schedulability experiments.

Original languageEnglish
Title of host publicationProceedings - 39th IEEE Real-Time Systems Symposium, RTSS 2018
PublisherInstitute of Electrical and Electronics Engineers
Pages361-372
Number of pages12
ISBN (Electronic)9781538679074
DOIs
Publication statusPublished - 7 Jan 2019
Externally publishedYes
Event39th IEEE Real-Time Systems Symposium, RTSS 2018 - Nashville, United States
Duration: 11 Dec 201814 Dec 2018

Conference

Conference39th IEEE Real-Time Systems Symposium, RTSS 2018
CountryUnited States
CityNashville
Period11/12/1814/12/18

Keywords

  • locking protocols
  • resource sharing
  • self-suspensions
  • synchronization

Fingerprint Dive into the research topics of 'The SRP Resource Sharing Protocol for Self-Suspending Tasks'. Together they form a unique fingerprint.

Cite this