Optimizing Per-Core Priorities to Minimize End-To-End Latencies

Authors Francesco Paladino , Alessandro Biondi , Enrico Bini , Paolo Pazzaglia



PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2024.6.pdf
  • Filesize: 1.19 MB
  • 25 pages

Document Identifiers

Author Details

Francesco Paladino
  • Scuola Superiore Sant'Anna, Pisa, Italy
Alessandro Biondi
  • Scuola Superiore Sant'Anna, Pisa, Italy
Enrico Bini
  • University of Turin, Italy
Paolo Pazzaglia
  • Robert Bosch GmbH, Corporate Research, Renningen, Germany

Cite AsGet BibTex

Francesco Paladino, Alessandro Biondi, Enrico Bini, and Paolo Pazzaglia. Optimizing Per-Core Priorities to Minimize End-To-End Latencies. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 6:1-6:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ECRTS.2024.6

Abstract

Logical Execution Time (LET) allows decoupling the schedule of real-time periodic tasks from their communication, with the advantage of isolating the communication pattern from the variability of the schedule. However, when such tasks are organized in chains, the usage of LET at the task level does not necessarily transfer the same LET properties to the chain level. In this paper, we extend a LET-like model from tasks to chains spanning over multiple cores. We leverage the designed constant latency chains to optimize per-core priority assignment. Finally, we also provide a set of heuristic algorithms, that are compared in a large-scale experimental evaluation.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Computer systems organization → Embedded and cyber-physical systems
  • Software and its engineering → Multiprocessing / multiprogramming / multitasking
  • Software and its engineering → Real-time schedulability
