Verifying and allocating real-time tasks on distributed processing units

Two major issues arise when designing real-time embedded systems upon multiple processors: the task allocation and the feasibility/schedulability analysis. Clearly, we cannot allocate real-time tasks to processors that are unable to guarantee their deadlines and, hence, these two problems are interdependent and cannot be handled separately. In this thesis, a novel technique is proposed to perform the schedulability analysis of a task set, based on which existing allocation heuristics are extended to consider tasks with arbitrary deadlines. Furthermore, the allocation of communicating tasks is analyzed and new polynomial-time heuristics are proposed to reduce the communication cost among processors.

[1]  Martin Fränzle,et al.  An optimal approach to the task allocation problem on hierarchical architectures , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[2]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[3]  Campus de Viesques,et al.  Worst-Case Utilization Bound for EDF Scheduling on Real-Time Multiprocessor Systems , 2000 .

[4]  Marco Spuri,et al.  Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling , 1996 .

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

[6]  Alan Burns,et al.  Hard Real-Time Scheduling: The Deadline-Monotonic Approach , 1991 .

[7]  Daniel F. García,et al.  Minimum and maximum utilization bounds for multiprocessor rate monotonic scheduling , 2004, IEEE Transactions on Parallel and Distributed Systems.

[8]  Edward G. Coffman,et al.  Approximation algorithms for bin packing: a survey , 1996 .

[9]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[10]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[11]  Kang G. Shin,et al.  On the ability of establishing real-time channels in point-to-point packet-switched networks , 1994, IEEE Trans. Commun..

[12]  Sang Hyuk Son,et al.  New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems , 1995, IEEE Trans. Computers.

[13]  Sanjoy K. Baruah,et al.  Optimal utilization bounds for the fixed-priority scheduling of periodic task systems on identical multiprocessors , 2004, IEEE Transactions on Computers.

[14]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[15]  Viktor K. Prasanna,et al.  Greedy Heuristics for Resource Allocation in Dynamic Distributed Real-Time Heterogeneous Computing Systems , 2002, PDPTA.

[16]  Herbert Thielen.  Optimierte Auslegung verteilter Realzeitsysteme , 2000 .

[17]  Giorgio Buttazzo.  Rate Monotonic vs. EDF: Judgment Day , 2003, EMSOFT.

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

[19]  Giuseppe Lipari,et al.  Feasibility Analysis of Real-Time Periodic Tasks with Offsets , 2005, Real-Time Systems.

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

[21]  Sanjoy K. Baruah,et al.  Feasibility Problems for Recurring Tasks on one Processor , 1993, Theor. Comput. Sci..

[22]  Alejandro Masrur,et al.  Ideas to Improve the Performance in Feasibility Testing for EDF , .

[23]  Alejandro Masrur,et al.  Improvements in Polynomial-Time Feasibility Testing for EDF , 2008, 2008 Design, Automation and Test in Europe.

[24]  Sanjoy K. Baruah,et al.  The partitioned dynamic-priority scheduling of sporadic task systems , 2007, Real-Time Systems.

[25]  Joseph Y.-T. Leung,et al.  On-line scheduling of real-time tasks , 1988, Proceedings. Real-Time Systems Symposium.

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

[27]  Lui Sha,et al.  Performance of real-time bus scheduling algorithms , 1986, SIGMETRICS '86/PERFORMANCE '86.

[28]  Sanjoy K. Baruah,et al.  A general model for recurring real-time tasks , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[29]  Lothar Thiele,et al.  Approximate schedulability analysis , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[30]  Joël Goossens,et al.  Scheduling of Offset Free Systems , 2003, Real-Time Systems.

[31]  Theodore P. Baker,et al.  An Analysis of Fixed-Priority Schedulability on a Multiprocessor , 2006, Real-Time Systems.

[32]  Sanjoy K. Baruah,et al.  Task assignment on uniform heterogeneous multiprocessors , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[33]  Giuseppe Lipari,et al.  Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling , 2007, J. Comput. Syst. Sci..

[34]  Joan Vila i Carbó,et al.  Using exact feasibility tests for allocating real-time tasks in multiprocessor systems , 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).

[35]  Rocquencourt,et al.  Analysis of Deadline Scheduled Real-Time Systems , 1996 .

[36]  Theodore P. Baker,et al.  An analysis of EDF schedulability on a multiprocessor , 2005, IEEE Transactions on Parallel and Distributed Systems.

[37]  Hermann Kopetz,et al.  The time-triggered model of computation , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[38]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[39]  David S. Johnson,et al.  Near-optimal bin packing algorithms , 1973 .

[40]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[41]  Giorgio C. Buttazzo,et al.  Schedulability analysis of periodic fixed priority systems , 2004, IEEE Transactions on Computers.

[42]  Giuseppe Lipari,et al.  A new sufficient feasibility test for asynchronous real-time periodic task sets , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

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

