Skip to main content
Erschienen in:

13.09.2024

End-to-end probability analysis method for multi-core distributed systems

verfasst von: Xianchen Shi, Yian Zhu, Lian Li

Erschienen in: The Journal of Supercomputing | Ausgabe 19/2024

Einloggen

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

search-config
loading …

Abstract

Timing determinism in embedded real-time systems requires meeting timing constraints not only for individual tasks but also for chains of tasks that involve multiple messages. End-to-end analysis is a commonly used approach for solving such problems. However, the temporal properties of tasks often have uncertainty, which makes end-to-end analysis challenging and prone to errors. In this paper, we focus on enhancing the precision and safety of end-to-end timing analysis by introducing a novel probabilistic method. Our approach involves establishing a probabilistic model for end-to-end timing analysis and implementing two algorithms: the maximum data age detection algorithm and the end-to-end timing deadline miss probability detection algorithm. The experimental results indicate that our approach surpasses traditional analytical methods in terms of safety and significantly enhances the capability to detect the probability of missing end-to-end deadlines.

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

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!

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+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!

Literatur
1.
Zurück zum Zitat Günzel M, Chen K-H, Ueter N, Brüggen G, Dürr M, Chen J-J (2021) Timing analysis of asynchronized distributed cause-effect chains. In: 2021 IEEE 27th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 40–52 Günzel M, Chen K-H, Ueter N, Brüggen G, Dürr M, Chen J-J (2021) Timing analysis of asynchronized distributed cause-effect chains. In: 2021 IEEE 27th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 40–52
2.
Zurück zum Zitat Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2017) End-to-end timing analysis of cause-effect chains in automotive embedded systems. J Syst Archit 80:104–113CrossRef Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2017) End-to-end timing analysis of cause-effect chains in automotive embedded systems. J Syst Archit 80:104–113CrossRef
3.
Zurück zum Zitat Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2018) Analyzing end-to-end delays in automotive systems at various levels of timing information. ACM SIGBED Rev 14(4):8–13CrossRef Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2018) Analyzing end-to-end delays in automotive systems at various levels of timing information. ACM SIGBED Rev 14(4):8–13CrossRef
4.
Zurück zum Zitat Dürr M, Brüggen GVD, Chen K-H, Chen J-J (2019) End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Trans Embed Comput Syst (TECS) 18(5s):1–24CrossRef Dürr M, Brüggen GVD, Chen K-H, Chen J-J (2019) End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Trans Embed Comput Syst (TECS) 18(5s):1–24CrossRef
5.
Zurück zum Zitat Martinez J, Sañudo I, Bertogna M (2020) End-to-end latency characterization of task communication models for automotive systems. Real-Time Syst 56:315–347CrossRef Martinez J, Sañudo I, Bertogna M (2020) End-to-end latency characterization of task communication models for automotive systems. Real-Time Syst 56:315–347CrossRef
6.
Zurück zum Zitat Dasari D, Becker M, Casini D, Blaß T (2022) End-to-end analysis of event chains under the QNX adaptive partitioning scheduler. In: 2022 IEEE 28th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 214–227 Dasari D, Becker M, Casini D, Blaß T (2022) End-to-end analysis of event chains under the QNX adaptive partitioning scheduler. In: 2022 IEEE 28th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 214–227
7.
Zurück zum Zitat Shi X, Zhu Y, Li L, Li J (2023) McSad: a Monte Carlo-based end-to-end scheduling anomaly detection method for distributed real-time systems. Simul Model Pract Theory 125:102746CrossRef Shi X, Zhu Y, Li L, Li J (2023) McSad: a Monte Carlo-based end-to-end scheduling anomaly detection method for distributed real-time systems. Simul Model Pract Theory 125:102746CrossRef
9.
Zurück zum Zitat Feiertag N, Richter K, Nordlander J, Jonsson J (2009) A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: IEEE real-time systems symposium: 30/11/2009–03/12/2009. IEEE Communications Society Feiertag N, Richter K, Nordlander J, Jonsson J (2009) A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: IEEE real-time systems symposium: 30/11/2009–03/12/2009. IEEE Communications Society
10.
Zurück zum Zitat Davare A, Zhu Q, Di Natale M, Pinello C, Kanajan S, Sangiovanni-Vincentelli A (2007) Period optimization for hard real-time distributed automotive systems. In: Proceedings of the 44th annual design automation conference, pp 278–283 Davare A, Zhu Q, Di Natale M, Pinello C, Kanajan S, Sangiovanni-Vincentelli A (2007) Period optimization for hard real-time distributed automotive systems. In: Proceedings of the 44th annual design automation conference, pp 278–283
11.
Zurück zum Zitat Kloda T, Bertout A, Sorel Y (2018) Latency analysis for data chains of real-time periodic tasks. In: 2018 IEEE 23rd international conference on emerging technologies and factory automation (ETFA), vol. 1, IEEE. pp 360–367 Kloda T, Bertout A, Sorel Y (2018) Latency analysis for data chains of real-time periodic tasks. In: 2018 IEEE 23rd international conference on emerging technologies and factory automation (ETFA), vol. 1, IEEE. pp 360–367
12.
Zurück zum Zitat Teper H, Günzel M, Ueter N, Brüggen G, Chen J-J (2022) End-to-end timing analysis in ROS2. In: 2022 IEEE real-time systems symposium (RTSS), IEEE. pp 53–65 Teper H, Günzel M, Ueter N, Brüggen G, Chen J-J (2022) End-to-end timing analysis in ROS2. In: 2022 IEEE real-time systems symposium (RTSS), IEEE. pp 53–65
13.
Zurück zum Zitat Günzel M, Ueter N, Chen K-H, Chen J-J (2023) Timing analysis of cause-effect chains with heterogeneous communication mechanisms. In: Proceedings of the 31st international conference on real-time networks and systems, pp 224–234 Günzel M, Ueter N, Chen K-H, Chen J-J (2023) Timing analysis of cause-effect chains with heterogeneous communication mechanisms. In: Proceedings of the 31st international conference on real-time networks and systems, pp 224–234
14.
Zurück zum Zitat Gohari P, Nasri M, Voeten J (2022) Data-age analysis for multi-rate task chains under timing uncertainty. In: Proceedings of the 30th international conference on real-time networks and systems, pp 24–35 Gohari P, Nasri M, Voeten J (2022) Data-age analysis for multi-rate task chains under timing uncertainty. In: Proceedings of the 30th international conference on real-time networks and systems, pp 24–35
15.
Zurück zum Zitat Altmeyer S, Davis RI (2014) On the correctness, optimality and precision of static probabilistic timing analysis. In: 2014 design, automation & test in Europe conference & exhibition (DATE), IEEE. pp 1–6 Altmeyer S, Davis RI (2014) On the correctness, optimality and precision of static probabilistic timing analysis. In: 2014 design, automation & test in Europe conference & exhibition (DATE), IEEE. pp 1–6
16.
Zurück zum Zitat Gliwa P (2021) Timing analysis techniques. In: Embedded software timing: methodology, analysis and practical tips with a focus on automotive, 83–170 Gliwa P (2021) Timing analysis techniques. In: Embedded software timing: methodology, analysis and practical tips with a focus on automotive, 83–170
17.
Zurück zum Zitat Jersak M (2005) Compositional performance analysis for complex embedded applications. PhD thesis, University of Braunschweig-Institute of Technology Jersak M (2005) Compositional performance analysis for complex embedded applications. PhD thesis, University of Braunschweig-Institute of Technology
18.
Zurück zum Zitat Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis-the SymTA/S approach. IEE Proc-Comput Digit Tech 152(2):148–166CrossRef Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis-the SymTA/S approach. IEE Proc-Comput Digit Tech 152(2):148–166CrossRef
19.
Zurück zum Zitat Diemer J, Axer P, Ernst R (2012) Compositional performance analysis in python with pycpa. Proc. WATERS, 27–32 Diemer J, Axer P, Ernst R (2012) Compositional performance analysis in python with pycpa. Proc. WATERS, 27–32
20.
Zurück zum Zitat Kim J, Oh H, Ha H, Kang S-H, Choi J, Ha S (2012) An ILP-based worst-case performance analysis technique for distributed real-time embedded systems. In: 2012 IEEE 33rd real-time systems symposium, pp 363–372 Kim J, Oh H, Ha H, Kang S-H, Choi J, Ha S (2012) An ILP-based worst-case performance analysis technique for distributed real-time embedded systems. In: 2012 IEEE 33rd real-time systems symposium, pp 363–372
21.
Zurück zum Zitat Reghenzani F, Massari G, Fornaciari W (2020) Timing predictability in high-performance computing with probabilistic real-time. IEEE Access 8:208566–208582CrossRef Reghenzani F, Massari G, Fornaciari W (2020) Timing predictability in high-performance computing with probabilistic real-time. IEEE Access 8:208566–208582CrossRef
22.
Zurück zum Zitat Rox J, Negrean M, Schliecker S, Ernst R (2012) System level performance analysis for real-time multi-core and network architectures. Adv Real-Time Syst, 171–189 Rox J, Negrean M, Schliecker S, Ernst R (2012) System level performance analysis for real-time multi-core and network architectures. Adv Real-Time Syst, 171–189
23.
Zurück zum Zitat Yen T-Y, Wolf W (1998) Performance estimation for real-time distributed embedded systems. IEEE Trans Parallel Distrib Syst 9(11):1125–1136CrossRef Yen T-Y, Wolf W (1998) Performance estimation for real-time distributed embedded systems. IEEE Trans Parallel Distrib Syst 9(11):1125–1136CrossRef
24.
Zurück zum Zitat Choi H, Karimi M, Kim H (2020) Chain-based fixed-priority scheduling of loosely-dependent tasks. In: 2020 IEEE 38th international conference on computer design (ICCD), IEEE. pp 631–639 Choi H, Karimi M, Kim H (2020) Chain-based fixed-priority scheduling of loosely-dependent tasks. In: 2020 IEEE 38th international conference on computer design (ICCD), IEEE. pp 631–639
25.
Zurück zum Zitat Girault A, Prévot C, Quinton S, Henia R, Sordon N (2018) Improving and estimating the precision of bounds on the worst-case latency of task chains. IEEE Trans Comput Aided Des Integr Circuits Syst 37(11):2578–2589CrossRef Girault A, Prévot C, Quinton S, Henia R, Sordon N (2018) Improving and estimating the precision of bounds on the worst-case latency of task chains. IEEE Trans Comput Aided Des Integr Circuits Syst 37(11):2578–2589CrossRef
26.
Zurück zum Zitat Schlatow J, Ernst R (2016) Response-time analysis for task chains in communicating threads. In: 2016 IEEE real-time and embedded technology and applications symposium (RTAS), IEEE. pp 1–10 Schlatow J, Ernst R (2016) Response-time analysis for task chains in communicating threads. In: 2016 IEEE real-time and embedded technology and applications symposium (RTAS), IEEE. pp 1–10
27.
Zurück zum Zitat Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2016) Mechaniser-a timing analysis and synthesis tool for multi-rate effect chains with job-level dependencies. In: Workshop on analysis tools and methodologies for embedded and real-time systems (WATERS), vol. 20 Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2016) Mechaniser-a timing analysis and synthesis tool for multi-rate effect chains with job-level dependencies. In: Workshop on analysis tools and methodologies for embedded and real-time systems (WATERS), vol. 20
28.
Zurück zum Zitat Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2016) Synthesizing job-level dependencies for automotive multi-rate effect chains. In: 2016 IEEE 22nd international conference on embedded and real-time computing systems and applications (RTCSA), IEEE. pp 159–169 Becker M, Dasari D, Mubeen S, Behnam M, Nolte T (2016) Synthesizing job-level dependencies for automotive multi-rate effect chains. In: 2016 IEEE 22nd international conference on embedded and real-time computing systems and applications (RTCSA), IEEE. pp 159–169
29.
Zurück zum Zitat Forget J, Boniol F, Pagetti C (2017) Verifying end-to-end real-time constraints on multi-periodic models. In: 2017 22nd IEEE international conference on emerging technologies and factory automation (ETFA), IEEE. pp 1–8 Forget J, Boniol F, Pagetti C (2017) Verifying end-to-end real-time constraints on multi-periodic models. In: 2017 22nd IEEE international conference on emerging technologies and factory automation (ETFA), IEEE. pp 1–8
30.
Zurück zum Zitat Rajeev A, Mohalik S, Dixit MG, Chokshi DB, Ramesh S (2010) Schedulability and end-to-end latency in distributed ecu networks: Formal modeling and precise estimation. In: Proceedings of the tenth ACM international conference on embedded software, pp 129–138 Rajeev A, Mohalik S, Dixit MG, Chokshi DB, Ramesh S (2010) Schedulability and end-to-end latency in distributed ecu networks: Formal modeling and precise estimation. In: Proceedings of the tenth ACM international conference on embedded software, pp 129–138
31.
Zurück zum Zitat Schlatow J, Mostl M, Tobuschat S, Ishigooka T, Ernst R (2018) Data-age analysis and optimisation for cause-effect chains in automotive control systems. In: 2018 IEEE 13th international symposium on industrial embedded systems (SIES), IEEE. pp 1–9 Schlatow J, Mostl M, Tobuschat S, Ishigooka T, Ernst R (2018) Data-age analysis and optimisation for cause-effect chains in automotive control systems. In: 2018 IEEE 13th international symposium on industrial embedded systems (SIES), IEEE. pp 1–9
32.
Zurück zum Zitat Tang Y, Jiang X, Guan N, Liu S, Luo X, Yi W (2023) Optimizing end-to-end latency of sporadic cause-effect chains using priority inheritance. In: 2023 IEEE real-time systems symposium (RTSS), pp 411–422 Tang Y, Jiang X, Guan N, Liu S, Luo X, Yi W (2023) Optimizing end-to-end latency of sporadic cause-effect chains using priority inheritance. In: 2023 IEEE real-time systems symposium (RTSS), pp 411–422
33.
Zurück zum Zitat Teper H, Betz T, Günzel M, Ebner D, Von Der Brüggen G, Betz J, Chen J-J (2024) End-to-end timing analysis and optimization of multi-executor ROS 2 systems. In: 2024 IEEE 30th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 212–224 Teper H, Betz T, Günzel M, Ebner D, Von Der Brüggen G, Betz J, Chen J-J (2024) End-to-end timing analysis and optimization of multi-executor ROS 2 systems. In: 2024 IEEE 30th real-time and embedded technology and applications symposium (RTAS), IEEE. pp 212–224
34.
Zurück zum Zitat Günzel M, Chen K-H, Ueter N, Gvd Brüggen, Dürr M, Chen J-J (2023) Compositional timing analysis of asynchronized distributed cause-effect chains. ACM Trans Embed Comput Syst 22(4):1–34CrossRef Günzel M, Chen K-H, Ueter N, Gvd Brüggen, Dürr M, Chen J-J (2023) Compositional timing analysis of asynchronized distributed cause-effect chains. ACM Trans Embed Comput Syst 22(4):1–34CrossRef
35.
Zurück zum Zitat Wu Q, Gu Y (2011) Optimizing end-to-end performance of data-intensive computing pipelines in heterogeneous network environments. J Parallel Distrib Comput 71(2):254–265CrossRef Wu Q, Gu Y (2011) Optimizing end-to-end performance of data-intensive computing pipelines in heterogeneous network environments. J Parallel Distrib Comput 71(2):254–265CrossRef
36.
Zurück zum Zitat Denzel WE, Li J, Walker P, Jin Y (2010) A framework for end-to-end simulation of high-performance computing systems. Simulation 86(5–6):331–350CrossRef Denzel WE, Li J, Walker P, Jin Y (2010) A framework for end-to-end simulation of high-performance computing systems. Simulation 86(5–6):331–350CrossRef
37.
Zurück zum Zitat Wan L, Wolf M, Wang F, Choi JY, Ostrouchov G, Klasky S (2017) Analysis and modeling of the end-to-end i/o performance on OLCF’s titan supercomputer. In: 2017 IEEE 19th international conference on high performance computing and communications; IEEE 15th international conference on smart city; IEEE 3rd international conference on data science and systems (HPCC/SmartCity/DSS), IEEE. pp 1–9 Wan L, Wolf M, Wang F, Choi JY, Ostrouchov G, Klasky S (2017) Analysis and modeling of the end-to-end i/o performance on OLCF’s titan supercomputer. In: 2017 IEEE 19th international conference on high performance computing and communications; IEEE 15th international conference on smart city; IEEE 3rd international conference on data science and systems (HPCC/SmartCity/DSS), IEEE. pp 1–9
38.
Zurück zum Zitat Yang B, Xue W, Zhang T, Liu S, Ma X, Wang X, Liu W (2023) End-to-end i/o monitoring on leading supercomputers. ACM Trans Storage 19(1):1–35CrossRef Yang B, Xue W, Zhang T, Liu S, Ma X, Wang X, Liu W (2023) End-to-end i/o monitoring on leading supercomputers. ACM Trans Storage 19(1):1–35CrossRef
39.
Zurück zum Zitat Günzel M, Ueter N, Chen K-H, Brüggen G, Chen J-J (2023) Probabilistic reaction time analysis. ACM Trans Embed Comput Syst 22(5s):1–22CrossRef Günzel M, Ueter N, Chen K-H, Brüggen G, Chen J-J (2023) Probabilistic reaction time analysis. ACM Trans Embed Comput Syst 22(5s):1–22CrossRef
40.
Zurück zum Zitat Maxim D, Cucu-Grosjean L, Davis RI (2022) In: Tian, Y.-C., Levy, D.C. (eds.) Probabilistic Analysis. Springer, Singapore, , pp 323–346 Maxim D, Cucu-Grosjean L, Davis RI (2022) In: Tian, Y.-C., Levy, D.C. (eds.) Probabilistic Analysis. Springer, Singapore, , pp 323–346
41.
Zurück zum Zitat Bozhko S, Marković F, Brüggen G, Brandenburg BB (2023) What really is PWCET? A rigorous axiomatic proposal. In: 2023 IEEE real-time systems symposium (RTSS), IEEE. pp 13–26 Bozhko S, Marković F, Brüggen G, Brandenburg BB (2023) What really is PWCET? A rigorous axiomatic proposal. In: 2023 IEEE real-time systems symposium (RTSS), IEEE. pp 13–26
42.
Zurück zum Zitat Verucchi M, Theile M, Caccamo M, Bertogna M (2020) Latency-aware generation of single-rate DAGs from multi-rate task sets. In: 2020 IEEE real-time and embedded technology and applications symposium (RTAS), IEEE. pp 226–238 Verucchi M, Theile M, Caccamo M, Bertogna M (2020) Latency-aware generation of single-rate DAGs from multi-rate task sets. In: 2020 IEEE real-time and embedded technology and applications symposium (RTAS), IEEE. pp 226–238
Metadaten
Titel
End-to-end probability analysis method for multi-core distributed systems
verfasst von
Xianchen Shi
Yian Zhu
Lian Li
Publikationsdatum
13.09.2024
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 19/2024
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-024-06460-8