Skip to main content

2018 | OriginalPaper | Buchkapitel

18. Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb

verfasst von : Wolfgang A. Halang, Rudolf M. Konakovsky

Erschienen in: Sicherheitsgerichtete Echtzeitsysteme

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Zusammenfassung

Nach Betrachtung eines graphischen Verfahrens zur zeitlichen Ablaufplanung und Synchronisation von Rechenprozessen werden zwei Verfahren sicherer Prozessorzuteilung für leicht vorhersagbaren Mehrprozessbetrieb vorgestellt. Das statische Verfahren aktiviert Rechenprozesse periodisch synchron zu einem Zeittakt. Synchronisierungs- und Verklemmungsprobleme lassen sich verhindern, zeitliches Ablaufverhalten vorhersagen und lastadaptiv steuern sowie Zuteilbarkeit zu jeder Zeit anhand eines einfachen Kriteriums überprüfen, indem bei der optimalen Strategie dynamischer Rechenprozesszuteilung nach Fertigstellungsfristen auf Verdrängbarkeit verzichtet wird.

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
1.
Zurück zum Zitat Berry, G., Moisan, S., Rigault, J.-P.: Esterel: towards a synchronous and semantically sound high level language for real-time applications. In: Proceedings of the IEEE Real-Time Systems Symposium, S. 30–37 (1983) Berry, G., Moisan, S., Rigault, J.-P.: Esterel: towards a synchronous and semantically sound high level language for real-time applications. In: Proceedings of the IEEE Real-Time Systems Symposium, S. 30–37 (1983)
2.
Zurück zum Zitat Chung, J.Y., Liu, J.W.S., Lin, K.J.: Scheduling periodic jobs using imprecise results. Technical Report No. UIUCDCS-R-87-1307, Department of Computer Science, Universität von Illinois, Urbana (1987) Chung, J.Y., Liu, J.W.S., Lin, K.J.: Scheduling periodic jobs using imprecise results. Technical Report No. UIUCDCS-R-87-1307, Department of Computer Science, Universität von Illinois, Urbana (1987)
3.
Zurück zum Zitat Garey, M.R., Johnson, D.S.: Complexity results for multiprocessor scheduling under resource constraints. SIAM J. Comput. 4(4), 397–411 (1975)MathSciNetCrossRef Garey, M.R., Johnson, D.S.: Complexity results for multiprocessor scheduling under resource constraints. SIAM J. Comput. 4(4), 397–411 (1975)MathSciNetCrossRef
4.
Zurück zum Zitat Henn, R.: Deterministische Modelle für die Prozessorzuteilung in einer harten Realzeit-Umgebung. Dissertation, Technische Universität München (1975) Henn, R.: Deterministische Modelle für die Prozessorzuteilung in einer harten Realzeit-Umgebung. Dissertation, Technische Universität München (1975)
5.
Zurück zum Zitat Henn, R.: Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung. GI – 6. Jahrestagung. Informatik-Fachberichte 5, S. 343–359. Springer, Berlin/Heidelberg (1976) Henn, R.: Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung. GI – 6. Jahrestagung. Informatik-Fachberichte 5, S. 343–359. Springer, Berlin/Heidelberg (1976)
6.
Zurück zum Zitat Henn, R.: Antwortzeitgesteuerte Prozessorzuteilung unter strengen Zeitbedingungen. Computing 19, 209–220 (1978)MathSciNetCrossRef Henn, R.: Antwortzeitgesteuerte Prozessorzuteilung unter strengen Zeitbedingungen. Computing 19, 209–220 (1978)MathSciNetCrossRef
7.
Zurück zum Zitat Henn, R.: Feasible processor allocation in a hard-real-time environment. Real-Time Syst. 1(1), 77–93 (1989)CrossRef Henn, R.: Feasible processor allocation in a hard-real-time environment. Real-Time Syst. 1(1), 77–93 (1989)CrossRef
8.
Zurück zum Zitat Henn, R., Schönhoff, B.: Antwortzeitgesteuerte Prozessorzuteilung. Automatisierungstechnische Praxis atp 31(10), 496–498 (1989) Henn, R., Schönhoff, B.: Antwortzeitgesteuerte Prozessorzuteilung. Automatisierungstechnische Praxis atp 31(10), 496–498 (1989)
9.
Zurück zum Zitat Johnson, H.H., Maddison, M.: Deadline scheduling for a real-time multiprocessor. In: Proceedings of the Eurocomp Conference, S. 139–153 (1974) Johnson, H.H., Maddison, M.: Deadline scheduling for a real-time multiprocessor. In: Proceedings of the Eurocomp Conference, S. 139–153 (1974)
10.
Zurück zum Zitat Kligerman, E., Stoyenko, A.D.: Real-time Euclid: a language for reliable real-time systems. IEEE Trans. Softw. Eng. 12(9), 941–949 (1986)CrossRef Kligerman, E., Stoyenko, A.D.: Real-time Euclid: a language for reliable real-time systems. IEEE Trans. Softw. Eng. 12(9), 941–949 (1986)CrossRef
11.
Zurück zum Zitat Labetoulle, J.: Ordonnancement des Processus Temps Reel sur une ressource pre-emptive. These de 3me cycle, Université Paris VI (1974) Labetoulle, J.: Ordonnancement des Processus Temps Reel sur une ressource pre-emptive. These de 3me cycle, Université Paris VI (1974)
12.
Zurück zum Zitat Labetoulle, J.: Real time scheduling in a multiprocessor environment. IRIA Laboria, Rocquencourt (1976) Labetoulle, J.: Real time scheduling in a multiprocessor environment. IRIA Laboria, Rocquencourt (1976)
13.
Zurück zum Zitat Leinbaugh, D.W.: Guaranteed response times in a hard-real-time environment. IEEE Trans. Softw. Eng. 6(1), 85–91 (1980)CrossRef Leinbaugh, D.W.: Guaranteed response times in a hard-real-time environment. IEEE Trans. Softw. Eng. 6(1), 85–91 (1980)CrossRef
14.
Zurück zum Zitat Lin, K.J., Natarajan, S., Liu, J.W.S., Krauskopf, T.: Concord: a system of imprecise computations. In: Proceedings of the COMPSAC, Tokio (1987) Lin, K.J., Natarajan, S., Liu, J.W.S., Krauskopf, T.: Concord: a system of imprecise computations. In: Proceedings of the COMPSAC, Tokio (1987)
15.
Zurück zum Zitat Lin, K.J., Natarajan, S., Liu, J.W.S.: Imprecise results: utilizing partial computations in real-time systems. In: Proceedings of the IEEE real-time systems symposium, San Jose (1987) Lin, K.J., Natarajan, S., Liu, J.W.S.: Imprecise results: utilizing partial computations in real-time systems. In: Proceedings of the IEEE real-time systems symposium, San Jose (1987)
16.
Zurück zum Zitat Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. JACM 20, 46–61 (1973)MathSciNetCrossRef Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. JACM 20, 46–61 (1973)MathSciNetCrossRef
17.
Zurück zum Zitat Liu, J.W.S., Lin, K.J., Natarajan, S.: Scheduling real-time, periodic jobs using imprecise results. In: Proceedings of the IEEE Real-Time Systems Symposium, San Jose (1987) Liu, J.W.S., Lin, K.J., Natarajan, S.: Scheduling real-time, periodic jobs using imprecise results. In: Proceedings of the IEEE Real-Time Systems Symposium, San Jose (1987)
18.
Zurück zum Zitat Parnis, G.: Simulation of packet level handshaking in X.25 using the real-time Euclid programming language. Student Project Report, Department of Computer Science, Universität Toronto (1987) Parnis, G.: Simulation of packet level handshaking in X.25 using the real-time Euclid programming language. Student Project Report, Department of Computer Science, Universität Toronto (1987)
19.
Zurück zum Zitat Schrott, G.: Ein Zuteilungsmodell für Multiprozessor-Echtzeitsysteme. Dissertation, Technische Universität München (1986) Schrott, G.: Ein Zuteilungsmodell für Multiprozessor-Echtzeitsysteme. Dissertation, Technische Universität München (1986)
20.
Zurück zum Zitat Sha, L., Rajkumar, R., Son, S., Chang, C.-H.: A real-time locking protocol. Eingereicht bei IEEE Trans. Comput. 40(7), 793–800 (1991)CrossRef Sha, L., Rajkumar, R., Son, S., Chang, C.-H.: A real-time locking protocol. Eingereicht bei IEEE Trans. Comput. 40(7), 793–800 (1991)CrossRef
21.
Zurück zum Zitat Stoyenko, A.D.: A real-time language with a schedulability analyzer. Dissertation und Technical Report CSRI-206, Universität Toronto (1987) Stoyenko, A.D.: A real-time language with a schedulability analyzer. Dissertation und Technical Report CSRI-206, Universität Toronto (1987)
22.
Zurück zum Zitat Stoyenko, A.D.: The evolution and state-of-the-art of real-time languages. J. Syst. Softw. 18, 61–83 (1992)CrossRef Stoyenko, A.D.: The evolution and state-of-the-art of real-time languages. J. Syst. Softw. 18, 61–83 (1992)CrossRef
23.
Zurück zum Zitat Stoyenko, A.D., Halang, W.A.: Analysing PEARL-programs for timely schedulability and executability. In: Hommel, G. (Hrsg.) Prozeßrechensysteme ’91. Informatik-Fachberichte 269, S. 90–102. Springer, Berlin/Heidelberg/New York (1991) Stoyenko, A.D., Halang, W.A.: Analysing PEARL-programs for timely schedulability and executability. In: Hommel, G. (Hrsg.) Prozeßrechensysteme ’91. Informatik-Fachberichte 269, S. 90–102. Springer, Berlin/Heidelberg/New York (1991)
24.
Zurück zum Zitat Stoyenko, A.D., Marlowe, T.J.: Schedulability, program transformations and real-time programming. In: Proceedings of the 17th IFAC/IFIP workshop on real time programming, S. 33–41. Pergamon Press, Oxford (1991)CrossRef Stoyenko, A.D., Marlowe, T.J.: Schedulability, program transformations and real-time programming. In: Proceedings of the 17th IFAC/IFIP workshop on real time programming, S. 33–41. Pergamon Press, Oxford (1991)CrossRef
25.
Zurück zum Zitat Stoyenko, A.D., Hamacher, V.C., Holt, R.C.: Schedulability analysis of hard-real-time programs. IEEE Trans. Softw. Eng. 17(8), 737–750 (1991)CrossRef Stoyenko, A.D., Hamacher, V.C., Holt, R.C.: Schedulability analysis of hard-real-time programs. IEEE Trans. Softw. Eng. 17(8), 737–750 (1991)CrossRef
26.
Zurück zum Zitat Stoyenko, A.D., Marlowe, T.J.: Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. Real-Time Syst. 4(4), 307–329 (1992)CrossRef Stoyenko, A.D., Marlowe, T.J.: Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. Real-Time Syst. 4(4), 307–329 (1992)CrossRef
27.
Zurück zum Zitat Thurlow, S.A.: Simulation of a real time control system using the real-time Euclid programming language. Student Project Report, Department of Computer Science, Universität Toronto (1987) Thurlow, S.A.: Simulation of a real time control system using the real-time Euclid programming language. Student Project Report, Department of Computer Science, Universität Toronto (1987)
28.
Zurück zum Zitat Ullman, J.D.: Polynomial complete scheduling problems. In: Proceedings of the 4th symposium on OS principles, S. 96–101 (1973) Ullman, J.D.: Polynomial complete scheduling problems. In: Proceedings of the 4th symposium on OS principles, S. 96–101 (1973)
Metadaten
Titel
Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb
verfasst von
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright-Jahr
2018
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-56369-4_18