Minimal schedulability interval for real-time systems of periodic tasks with offsets
Theoretical Computer Science
Integrating job parallelism in real-time scheduling theory
Information Processing Letters
Semi-partitioned Scheduling of Sporadic Task Systems on Multiprocessors
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
A Norm Approach for the Partitioned EDF Scheduling of Sporadic Task Systems
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Scheduling Parallel Real-Time Tasks on Multi-core Processors
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling
Journal of Systems Architecture: the EUROMICRO Journal
Multi-core Real-Time Scheduling for Generalized Parallel Task Models
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Hi-index | 0.00 |
In this paper, we consider the problem of scheduling periodic Multi-Phase Multi-Thread tasks on a set of m identical processors with Earliest Deadline First (EDF) scheduling. Each periodic task is defined by a sequence of phases with offsets that can be possibly parallelized. We use a portioned semi-partitioned approach with migrations at local deadlines assigned to each phase. We extend this approach to take into account phase parallelism. The phase parallelism we consider is an extension of the popular job parallelism. A phase, if parallelizable, can be decomposed into parallel threads run on a configurable number of processors. We only require simultaneous execution of threads inside a window equal to the local deadline of their associated phase. To decide on the schedulability of a Multi-Phase Multi-Thread task, we extend the popular uniprocessor EDF feasibility condition for periodic asynchronous tasks. We propose two new schedulability tests for EDF that significantly improve the well known Leung and Merill feasibility test based on the feasibility interval [Omin, Omax + 2P], where Omin and Omax are respectively the minimum and maximum phase offsets and P the least common multiple of the task periods. The first schedulability test is used when an EDF simulation is needed and gives, by simulation, a 44% gain in simulation speed. The second method provides a sufficient schedulability test with a time interval of length P based on the demand bound function. Finally, we study three local deadline assignment heuristics assigned to parallelizable phases. We compare and analyze the performances obtained by simulation for those three local deadline assignment heuristics.