Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources

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

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

Abstract

In this paper we revisit the admission of applications upon a processor share modeled by the explicit-deadline periodic (EDP) resource-supply model. In particular, we consider applications that represent a fixed-priority sporadic task system. Existing works heavily build on the analysis of a hierarchy of preemptive task schedulers. We instead consider the feasibility of such tasks and applications for a hierarchy of deferredpreemptive schedulers, so that we can efficiently deal with the scenario where tasks and applications execute their work in nonpreemptive chunks. Our model therefore gives better control over preemptions of tasks of different applications. We present exact analysis for deferred-preemptive scheduling of tasks on EDP resources. In addition, we propose algorithms for dimensioning an application’s budget tightly.
Original languageEnglish
Title of host publicationProceedings of the 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'13, Vancouver, Canada, December 3, 2013)
PublisherInstitute of Electrical and Electronics Engineers
Pages1-8
Publication statusPublished - 2013
Event6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013) - Vancouver, Canada
Duration: 3 Dec 20133 Dec 2013
Conference number: 6

Conference

Conference6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013)
Abbreviated titleCRTS 2013
Country/TerritoryCanada
CityVancouver
Period3/12/133/12/13

Fingerprint

Dive into the research topics of 'Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources'. Together they form a unique fingerprint.

Cite this