[44]  Georg Färber,et al.  An Off-Line Variable-Size Bin Packing for EDF , 2006 .

[45]  Sanjoy K. Baruah,et al.  The feasibility analysis of multiprocessor real-time systems , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[46]  Chien-Chung Shen,et al.  A Graph Matching Approach to Optimal Task Assignment in Distributed Computing Systems Using a Minimax Criterion , 1985, IEEE Trans. Computers.

[47]  Jane W.-S. Liu.  Real-Time Systems , 2000, Encyclopedia of Algorithms.

[48]  Nathan Fisher,et al.  A Polynomial Time Approximation Scheme for Feasibility Analysis in Static Priority Systems , 2005 .

[49]  Alan Burns,et al.  Allocating hard real-time tasks: An NP-Hard problem made easy , 1992, Real-Time Systems.

[50]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[51]  Aloysius K. Mok,et al.  Improvement in feasibility testing for real-time tasks , 1996, Real-Time Systems.

[52]  Sanjoy K. Baruah,et al.  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.

[53]  Ken Tindell,et al.  ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .

[54]  Kuo-Chi Lin,et al.  An incremental genetic algorithm approach to multiprocessor scheduling , 2004, IEEE Transactions on Parallel and Distributed Systems.

[55]  Tei-Wei Kuo,et al.  Load adjustment in adaptive real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[56]  Giorgio C. Buttazzo,et al.  Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.

[57]  Sanjoy K. Baruah,et al.  Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors , 2003, Real-Time Systems.

[58]  Samarjit Chakraborty,et al.  Constant-Time Admission Control for Partitioned EDF , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[59]  Imtiaz Ahmad,et al.  Multiprocessor Scheduling in a Genetic Paradigm , 1996, Parallel Comput..

[60]  Luca Benini,et al.  A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness , 2007, International Journal of Parallel Programming.

[61]  Lars Lundberg,et al.  Analyzing fixed-priority global multiprocessor scheduling , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[62]  Giorgio C. Buttazzo,et al.  A hyperbolic bound for the rate monotonic algorithm , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[63]  Sanjoy K. Baruah,et al.  Schedulability analysis of global edf , 2008, Real-Time Systems.

[64]  Michael L. Dertouzos,et al.  Control Robotics: The Procedural Control of Physical Processes , 1974, IFIP Congress.

[65]  Frank Slomka,et al.  Efficient feasibility analysis for real-time systems with EDF scheduling , 2005, Design, Automation and Test in Europe.

[66]  Shahram Latifi.  Task Allocation in the Star Graph , 1994, IEEE Trans. Parallel Distributed Syst..

[67]  Sanjoy K. Baruah,et al.  Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.

[68]  Martin Fränzle,et al.  Scheduling distributed real-time systems by satisfiability checking , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[69]  Samarjit Chakraborty,et al.  Constant-time admission control for Deadline Monotonic tasks , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[70]  Sudarshan K. Dhall,et al.  On a Real-Time Scheduling Problem , 1978, Oper. Res..

[71]  Alan Burns,et al.  ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A PARALLEL PROCESSING PLATFORM , 1994 .

[72]  Sang Hyuk Son,et al.  Allocating fixed-priority periodic tasks on multiprocessor systems , 1995, Real-Time Systems.

[73]  Christian Herde,et al.  RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[74]  Daniel F. García,et al.  Minimum and maximum utilization bounds for multiprocessor RM scheduling , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[75]  Samarjit Chakraborty,et al.  System-level timing analysis and scheduling for embedded packet processors , 2003 .

[76]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[77]  Sanjoy K. Baruah,et al.  The partitioned multiprocessor scheduling of deadline-constrained sporadic task systems , 2006, IEEE Transactions on Computers.

[78]  Giorgio Gambosi,et al.  Complexity and approximation: combinatorial optimization problems and their approximability properties , 1999 .

[79]  Cynthia A. Phillips,et al.  Optimal Time-Critical Scheduling via Resource Augmentation , 1997, STOC '97.

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

[81]  Frank Slomka,et al.  An event stream driven approximation for the analysis of real-time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

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

[83]  Frank Slomka,et al.  Hierarchical event streams and event dependency graphs: a new computational model for embedded real-time systems , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[84]  Aloysius K. Mok,et al.  A multiframe model for real-time tasks , 1996, 17th IEEE Real-Time Systems Symposium.

[85]  Klaus Gresser,et al.  Echtzeitnachweis ereignisgesteuerter Realzeitsysteme , 1993 .

[86]  UmaMaheswari Devi,et al.  An improved schedulability test for uniprocessor periodic task systems , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[87]  Sanjoy K. Baruah,et al.  A fully polynomial-time approximation scheme for feasibility analysis in static-priority systems with arbitrary relative deadlines , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[88]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[89]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).