Feasibility analysis of sporadic real-time multiprocessor task systems

DOI10.1007/s00453-011-9505-6zbMath1285.68019arXiv1004.2033MaRDI QIDQ692625

Vincenzo Bonifaci, Alberto Marchetti-Spaccamela

Publication date: 6 December 2012

Published in: Algorithmica, Algorithms – ESA 2010 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.2033

zbMATH Keywords

multiprocessor; real-time scheduling; feasibility test; schedulability test; sporadic task system

Mathematics Subject Classification ID

90B35: Deterministic scheduling theory in operations research

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Related Items

Unnamed Item, Unnamed Item, Approximation algorithms for replenishment problems with fixed turnover times, On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm, A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling, On the ineffectiveness of \(1/m\)-based interference bounds in the analysis of global EDF and FIFO scheduling, An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems, Automated competitive analysis of real-time scheduling with graph games, Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm, Synthesising succinct strategies in safety games with an application to real-time scheduling

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Open problems in real-time scheduling
• The complexity of two-player games of incomplete information
• Optimal online multiprocessor scheduling of sporadic real-time tasks is impossible
• Infinite games played on finite graphs
• Automata, logics, and infinite games. A guide to current research
• Proportionate progress: A notion of fairness in resource allocation
• Relationships between nondeterministic and deterministic tape complexities
• Integrality Property in Preemptive Parallel Machine Scheduling
• A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling
• Some simple scheduling algorithms
• Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment