Global Scheduling of Multi-Mode Real-Time Applications upon Multiprocessor Platforms

Multi-mode real-time systems are those which support applications with different modes of operation, where each mode is characterized by a specific set of tasks. At run-time, such systems can, at any time, be requested to switch from its current operating mode to another mode (called "new mode") by replacing the current set of tasks with that of the new-mode. Thereby, ensuring that all the timing requirements are met not only requires that a schedulability test is performed on the tasks of each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two distinct protocols that manage the mode transitions upon uniform and identical multiprocessor platforms at run-time, each specific to distinct task requirements. For each protocol, we formally establish schedulability analyses that indicate beforehand whether all the timing requirements will be met during any mode transition of the system. This is performed assuming both Fixed-Task-Priority and Fixed-Job-Priority schedulers.

[1]  Sanjoy K. Baruah,et al.  Energy-efficient synthesis of periodic task systems upon identical multiprocessor platforms , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[2]  Rhan Ha,et al.  Validating timing constraints in multiprocessor and distributed systems , 1995 .

[3]  Liliana Cucu-Grosjean,et al.  Predictability of Fixed-Job Priority schedulers on heterogeneous multiprocessor real-time systems , 2010, Inf. Process. Lett..

[4]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

[5]  Theodore P. Baker,et al.  Multiprocessor EDF and deadline monotonic schedulability analysis , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[6]  Sanjoy K. Baruah,et al.  Static-priority scheduling on multiprocessors , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[7]  Sanjoy K. Baruah,et al.  An Improved Global EDF Schedulability Test for Uniform Multiprocessors , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[8]  Patrick Meumeu Yomsi,et al.  Scheduling multi-mode real-time systems upon uniform multiprocessor platforms , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[9]  Sanjoy K. Baruah,et al.  Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems , 2007, OPODIS.

[10]  Sanjoy K. Baruah,et al.  The EDF Scheduling of Sporadic Task Systems on Uniform Multiprocessors , 2008, 2008 Real-Time Systems Symposium.

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

[12]  Björn Andersson,et al.  Two Protocols for Scheduling Multi-mode Real-Time Systems upon Identical Multiprocessor Platforms , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[13]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[14]  Vincent Nélis,et al.  Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors , 2008, RTSS 2008.

[15]  Jane W.-S. Liu,et al.  Validating timing constraints in multiprocessor and distributed real-time systems , 1994, 14th International Conference on Distributed Computing Systems.

[16]  Paulo Sergio Martins Pedro.  Schedulability of mode changes in flexible real-time distributed systems , 2000 .

[17]  Sanjoy Baruah,et al.  Real-time scheduling on uniform multiprocessors , 2002 .

[18]  Sanjoy K. Baruah,et al.  An analysis of global edf schedulability for arbitrary-deadline sporadic task systems , 2009, Real-Time Systems.

[19]  Sanjoy K. Baruah,et al.  On-line scheduling on uniform multiprocessors , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[20]  Alan Burns,et al.  Mode changes in priority preemptively scheduled systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[21]  Sanjoy K. Baruah,et al.  Rate-Monotonic Scheduling on Uniform Multiprocessors , 2003, IEEE Trans. Computers.

[22]  Rolf Ernst,et al.  Scenario Aware Analysis for Complex Event Models and Distributed Systems , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[23]  Giuseppe Lipari,et al.  Improved schedulability analysis of EDF on multiprocessor platforms , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[24]  Lui Sha,et al.  Mode change protocols for priority-driven preemptive scheduling , 1989, Real-Time Systems.

[25]  Lothar Thiele,et al.  Reliable mode changes in real-time systems with fixed priority or EDF scheduling , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[26]  Björn Andersson,et al.  Uniprocessor EDF Scheduling with Mode Change , 2008, OPODIS.

[27]  Wa Halang,et al.  REAL-TIME SYSTEMS .1. , 1990 .

[28]  Iain John Bate,et al.  Scheduling and timing analysis for safety critical real-time systems , 1998 .

[29]  Sanjoy K. Baruah,et al.  Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems , 2008, 2008 Euromicro Conference on Real-Time Systems.

[30]  Sanjoy K. Baruah,et al.  Energy-aware Implementation of Hard-real-time Systems upon Multiprocessor Platforms , 2003, PDCS.

[31]  Sanjoy K. Baruah,et al.  Deadline Monotonic Scheduling on Uniform Multiprocessors , 2008, OPODIS.

[32]  Björn Andersson,et al.  A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors , 2009, RTSS 2009.

[33]  Kirk Pruhs,et al.  Brute-force determination of multiprocessor schedulability for sets of sporadic hard-deadline tasks , 2008 .

[34]  Alan Burns,et al.  Schedulability analysis for mode changes in flexible real-time systems , 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).