Dependable resource sharing for compositional real-time systems

M.M.H.P. Heuvel, van den, R.J. Bril, J.J. Lukkien

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

6 Citations (Scopus)
92 Downloads (Pure)

Abstract

Hierarchical scheduling frameworks (HSFs) have been extensively investigated as a paradigm for facilitating temporal isolation between components that need to be integrated on a single shared processor. In the presence of shared resources, however, temporal isolation may break when one of the accessing components executes longer than specified during global resource access. The ability to confine such temporal faults makes the HSF more dependable. As a solution we propose a stack-resource-policy (SRP)-based synchronization protocol for HSFs, named Hierarchical Synchronization protocol with Temporal Protection (HSTP). When a component exceeds its specified critical-section length, HSTP enforces a component to self-donate its own budget to accelerate the resource release. In addition, a component that blocks on a locked resource may donate budget. The schedulability of those components that are independent of the locked resource is unaffected. HSTP efficiently limits the propagation of temporal faults to resource-sharing components by disabling local preemptions in a component during resource access. We finally show that HSTP is SRP-compliant and applies to existing synchronization protocols for HSFs.
Original languageEnglish
Title of host publicationProceedings of the 17th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA 2011, Toyama, Japan, August 28-31, 2011)
PublisherInstitute of Electrical and Electronics Engineers
Pages153-163
ISBN (Print)978-1-4577-1118-3
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'Dependable resource sharing for compositional real-time systems'. Together they form a unique fingerprint.

Cite this