Optimal semi-partitioned scheduling in soft real-time systems

Semi-partitioned real-time scheduling algorithms extend partitioned ones by allowing a (usually small) subset of tasks to migrate. The first such algorithm to be proposed was directed at soft real-time (SRT) sporadic task systems where bounded deadline tardiness is acceptable. That algorithm, called EDF-fm, has the desirable property that migrations are boundary-limited, i.e., they can only occur at job boundaries. However, it is not optimal because per-task utilization restrictions are required. In this paper, a new optimal semi-partitioned scheduling algorithm for SRT sporadic task systems is proposed that eliminates such restrictions. This algorithm, called EDF-os, preserves the boundary-limited property. In overhead-aware schedulability experiments presented herein, EDF-os proved to be better than all other tested alternatives in terms of schedulability in almost all considered scenarios. It also proved capable of ensuring very low tardiness bounds, which were near zero in most considered scenarios.

[1]  Patrick Meumeu Yomsi,et al.  Semi-Partitioned Hard Real-Time Scheduling with Restricted Migrations upon Identical Multiprocessor Platforms , 2010, ArXiv.

[2]  Hennadiy Leontyev,et al.  Tardiness Bounds for FIFO Scheduling on Multiprocessors , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[3]  Sanjoy K. Baruah,et al.  Proportionate progress: A notion of fairness in resource allocation , 1993, Algorithmica.

[4]  James H. Anderson,et al.  An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[5]  Gang Quan,et al.  Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[6]  Alan Burns,et al.  Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme , 2011, Real-Time Systems.

[7]  James H. Anderson,et al.  A Multiprocessor Server-Based Scheduler for Soft Real-Time Tasks with Stochastic Execution Demand , 2011, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.

[8]  James H. Anderson,et al.  Tardiness bounds under global EDF scheduling on a multiprocessor , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[9]  James H. Anderson,et al.  An $\mathsf{EDF}$ -based restricted-migration scheduling algorithm for multiprocessor soft real-time systems , 2008, Real-Time Systems.

[10]  Björn Andersson,et al.  Notional Processors: An Approach for Multiprocessor Scheduling , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[11]  Shinpei Kato,et al.  Real-Time Scheduling with Task Splitting on Multiprocessors , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[12]  Eduardo Tovar,et al.  The Carousel-EDF scheduling algorithm for multiprocessor systems , 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

[13]  James H. Anderson,et al.  Is Semi-Partitioned Scheduling Practical? , 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

[14]  Shinpei Kato,et al.  Portioned EDF-based scheduling on multiprocessors , 2008, EMSOFT '08.

[15]  James H. Anderson,et al.  Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling , 2013, Real-Time Systems.

[16]  Joël Goossens,et al.  Job partitioning strategies for multiprocessor scheduling of real-time periodic tasks with restricted migrations , 2012, RTNS '12.

[17]  Wang Yi,et al.  Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[18]  Björn Andersson,et al.  Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors , 2008, 2008 Real-Time Systems Symposium.

[19]  James H. Anderson,et al.  An EDF-based scheduling algorithm for multiprocessor soft real-time systems , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[20]  James H. Anderson,et al.  Reducing Tardiness under Global Scheduling by Splitting Jobs , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[21]  Björn Andersson,et al.  Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[22]  Frank Mueller,et al.  Semi-Partitioned Hard-Real-Time Scheduling under Locked Cache Migration in Multicore Systems , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[23]  Cécile Belleudy,et al.  A semi-partitioned real-time scheduling approach for periodic task systems on multicore platforms , 2012, SAC '12.

[24]  Björn Andersson,et al.  Multiprocessor Scheduling with Few Preemptions , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[25]  Shinpei Kato,et al.  Semi-partitioned Fixed-Priority Scheduling on Multiprocessors , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.