An Optimal Resource Sharing Protocol for Generalized Multiframe Tasks
2015 (English)In: Journal of Logical and Algebraic Methods in Programming, ISSN 2352-2208, Vol. 84, no 1, 92-105 p.Article in journal (Refereed) Published
Many different task models of varying expressiveness have been proposed to capture the timing constraints of real-time workloads. However, techniques for optimal scheduling and exact feasibility analysis of systems with mutually-exclusive shared resources have been available only for relatively simple task models, such as the sporadic task model. We consider sharing of mutually-exclusive resources in task models that are more expressive in terms of the job-release patterns that can be modeled. We propose a new scheduling algorithm and show that it is optimal for scheduling generalized multiframe tasks with shared resources on uniprocessor systems. We also present an efficient feasibility test for such systems, and show that it is both sufficient and necessary.
Place, publisher, year, edition, pages
Elsevier, 2015. Vol. 84, no 1, 92-105 p.
Computer and Information Science
Research subject Computer Science with specialization in Real Time Systems
IdentifiersURN: urn:nbn:se:uu:diva-235474DOI: 10.1016/j.jlamp.2014.10.001ISI: 000347601600007OAI: oai:DiVA.org:uu-235474DiVA: diva2:760714