Skip to main content

2018 | OriginalPaper | Buchkapitel

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

verfasst von : J. Javier Gutiérrez, Héctor Pérez

Erschienen in: Reliable Software Technologies – Ada-Europe 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat Pedreiras, P., Almeida, L.: EDF message scheduling on controller area network. Comput. Control Eng. J. 13(4), 163–170 (2002)CrossRef Pedreiras, P., Almeida, L.: EDF message scheduling on controller area network. Comput. Control Eng. J. 13(4), 163–170 (2002)CrossRef
5.
Zurück zum Zitat Di Natale, M., Meschi, A.: Scheduling messages with earliest deadline techniques. Real Time Syst. 20(3), 255–285 (2001)CrossRef Di Natale, M., Meschi, A.: Scheduling messages with earliest deadline techniques. Real Time Syst. 20(3), 255–285 (2001)CrossRef
6.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat ISO/IEC, 2012: Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652:2012(E) (2012) ISO/IEC, 2012: Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652:2012(E) (2012)
10.
Zurück zum Zitat Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)MathSciNetCrossRef Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)MathSciNetCrossRef
11.
Zurück zum Zitat Buttazzo, G.: Rate monotonic vs. EDF: judgment day. Real Time Syst. 29(1), 5–26 (2005)CrossRef Buttazzo, G.: Rate monotonic vs. EDF: judgment day. Real Time Syst. 29(1), 5–26 (2005)CrossRef
12.
Zurück zum Zitat 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)CrossRef 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)CrossRef
14.
Zurück zum Zitat 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)CrossRef 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)CrossRef
15.
Zurück zum Zitat 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)CrossRef 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)CrossRef
16.
Zurück zum Zitat Baruah, S.: Partitioned EDF scheduling: a closer look. Real Time Syst. 49(6), 715–729 (2013)CrossRef Baruah, S.: Partitioned EDF scheduling: a closer look. Real Time Syst. 49(6), 715–729 (2013)CrossRef
17.
Zurück zum Zitat 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)CrossRef 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)CrossRef
18.
Zurück zum Zitat 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)CrossRef 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)CrossRef
19.
Zurück zum Zitat Burns, A.: An EDF run-time profile based on Ravenscar. Ada Lett. XXXIII(1), 24–31 (2013)CrossRef Burns, A.: An EDF run-time profile based on Ravenscar. Ada Lett. XXXIII(1), 24–31 (2013)CrossRef
20.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
21.
Zurück zum Zitat Burns, A., Wellings, A.: The deadline floor protocol and Ada. Ada Lett. XXXVI(1), 29–34 (2016)CrossRef Burns, A., Wellings, A.: The deadline floor protocol and Ada. Ada Lett. XXXVI(1), 29–34 (2016)CrossRef
23.
Zurück zum Zitat 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)CrossRef 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)CrossRef
24.
Zurück zum Zitat Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. OMG Document, v1.1 formal/2011–06-02 (2011) Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. OMG Document, v1.1 formal/2011–06-02 (2011)
25.
Zurück zum Zitat 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) 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)
26.
Zurück zum Zitat Spuri, M.: Holistic analysis for deadline scheduled real-time distributed systems. Technical report RR-2873, INRIA, France (1996) Spuri, M.: Holistic analysis for deadline scheduled real-time distributed systems. Technical report RR-2873, INRIA, France (1996)
27.
Zurück zum Zitat Liu, J.: Real-Time Systems. Prentice Hall, Upper Saddle River (2000) Liu, J.: Real-Time Systems. Prentice Hall, Upper Saddle River (2000)
Metadaten
Titel
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems
verfasst von
J. Javier Gutiérrez
Héctor Pérez
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-92432-8_8