Real-Time Systems

, Volume 37, Issue 1, pp 77–97 | Cite as

Dynamic voltage scaling under EDF revisited

Article

Abstract

Basic algorithms have been proposed in the field of low-power (Yao, F., et al. in Proceedings of lEEE annual foundations of computer science, pp. 374–382, 1995) which compute the minimum energy-schedule for a set of non-recurrent tasks (or jobs) scheduled under EDF on a dynamically variable voltage processor. In this study, we propose improvements upon existing algorithms with lower average and worst-case complexities. They are based on a new EDF feasibility test that helps to identify the “critical intervals”. The complexity of this feasibility test depends on structural characteristics of the set of jobs. More precisely, it depends on how tasks are included one in the other. The first step of the algorithm is to construct the Hasse diagram of the set of tasks where the partial order is defined by the inclusion relation on the tasks. Then, the algorithm constructs the shortest path in a geometrical representation at each level of the Hasse diagram. The optimal processor speed is chosen according to the maximal slope of each path.

Keywords

Real-time systems Low-power design Scheduling Complexity Dynamic voltage scaling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AbouGhazaleh N, Mosse D, Childers B, Melhem R, Craven M (2003) Collaborative operating system and compiler power management for real-time applications. In: 9th IEEE real-time and embedded technology and applications symposium, pp 133–143 Google Scholar
  2. Aldous D, Diaconis P (1995) Hammersley’s interacting particle process and longest increasing subsequences. Probab Theory Relat Fields 103(2):199–213 MATHCrossRefGoogle Scholar
  3. Aydin H, Melhem R, Mossé D, Mejia-Alvarez P (2001) Dynamic and Aggressive Scheduling techniques for power aware real-time systems. In: 22th real-time systems symposium, pp 95–105 Google Scholar
  4. Aydin H, Melhem R, Mossé D, Mejia-Alvarez P (2004) Power-aware scheduling for periodic real-time tasks. IEEE Trans Comput 53(5):584–600 CrossRefGoogle Scholar
  5. Barlow RE, Proschan F (1981) Statistical theory of reliability and life testing: probability models, 2nd edn. To Begin With, Silver Spring, MD ISBN-10:0960676406 Google Scholar
  6. Boissonnat J, Yvinec M (1998) Algorithmic geometry. Cambridge University Press, Cambridge MATHGoogle Scholar
  7. Fishburn P (1985) Interval orders and interval graphs: a study of partially ordered sets. Interscience series in discrete mathematics. Wiley, New York MATHGoogle Scholar
  8. Gaujal B, Navet N, Walsh C (2003) Real-time scheduling for optimal energy use. In: Journées d’étude faible tension—faible consommation (FTFC’03), pp 159–166 Google Scholar
  9. Gaujal B, Navet N, Walsh C (2005) Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. ACM Trans. Embed. Comput. Syst. 4(4):907–933. Preliminary version available as INRIA Research Report RR-4886, http://www.inria.fr/rrrt/rr-4886.html
  10. Gruian F (2001) On energy reduction in hard real-time systems containing tasks with stochastic execution times. In: IEEE workshop on power management for real-time and embedded systems, pp 11–16. Google Scholar
  11. Gruian F (2002) Energy-centric scheduling for real-time systems. PhD thesis, Lund Institute of Technology Google Scholar
  12. Leung J-T, Whitehead J (1982) On the complexity of fixed-priority scheduling of periodic, real-time tasks. Perform Eval 2:237–250 CrossRefGoogle Scholar
  13. Liu Y, Mok A (2003) An integrated approach for applying dynamic voltage scaling to hard real-time systems. In: 9th IEEE real-time and embedded technology and applications symposium, pp 116–123 Google Scholar
  14. Lorch J, Smith A (2001) Improving dynamic voltage scaling algorithms with PACE. In: ACM SIGMETRICS 2001 conference, pp 50–61 Google Scholar
  15. Mossè D, Aydin H, Childers B, Melhem R (2000) Compiler-assisted dynamic power-aware scheduling for real-time applications. In: Workshop on compiler and operating systems for low-power Google Scholar
  16. Pillai P, Shin K (2001) Real-time dynamic voltage scaling for low-power embedded systems. Oper Syst Rev 35(5):89–102 CrossRefGoogle Scholar
  17. Qadi A, Goddard S, Farritor S (2003) A dynamic voltage scaling algorithm for sporadic tasks. In: 24th IEEE international real-time systems symposium, pp 52–62 Google Scholar
  18. Quan G, Hu X (2001) Energy efficient fixed-priority scheduling for real-time systems on variable voltage processors. In: Design automation conference, pp 828–833 Google Scholar
  19. Quan G, Hu X (2002) Minimum energy fixed-priority scheduling for variable voltage processors. In: Design, automation and test in Europe conference and exhibition (DATE’02) Google Scholar
  20. Scordino C, Lipari G (2006) A resource reservation algorithm for power-aware scheduling of periodic and aperiodic real-time tasks. IEEE Trans Comput 55(12):1509–1522 CrossRefGoogle Scholar
  21. Shin Y, Choi K (1999) Power conscious fixed priority scheduling for hard real-time systems. In: Design automation conference, pp 134–139 Google Scholar
  22. Shin D, Kim J, Lee S (2001) Intra-task voltage scheduling for low-energy hard real-time applications. IEEE Des Test Comput 18(2) Google Scholar
  23. Stankovic J, Spuri M, Ramamritham K, Buttazo G (1998) Deadline scheduling for real-time systems: EDF and related algorithms. Kluwer Academic, Dordrecht MATHGoogle Scholar
  24. Weisstein E (1999) The CRC concise encyclopedia of mathematics. CRC Press, Boca Raton Google Scholar
  25. Xu R, Xi C, Melhem R, Moss D (2004) Practical PACE for embedded systems. In: Proceedings of the 4th ACM international conference on embedded software (EMSOFT’04). ACM Press, New York, pp 54–63 CrossRefGoogle Scholar
  26. Yao F (2003) Complexity of the Yao Demers Shenker algorithm. Private communication Google Scholar
  27. Yao F, Demers A, Shenker S (1995) A scheduling model for reduced CPU energy. In: Proceedings of lEEE annual foundations of computer science, pp 374–382 Google Scholar
  28. Yun H-S, Kim J (2003) On energy-optimal voltage scheduling for fixed-priority hard real-time systems. ACM Trans Embed Comput Syst 2(3):393–430 CrossRefGoogle Scholar
  29. Zhang F, Chanson S (2002) Processor voltage scheduling for real-time tasks with non-preemptible sections. In: 23th real-time systems symposium, pp 235–245 Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.INRIA and ID-IMAG LaboratoryMontbonnotFrance
  2. 2.INRIA-LORIAVandoeuvre-lès-NancyFrance

Personalised recommendations