Keywords
  • Cause-Effect Chains
  • Logical Execution Time
  • End-to-End Latency
  • Design Optimization
  • Task Priorities
  • Data Age
  • Reaction Time

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Neil C Audsley. On priority assignment in fixed priority scheduling. Information Processing Letters, 79(1):39-44, 2001. URL: https://doi.org/10.1016/S0020-0190(00)00165-4.
  2. Neil C. Audsley, Alan Burns, Mike Richardson, Ken W. Tindell, and Andy J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5):284-292, September 1993. URL: https://doi.org/10.1049/sej.1993.0034.
  3. Yunhao Bai, Zejiang Wang, Xiaorui Wang, and Junmin Wang. Autoe2e: end-to-end real-time middleware for autonomous driving control. In 2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), pages 1101-1111. IEEE, 2020. URL: https://doi.org/10.1109/ICDCS47774.2020.00092.
  4. Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. 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), pages 159-169. IEEE, 2016. URL: https://doi.org/10.1109/RTCSA.2016.41.
  5. Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. End-to-end timing analysis of cause-effect chains in automotive embedded systems. Journal of Systems Architecture, 80:104-113, 2017. URL: https://doi.org/10.1016/j.sysarc.2017.09.004.
  6. Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. Analyzing end-to-end delays in automotive systems at various levels of timing information. ACM SIGBED Review, 14(4):8-13, 2018. URL: https://doi.org/10.1145/3177803.3177805.
  7. Albert Benveniste, Paul Le Guernic, Yves Sorel, and Michel Sorine. A denotational theory of synchronous reactive systems. Information and Computation, 99(2):192-230, 1992. URL: https://doi.org/10.1016/0890-5401(92)90030-J.
  8. Gérard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of computer programming, 19(2):87-152, 1992. URL: https://doi.org/10.1016/0167-6423(92)90005-V.
  9. Enrico Bini and Giorgio Buttazzo. Biasing effects in schedulability measures. In 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June - 2 July 1004, Catania, Italy, Proceedings, pages 196-203, 2004. URL: https://doi.org/10.1109/ECRTS.2004.7.
  10. Enrico Bini, Thi Huyen Châu Nguyen, Pascal Richard, and Sanjoy K. Baruah. A response-time bound in fixed-priority scheduling with arbitrary deadlines. IEEE Transactions on Computers, 58(2):279-286, February 2009. URL: https://doi.org/10.1109/TC.2008.167.
  11. Enrico Bini, Andrea Parri, and Giacomo Dossena. A quadratic-time response time upper bound with a tightness property. In 2015 IEEE Real-Time Systems Symposium, pages 13-22. IEEE, 2015. URL: https://doi.org/10.1109/RTSS.2015.9.
  12. Enrico Bini, Paolo Pazzaglia, and Martina Maggio. Zero-jitter chains of periodic LET tasks via algebraic rings. IEEE Transactions on Computers, 72(11):3057-3071, 2023. URL: https://doi.org/10.1109/TC.2023.3283707.
  13. Alessandro Biondi and Marco Di Natale. Achieving predictable multicore execution of automotive applications using the LET paradigm. In IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 11-13 April 2018, Porto, Portugal, pages 240-250, 2018. URL: https://doi.org/10.1109/RTAS.2018.00032.
  14. Daniel Casini and Alessandro Biondi. Placement of chains of real-time tasks on heterogeneous platforms under EDF scheduling. In 2022 25th Euromicro Conference on Digital System Design (DSD), pages 149-156, 2022. URL: https://doi.org/10.1109/DSD57027.2022.00029.
  15. Jian-Jia Chen, Wen-Hung Huang, and Cong Liu. k2Q: A quadratic-form response time and schedulability analysis framework for utilization-based analysis. In 2016 IEEE Real-Time Systems Symposium (RTSS), pages 351-362. IEEE, 2016. URL: https://doi.org/10.1109/RTSS.2016.041.
  16. Hyunjong Choi, Mohsen Karimi, and Hyoseung Kim. Chain-based fixed-priority scheduling of loosely-dependent tasks. In 2020 IEEE 38th International Conference on Computer Design (ICCD), pages 631-639, 2020. URL: https://doi.org/10.1109/ICCD50377.2020.00109.
  17. Hyunjong Choi, Yecheng Xiang, and Hyoseung Kim. PiCAS: New design of priority-driven chain-aware scheduling for ROS2. In 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 251-263, 2021. URL: https://doi.org/10.1109/RTAS52030.2021.00028.
  18. Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, and Alberto Sangiovanni-Vincentelli. Period optimization for hard real-time distributed automotive systems. In Proceedings of the 44th annual Design Automation Conference, pages 278-283, 2007. URL: https://doi.org/10.1145/1278480.1278553.
  19. Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, and Alan Burns. A review of priority assignment in real-time systems. Journal of Systems Architecture, 65:64-82, 2016. URL: https://doi.org/10.1016/j.sysarc.2016.04.002.
  20. Marco Dürr, Georg Von Der Brüggen, Kuan-Hsun Chen, and Jian-Jia Chen. End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):1-24, 2019. URL: https://doi.org/10.1145/3358181.
  21. Rolf Ernst, Leonie Ahrendts, and Kai-Björn Gemlau. System level LET: Mastering cause-effect chains in distributed systems. In IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, pages 4084-4089, 2018. URL: https://doi.org/10.1109/IECON.2018.8591550.
  22. Nico Feiertag, Kai Richter, Johan Nordlander, and Jan Jonsson. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2008. Google Scholar
  23. Julien Forget, Frédéric Boniol, and Claire Pagetti. Verifying end-to-end real-time constraints on multi-periodic models. In 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1-8. IEEE, 2017. URL: https://doi.org/10.1109/ETFA.2017.8247612.
  24. Goran Frehse, Arne Hamann, Sophie Quinton, and Matthias Woehrle. Formal analysis of timing effects on closed-loop properties of control software. In 2014 IEEE Real-Time Systems Symposium, pages 53-62. IEEE, 2014. URL: https://doi.org/10.1109/RTSS.2014.28.
  25. Max J Friese, Thorsten Ehlers, and Dirk Nowotka. Estimating latencies of task sequences in multi-core automotive ecus. In 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES), pages 1-10. IEEE, 2018. URL: https://doi.org/10.1109/SIES.2018.8442095.
  26. Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, and Nicolas Sordon. Improving and estimating the precision of bounds on the worst-case latency of task chains. IEEE transactions on computer-aided design of integrated circuits and systems, 37(11):2578-2589, 2018. URL: https://doi.org/10.1109/TCAD.2018.2861016.
  27. Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, and Jian-Jia Chen. Compositional timing analysis of asynchronized distributed cause-effect chains. ACM Trans. Embed. Comput. Syst., March 2023. URL: https://doi.org/10.1145/3587036.
  28. Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, and Jian-Jia Chen. Timing analysis of asynchronized distributed cause-effect chains. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 40-52. IEEE, 2021. URL: https://doi.org/10.1109/RTAS52030.2021.00012.
  29. Nicholas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991. URL: https://doi.org/10.1109/5.97300.
  30. Taeho Han and Kanghee Kim. Minimizing probabilistic end-to-end latencies of autonomous driving systems. In IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 27-39, 2023. URL: https://doi.org/10.1109/RTAS58335.2023.00010.
  31. David Harel and Amir Pnueli. On the development of reactive systems. In Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, volume 13, pages 477-498. Springer, 1984. URL: https://doi.org/10.1007/978-3-642-82453-1_17.
  32. Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003. URL: https://doi.org/10.1109/JPROC.2002.805825.
  33. Praveen Jayachandran and Tarek Abdelzaher. Delay composition in preemptive and non-preemptive real-time pipelines. Real-Time Systems, 40(3):290-320, 2008. URL: https://doi.org/10.1007/s11241-008-9056-3.
  34. Mathai Joseph and Paritosh K. Pandya. Finding response times in a real-time system. The Computer Journal, 29(5):390-395, October 1986. URL: https://doi.org/10.1093/comjnl/29.5.390.
  35. Christoph M. Kirsch and Ana Sokolova. The logical execution time paradigm. Advances in Real-Time Systems, pages 103-120, 2012. URL: https://doi.org/10.1007/978-3-642-24349-3_5.
  36. Tobias Klaus, Matthias Becker, Wolfgang Schröder-Preikschat, and Peter Ulbrich. Constrained data-age with job-level dependencies: How to reconcile tight bounds and overheads. In IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 66-79. IEEE, 2021. URL: https://doi.org/10.1109/RTAS52030.2021.00014.
  37. Tomasz Kloda, Antoine Bertout, and Yves Sorel. Latency upper bound for data chains of real-time periodic tasks. Journal of Systems Architecture, 109:101824, 2020. URL: https://doi.org/10.1016/j.sysarc.2020.101824.
  38. Simon Kramer, Dirk Ziegenbein, and Arne Hamann. Real world automotive benchmarks for free. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2015. Google Scholar
  39. John P. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In [1990] Proceedings 11th Real-Time Systems Symposium, pages 201-209, 1990. URL: https://doi.org/10.1109/REAL.1990.128748.
  40. C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1):46-61, January 1973. URL: https://doi.org/10.1145/321738.321743.
  41. José L. Lorente, Giuseppe Lipari, and Enrico Bini. A hierarchical scheduling model for component-based real-time systems. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, pages 8-pp. IEEE, 2006. URL: https://doi.org/10.1109/IPDPS.2006.1639405.
  42. Jorge Martinez, Ignacio Sañudo, and Marko Bertogna. Analytical characterization of end-to-end communication delays with logical execution time. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11):2244-2254, 2018. URL: https://doi.org/10.1109/TCAD.2018.2857398.
  43. Jorge Martinez, Ignacio Sañudo, and Marko Bertogna. End-to-end latency characterization of task communication models for automotive systems. Real-Time Systems, 56:315-347, 2020. URL: https://doi.org/10.1007/s11241-020-09350-3.
  44. José Carlos Palencia and Michael Gonzalez Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pages 328-339. IEEE, 1999. URL: https://doi.org/10.1109/REAL.1999.818860.
  45. Paolo Pazzaglia, Alessandro Biondi, and Marco Di Natale. Optimizing the functional deployment on multicore platforms with logical execution time. In 2019 IEEE Real-Time Systems Symposium (RTSS), pages 207-219, 2019. URL: https://doi.org/10.1109/RTSS46320.2019.00028.
  46. Paolo Pazzaglia and Martina Maggio. Characterizing the effect of deadline misses on time-triggered task chains. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11):3957-3968, 2022. URL: https://doi.org/10.1109/TCAD.2022.3199146.
  47. Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, and Marco Di Natale. Beyond the weakly hard model: Measuring the performance cost of deadline misses. In 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, volume 106, pages 10:1-10:22. Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018. URL: https://doi.org/10.4230/LIPIcs.ECRTS.2018.10.
  48. Rodolfo Pellizzoni and Giuseppe Lipari. Improved schedulability analysis of real-time transactions with earliest deadline scheduling. In 11th IEEE Real Time and Embedded Technology and Applications Symposium, pages 66-75. IEEE, 2005. URL: https://doi.org/10.1109/RTAS.2005.28.
  49. Johannes Schlatow, Mischa Mostl, Sebastian Tobuschat, Tasuku Ishigooka, and Rolf Ernst. Data-age analysis and optimisation for cause-effect chains in automotive control systems. In 13th IEEE International Symposium on Industrial Embedded Systems, SIES 2018, Graz, Austria, June 6-8, 2018, pages 1-9. IEEE, 2018. URL: https://doi.org/10.1109/SIES.2018.8442077.
  50. Simon Schliecker and Rolf Ernst. A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems. In Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, pages 433-442, 2009. URL: https://doi.org/10.1145/1629435.1629494.
  51. Soham Sinha and Richard West. End-to-end scheduling of real-time task pipelines on multiprocessors. Journal of Systems Research, 2(1), 2022. URL: https://doi.org/10.5070/sr32158647.
  52. Jinghao Sun, Kailu Duan, Xisheng Li, Nan Guan, Zhishan Guo, Qingxu Deng, and Guozhen Tan. Real-time scheduling of autonomous driving system with guaranteed timing correctness. In IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 185-197, 2023. URL: https://doi.org/10.1109/RTAS58335.2023.00022.
  53. Yue Tang, Xu Jiang, Nan Guan, Dong Ji, Xiantong Luo, and Wang Yi. Comparing communication paradigms in cause-effect chains. IEEE Transactions on Computers, 72(1):82-96, 2022. URL: https://doi.org/10.1109/TC.2022.3197082.
  54. Ken Tindell and John Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming, 40(2-3):117-134, 1994. URL: https://doi.org/10.1016/0165-6074(94)90080-9.
  55. Micaela Verucchi, Mirco Theile, Marco Caccamo, and Marko Bertogna. Latency-aware generation of single-rate DAGs from multi-rate task sets. In 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 226-238, 2020. URL: https://doi.org/10.1109/RTAS48715.2020.000-4.