Skip to main content
SpringerLink
Log in

Theory and Practice of EDF Scheduling in Distributed Real-Time Systems

  • Conference paper
  • First Online:
Reliable Software Technologies – Ada-Europe 2018 (Ada-Europe 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10873))

Included in the following conference series:

  • 499 Accesses

Abstract

The behavior of EDF schedulers has been very extensively studied for single-processor systems and there is also a lot of work on scheduling and schedulability analysis techniques dealing with EDF in homogeneous multiprocessor systems. However, if distributed systems are considered, only a small number of schedulability analysis techniques are available and there is only a little information on practical experience with this kind of systems. For distributed systems where a clock synchronization mechanism is not available, a recent work has theoretically shown how a feasible deadline assignment can significantly increase the utilization of processing resources while keeping the system schedulable (i.e., meeting all the timing requirements). On the other hand, Ada provides support for building applications scheduled by EDF. This paper proposes a set of experiments to contrast the theoretical results on scheduling deadline assignment in a distributed real-time application against those obtained through its real execution.

This work has been funded in part by the Spanish Government under grant TIN2014-56158-C4-2-P (M2C2). We would also like to thank Dr. Mario Aldea for his invaluable help in the implementation of the platform used in this work.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. SHaRK (Soft Hard Real-Time Kernel) home page. http://shark.sssup.it/

  2. ERIKA Enterprise: Evidence home page. http://www.evidence.eu.com/

  3. Diederichs, C., Margull, U., Slomka, F., Wirrer, G.: An application-based EDF scheduler for OSEK/VDX. In: Design, Automation and Test in Europe, DATE 2008, pp. 1045–1050 (2008)

    Google Scholar 

  4. Pedreiras, P., Almeida, L.: EDF message scheduling on controller area network. Comput. Control Eng. J. 13(4), 163–170 (2002)

    Article  Google Scholar 

  5. Di Natale, M., Meschi, A.: Scheduling messages with earliest deadline techniques. Real Time Syst. 20(3), 255–285 (2001)

    Article  Google Scholar 

  6. Qian, T., Mueller, F., Xin, Y.: Hybrid EDF packet scheduling for real-time distributed systems. In: Proceedings of the 27th Euromicro Conference on Real-Time Systems, Lund, Sweden, pp. 37–46 (2015)

    Google Scholar 

  7. OMG (Object Management Group): Realtime Corba Specification, v1.2 (2005), http://www.omg.org/spec/RT/1.2/

  8. RTSJ (Real-Time Specification for Java) home page. http://www.rtsj.org

  9. ISO/IEC, 2012: Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652:2012(E) (2012)

    Google Scholar 

  10. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)

    Article  MathSciNet  Google Scholar 

  11. Buttazzo, G.: Rate monotonic vs. EDF: judgment day. Real Time Syst. 29(1), 5–26 (2005)

    Article  Google Scholar 

  12. Davis, R.I., Burns, A., Baruah, S., Rothvoß, T., George, L., Gettings, O.: Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Real Time Syst. 51(5), 561–601 (2015)

    Article  Google Scholar 

  13. Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4), 35:1–35:44 (2011). https://dl.acm.org/citation.cfm?id=1978814

    Article  Google Scholar 

  14. Bertogna, M., Cirinei, M., Lipari, G.: Schedulability analysis of global scheduling algorithms on multiprocessor platforms. IEEE Trans. Parallel Distrib. Syst. 20(4), 553–566 (2009)

    Article  Google Scholar 

  15. Baruah, S., Fisher, N.: Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems. Real Time Syst. 39(1–3), 97–122 (2008)

    Article  Google Scholar 

  16. Baruah, S.: Partitioned EDF scheduling: a closer look. Real Time Syst. 49(6), 715–729 (2013)

    Article  Google Scholar 

  17. Gracioli, G., Fröhlich, A.A., Pellizzoni, R., Fischmeister, S.: Implementation and evaluation of global and partitioned scheduling in a real-time OS. Real Time Syst. 49(6), 669–714 (2013)

    Article  Google Scholar 

  18. Rivas, J.M., Gutiérrez, J.J., Palencia, J.C., González Harbour, M.: Deadline assignment in EDF schedulers for real-time distributed systems. IEEE Trans. Parallel Distrib. Syst. 26(10), 2671–2684 (2015)

    Article  Google Scholar 

  19. Burns, A.: An EDF run-time profile based on Ravenscar. Ada Lett. XXXIII(1), 24–31 (2013)

    Article  Google Scholar 

  20. Burns, A., Gutiérrez, M., Aldea, M., González Harbour, M.: Deadline-floor inheritance protocol for edf scheduled embedded real-time systems with resource sharing. IEEE Trans. Comput. 64(5), 1241–1253 (2015)

    Article  MathSciNet  Google Scholar 

  21. Burns, A., Wellings, A.: The deadline floor protocol and Ada. Ada Lett. XXXVI(1), 29–34 (2016)

    Article  Google Scholar 

  22. MAST home page. http://mast.unican.es/

  23. González Harbour, M., Gutiérrez, J.J., Drake, J.M., López, P., Palencia, J.C.: Modeling distributed real-time systems with MAST 2. J. Syst. Architect. 59(6), 331–340 (2013)

    Article  Google Scholar 

  24. Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. OMG Document, v1.1 formal/2011–06-02 (2011)

    Google Scholar 

  25. Rivas, J.M., Gutiérrez, J.J., Palencia, J.C., González Harbour, M.: Optimized deadline assignment and schedulability analysis for distributed real-time systems with local EDF scheduling. In: Proceedings of the 8th International Conference on Embedded Systems and Applications, ESA 2010, Las Vegas, Nevada, USA, pp. 150–156 (2010)

    Google Scholar 

  26. Spuri, M.: Holistic analysis for deadline scheduled real-time distributed systems. Technical report RR-2873, INRIA, France (1996)

    Google Scholar 

  27. Liu, J.: Real-Time Systems. Prentice Hall, Upper Saddle River (2000)

    Google Scholar 

  28. GNAT compiler. https://www.adacore.com

  29. Rivas, M.A., González Harbour, M.: MaRTE OS: an Ada kernel for real-time embedded applications. In: Craeynest, D., Strohmeier, A. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 305–316. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45136-6_24

    Chapter  MATH  Google Scholar 

  30. MaRTE OS home page. http://marte.unican.es

  31. Aldea Rivas, M., González Harbour, M., Ruiz, J.F.: Implementation of the Ada 2005 task dispatching model in MaRTE OS and GNAT. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 105–118. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01924-1_8

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering and Real-Time Group, Universidad de Cantabria, 39005, Santander, Spain

    J. Javier Gutiérrez & Héctor Pérez

Authors
  1. J. Javier Gutiérrez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Héctor Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. Javier Gutiérrez .

Editor information

Editors and Affiliations

  1. University of Lisbon, Lisbon, Portugal

    António Casimiro

  2. University of Lisbon, Lisbon, Portugal

    Pedro M. Ferreira

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gutiérrez, J.J., Pérez, H. (2018). Theory and Practice of EDF Scheduling in Distributed Real-Time Systems. In: Casimiro, A., Ferreira, P. (eds) Reliable Software Technologies – Ada-Europe 2018. Ada-Europe 2018. Lecture Notes in Computer Science(), vol 10873. Springer, Cham. https://doi.org/10.1007/978-3-319-92432-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92432-8_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92431-1

  • Online ISBN: 978-3-319-92432-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation