Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms

ISBN-13: 9781461375302 / Angielski / Miękka / 2013 / 273 str.

John A. Stankovic; Marco Spuri; Krithi Ramamritham

Opis

Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing. However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible. For example, highly automated agile manufacturing, command, control and communications, and distributed real-time multimedia applications all operate over long lifetimes and in highly non-deterministic environments. Dynamic real-time scheduling algorithms are more appropriate for these systems and are used in such systems. Many of these algorithms are based on earliest deadline first (EDF) policies. There exists a wealth of literature on EDF-based scheduling with many extensions to deal with sophisticated issues such as precedence constraints, resource requirements, system overload, multi-processors, and distributed systems.
Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms aims at collecting a significant body of knowledge on EDF scheduling for real-time systems, but it does not try to be all-inclusive (the literature is too extensive). The book primarily presents the algorithms and associated analysis, but guidelines, rules, and implementation considerations are also discussed, especially for the more complicated situations where mathematical analysis is difficult.
In general, it is very difficult to codify and taxonomize scheduling knowledge because there are many performance metrics, task characteristics, and system configurations. Also, adding to the complexity is the fact that a variety of algorithms have been designed for different combinations of these considerations. In spite of the recent advances there are still gaps in the solution space and there is a need to integrate the available solutions. For example, a list of issues to consider includes:

• preemptive versus non-preemptive tasks,
• uni-processors versus multi-processors,
• using EDF at dispatch time versus EDF-based planning,
• precedence constraints among tasks,
• resource constraints,
• periodic versus aperiodic versus sporadic tasks,
• scheduling during overload,
• fault tolerance requirements, and
• providing guarantees and levels of guarantees (meeting quality of service requirements).

Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms should be of interest to researchers, real-time system designers, and instructors and students, either as a focussed course on deadline-based scheduling for real-time systems, or, more likely, as part of a more general course on real-time computing. The book serves as an invaluable reference in this fast-moving field.

Spis treści

List of Figures. List of Tables. Preface. 1. Introduction. 2. Terminology and Assumptions. 3. Fundamentals of EDF Scheduling. 4. Response Times under EDF Scheduling. 5. Planning-Based Scheduling. 6. EDF Scheduling for Shared Resources. 7. Precedence Constraints and Shared Resources. 8. Aperiodic Task Scheduling. 9. Distributed Scheduling - Part I. 10. Distributed Scheduling - Part II. 11. Summary and Open Questions. Index.

O autorze

Giorgio Buttazzo is Full Professor of Computer Engineering at the Scuola Superiore Sant'Anna of Pisa. He graduated in Electronic Engineering at the University of Pisa in 1985, received a Master in Computer Science at the University of Pennsylvania in 1987, and a Ph.D. in Computer Engineering at the Scuola Superiore Sant'Anna of Pisa in 1991. From 1987 to 1988, he worked on active perception and real-time control at the G.R.A.S.P. Laboratory of the University of Pennsylvania, Philadelphia. From 1991 to 1998, he held a position of Assistant Professor at the Scuola Superiore Sant'Anna of Pisa, where he founded and coordinated the RETIS Laboratory on real-time systems. From 1998 to 2005, he held a position of Associate Professor at the University of Pavia, where he directed the robotics laboratory of the Computer Science department. His main research interests include real-time operating systems, dynamic scheduling algorithms, quality of service control, multimedia systems, advanced robotics applications, and neural networks.