Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks

This paper addresses the global scheduling of constrained deadline periodic dependent task sets on multiprocessor platforms composed of identical processors. We propose two orthogonal approaches: (1) an off-line computation of a valid fixed priority assignment (2) a computation of an off-line schedule. The method in both cases is based on the efficient exploration of a finite automaton encoding all the possible executions. Even if the problems are NP-complete, we obtain rather reasonable performances as illustrated in the benchmarks.

[1]  David Lorge Parnas,et al.  Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations , 1990, IEEE Trans. Software Eng..

[2]  Neil Audsley,et al.  OPTIMAL PRIORITY ASSIGNMENT AND FEASIBILITY OF STATIC PRIORITY TASKS WITH ARBITRARY START TIMES , 2007 .

[3]  James H. Anderson,et al.  Mixed Pfair/ERfair scheduling of asynchronous periodic tasks , 2004, J. Comput. Syst. Sci..

[4]  Zoubir Mammeri,et al.  Scheduling in Real-Time Systems , 2002 .

[5]  Frédéric Boniol,et al.  Multiprocessor schedulability analyser , 2011, SAC '11.

[6]  Ronald L. Graham,et al.  Bounds on Multiprocessing Timing Anomalies , 1969, SIAM Journal of Applied Mathematics.

[7]  T. Shepard,et al.  A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems , 1991, IEEE Trans. Software Eng..

[8]  Robert I. Davis,et al.  A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems , 2009 .

[9]  Frédéric Boniol,et al.  Scheduling Dependent Periodic Tasks without Synchronization Mechanisms , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[10]  Sanjoy K. Baruah,et al.  A Categorization of Real-Time Multiprocessor Scheduling Problems and Algorithms , 2004, Handbook of Scheduling.

[11]  Andrew A. Chien,et al.  The future of microprocessors , 2011, Commun. ACM.

[12]  Kim G. Larsen,et al.  Optimal scheduling using priced timed automata , 2005, PERV.

[13]  Emmanuel Grolleau,et al.  Off-Line Computation of Real-Time Schedules by Means of Petri nets , 2000 .

[14]  César A. M. Marcon,et al.  RTOS Scheduler Implementation in Hardware and Software for Real Time Applications , 2006, Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06).

[15]  Binoy Ravindran,et al.  An Optimal Real-Time Scheduling Algorithm for Multiprocessors , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[16]  Sanjoy K. Baruah,et al.  Fairness in periodic real-time scheduling , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[17]  Liliana Cucu-Grosjean,et al.  Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms , 2011, J. Syst. Archit..

[18]  G LarsenKim,et al.  Optimal scheduling using priced timed automata , 2005 .

[19]  Joseph Y.-T. Leung,et al.  On-Line Scheduling of Real-Time Tasks , 1992, IEEE Trans. Computers.

[20]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[21]  Ge Yu,et al.  Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[22]  Ahmed Amine Jerraya,et al.  Scheduler implementation in MP SoC design , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

[23]  Joël Goossens,et al.  Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems , 2007 .

[24]  James H. Anderson,et al.  On the Implementation of Global Real-Time Schedulers , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[25]  Liliana Cucu-Grosjean,et al.  Feasibility Intervals for Multiprocessor Fixed-Priority Scheduling of Arbitrary Deadline Periodic Systems , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[26]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[27]  D. Parnas,et al.  On satisfying timing constraints in hard-real-time systems , 1991, SIGSOFT '91.

[28]  Giorgio C. Buttazzo,et al.  Biasing effects in schedulability measures , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..