Tighter Worst-Case Response Time Bounds for Jitter-Based Self-Suspension Analysis

Authors Mario Günzel , Georg von der Brüggen , Jian-Jia Chen



PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2024.4.pdf
  • Filesize: 1.04 MB
  • 24 pages

Document Identifiers

Author Details

Mario Günzel
  • TU Dortmund University, Germany
Georg von der Brüggen
  • TU Dortmund University, Germany
Jian-Jia Chen
  • TU Dortmund University, Germany

Cite AsGet BibTex

Mario Günzel, Georg von der Brüggen, and Jian-Jia Chen. Tighter Worst-Case Response Time Bounds for Jitter-Based Self-Suspension Analysis. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 4:1-4:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ECRTS.2024.4

Abstract

Tasks are called self-suspending if they can yield their ready state (specifically, releasing the processor while having highest priority) despite being incomplete, for instance, to offload computation to an external device or when waiting on access rights for shared resources or data. This self-suspending behavior requires special treatment when applying analytical results to compute worst-case response time bounds. One typical treatment is modeling self-suspension as release jitter in a so-called jitter-based analysis. The state of the art, when considering task-level fixed-priority scheduling, individually quantifies the jitter term of each higher-priority task by its worst-case response time minus its worst-case execution time. This work tightens the jitter term by taking the execution behavior of the other higher-priority tasks into account. Our improved jitter-based analysis analytically dominates the previous jitter-based analysis. Moreover, an evaluation for synthetically generated sporadic tasks demonstrates that this jitter term results in tighter worst-case response time bounds for self-suspending tasks. We observe an improvement for up to 55.89 % of the tasksets compared to the previous jitter-based analysis.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Computer systems organization → Embedded systems
  • Software and its engineering → Real-time schedulability
Keywords
  • Worst-Case Response Time
  • WCRT
  • Jitter
  • Self-Suspension
  • Analysis

Metrics

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

References

  1. Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen. Response-time analysis for self-suspending tasks under EDF scheduling. In 34th Euromicro Conference on Real-Time Systems, ECRTS, pages 13:1-13:18, 2022. URL: https://doi.org/10.4230/LIPIcs.ECRTS.2022.13.
  2. Neil C. Audsley and Konstantinos Bletsas. Fixed priority timing analysis of real-time systems with limited parallelism. In 16th Euromicro Conference on Real-Time Systems (ECRTS), pages 231-238, 2004. URL: https://doi.org/10.1109/ECRTS.2004.12.
  3. Neil C. Audsley and Konstantinos Bletsas. Realistic analysis of limited parallel software / hardware implementations. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 388-395, 2004. URL: https://doi.org/10.1109/RTTAS.2004.1317285.
  4. Matthias Becker, Dakshina Dasari, and Daniel Casini. On the qnx ipc: Assessing predictability for local and distributed real-time systems. In IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2023. Google Scholar
  5. Konstantinos Bletsas and Neil C. Audsley. Extended analysis with reduced pessimism for systems with limited parallelism. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 525-531, 2005. URL: https://doi.org/10.1109/RTCSA.2005.48.
  6. Konstantinos Bletsas, Neil C. Audsley, Wen-Hung Huang, Jian-Jia Chen, and Geoffrey Nelissen. Errata for three papers (2004-05) on fixed-priority scheduling with self-suspensions. Leibniz Trans. Embed. Syst., 5(1):02:1-02:20, 2018. URL: https://doi.org/10.4230/LITES-v005-i001-a002.
  7. B.B. Brandenburg. Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling. In RTAS, 2013. URL: https://doi.org/10.1109/RTAS.2013.6531087.
  8. Bj"orn B. Brandenburg. Multiprocessor Real-Time Locking Protocols, pages 347-446. Springer Nature Singapore, Singapore, 2022. URL: https://doi.org/10.1007/978-981-287-251-7_10.
  9. Alan Burns and Gordon Baxter. Time Bands in Systems Structure, pages 74-88. Springer, January 2006. Google Scholar
  10. A. Carminati, R.S. de Oliveira, and L.F. Friedrich. Exploring the design space of multiprocessor synchronization protocols for real-time systems. Journal of Systems Architecture, 60(3):258-270, 2014. Google Scholar
  11. Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, and Giorgio C. Buttazzo. Partitioned fixed-priority scheduling of parallel tasks without preemptions. In 2018 IEEE Real-Time Systems Symposium, (RTSS), pages 421-433, 2018. URL: https://doi.org/10.1109/RTSS.2018.00056.
  12. Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, and Marco Di Natale. Optimized partitioning and priority assignment of real-time applications on heterogeneous platforms with hardware acceleration. J. Syst. Archit., 124:102416, 2022. URL: https://doi.org/10.1016/j.sysarc.2022.102416.
  13. Jian-Jia Chen, Tobias Hahn, Ruben Hoeksma, Nicole Megow, and Georg von der Brüggen. Scheduling self-suspending tasks: New and old results. In Sophie Quinton, editor, 31st Euromicro Conference on Real-Time Systems, ECRTS, volume 133 of LIPIcs, pages 16:1-16:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. URL: https://doi.org/10.4230/LIPIcs.ECRTS.2019.16.
  14. Jian-Jia Chen, Wen-Hung Huang, and Geoffrey Nelissen. A note on modeling self-suspending time as blocking time in real-time systems. Computing Research Repository (CoRR), 2016. http://arxiv.org/abs/1602.07750. Google Scholar
  15. Jian-Jia Chen and Cong Liu. Fixed-relative-deadline scheduling of hard real-time tasks with self-suspensions. In Real-Time Systems Symposium (RTSS), pages 149-160, 2014. URL: https://doi.org/10.1109/RTSS.2014.31.
  16. Jian-Jia Chen, Geoffrey Nelissen, and Wen-Hung Huang. A unifying response time analysis framework for dynamic self-suspending tasks. In Euromicro Conference on Real-Time Systems (ECRTS), pages 61-71, 2016. URL: https://doi.org/10.1109/ECRTS.2016.31.
  17. Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang, Maolin Yang, Björn B. Brandenburg, Konstantinos Bletsas, Cong Liu, Pascal Richard, Frédéric Ridouard, Neil C. Audsley, Raj Rajkumar, Dionisio de Niz, and Georg von der Brüggen. Many suspensions, many problems: a review of self-suspending tasks in real-time systems. Real Time Syst., 55(1):144-207, 2019. URL: https://doi.org/10.1007/s11241-018-9316-9.
  18. Jian-Jia Chen, Georg von der Brüggen, Wen-Hung Huang, and Cong Liu. State of the art for scheduling and analyzing self-suspending sporadic real-time tasks. In 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pages 1-10, 2017. URL: https://doi.org/10.1109/RTCSA.2017.8046321.
  19. UmaMaheswari C. Devi. An improved schedulability test for uniprocessor periodic task systems. In 15th Euromicro Conference on Real-Time Systems (ECRTS), pages 23-32, 2003. Google Scholar
  20. Zheng Dong and Cong Liu. Closing the loop for the selective conversion approach: A utilization-based test for hard real-time suspending task systems. In RTSS, pages 339-350. IEEE Computer Society, 2016. Google Scholar
  21. Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen, and Junjie Shi. Shared-resource-centric limited preemptive scheduling: A comprehensive study of suspension-based partitioning approaches. In IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pages 164-176, 2018. URL: https://doi.org/10.1109/RTAS.2018.00026.
  22. David Griffin, Iain Bate, and Robert I. Davis. Generating utilization vectors for the systematic evaluation of schedulability tests. In 41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020, pages 76-88. IEEE, 2020. URL: https://doi.org/10.1109/RTSS49844.2020.00018.
  23. Mario Günzel and Jian-Jia Chen. Correspondence article: Counterexample for suspension-aware schedulability analysis of EDF scheduling. Real Time Syst., 56(4):490-493, 2020. Google Scholar
  24. Mario Günzel and Jian-Jia Chen. A note on slack enforcement mechanisms for self-suspending tasks. Real Time Systems Journal, 57(4):387-396, 2021. URL: https://link.springer.com/article/10.1007/s11241-020-09362-z.
  25. Mario Günzel, Niklas Ueter, and Jian-Jia Chen. Suspension-aware fixed-priority schedulability test with arbitrary deadlines and arrival curves. In 42nd IEEE Real-Time Systems Symposium, RTSS, pages 418-430, 2021. URL: https://doi.org/10.1109/RTSS52674.2021.00045.
  26. Mario Günzel, Georg von der Brüggen, and Jian-Jia Chen. Suspension-aware earliest-deadline-first scheduling analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39(11):4205-4216, 2020. URL: https://doi.org/10.1109/TCAD.2020.3013095.
  27. Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, and Jian-Jia Chen. EDF-like scheduling for self-suspending real-time tasks. In IEEE Real-Time Systems Symposium, (RTSS), pages 172-184, 2022. URL: https://doi.org/10.1109/RTSS55097.2022.00024.
  28. Wen-Hung Huang and Jian-Jia Chen. Self-suspension real-time tasks under fixed-relative-deadline fixed-priority scheduling. In Design, Automation, and Test in Europe (DATE), pages 1078-1083, 2016. Google Scholar
  29. Wen-Hung Huang, Jian-Jia Chen, Husheng Zhou, and Cong Liu. PASS: Priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling. In Proceedings of the 52nd Annual Design Automation Conference (DAC), pages 154:1-154:6, 2015. URL: https://doi.org/10.1145/2744769.2744891.
  30. Wen-Hung Huang, Maolin Yang, and Jian-Jia Chen. Resource-oriented partitioned scheduling in multiprocessor systems: How to partition and how to share? In Real-Time Systems Symposium (RTSS), pages 111-122, 2016. Google Scholar
  31. M. Joseph and P. Pandya. Finding Response Times in a Real-Time System. The Computer Journal, 29(5):390-395, May 1986. URL: https://doi.org/10.1093/comjnl/29.5.390.
  32. In-Guk Kim, Kyung-Hee Choi, Seung-Kyu Park, Dong-Yoon Kim, and Man-Pyo Hong. Real-time scheduling of tasks that contain the external blocking intervals. In RTCSA, pages 54-59, 1995. URL: https://doi.org/10.1109/RTCSA.1995.528751.
  33. Junsung Kim, Björn Andersson, Dionisio de Niz, Jian-Jia Chen, Wen-Hung Huang, and Geoffrey Nelissen. Segment-fixed priority scheduling for self-suspending real-time tasks. Technical Report CMU/SEI-2016-TR-002, CMU/SEI, 2016. Google Scholar
  34. 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
  35. K. Lakshmanan and R. Rajkumar. Scheduling self-suspending real-time tasks with rate-monotonic priorities. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 3-12, 2010. Google Scholar
  36. Karthik Lakshmanan, Dionisio de Niz, and Ragunathan Rajkumar. Coordinated task scheduling, allocation and synchronization on multiprocessors. In Real-Time Systems Symposium (RTSS), pages 469-478, 2009. URL: https://doi.org/10.1109/RTSS.2009.51.
  37. John P. Lehoczky, Lui Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium'89, pages 166-171, 1989. URL: https://doi.org/10.1109/REAL.1989.63567.
  38. Cong Liu and James H. Anderson. Suspension-aware analysis for hard real-time multiprocessor scheduling. In 25th Euromicro Conference on Real-Time Systems, ECRTS, pages 271-281, 2013. Google Scholar
  39. Cong Liu and Jian-Jia Chen. Bursty-interference analysis techniques for analyzing complex real-time task models. In Real-Time Systems Symposium (RTSS), pages 173-183, 2014. Google Scholar
  40. Jane W. S. Liu. Real-Time Systems. Prentice Hall PTR, 1st edition, 2000. Google Scholar
  41. Wei Liu, Jian-Jia Chen, Anas Toma, Tei-Wei Kuo, and Qingxu Deng. Computation offloading by using timing unreliable components in real-time systems. In Design Automation Conference (DAC), volume 39:1 - 39:6, 2014. URL: https://doi.org/10.1145/2593069.2593109.
  42. Li Ming. Scheduling of the inter-dependent messages in real-time communication. In Proc. of the First International Workshop on Real-Time Computing Systems and Applications, 1994. Google Scholar
  43. Geoffrey Nelissen, José Fonseca, Gurulingesh Raravi, and Vincent Nélis. Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks. In Euromicro Conference on Real-Time Systems (ECRTS), pages 80-89, 2015. Google Scholar
  44. Bo Peng and Nathan Fisher. Parameter adaption for generalized multiframe tasks and applications to self-suspending tasks. In 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pages 49-58. IEEE Computer Society, 2016. URL: https://doi.org/10.1109/RTCSA.2016.15.
  45. R. Rajkumar. Dealing with Suspending Periodic Tasks. Technical report, IBM T. J. Watson Research Center, 1991. URL: http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/period-enforcer.ps.
  46. Ragunathan Rajkumar, Lui Sha, and John P. Lehoczky. Real-time synchronization protocols for multiprocessors. In Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), pages 259-269, 1988. Google Scholar
  47. Lea Schönberger, Wen-Hung Huang, Georg von der Brüggen, Kuan-Hsun Chen, and Jian-Jia Chen. Schedulability analysis and priority assignment for segmented self-suspending tasks. In 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pages 157-167, 2018. URL: https://doi.org/10.1109/RTCSA.2018.00027.
  48. Ken Tindell, Alan Burns, and Andy J. Wellings. An extendible approach for analyzing fixed priority hard real-time tasks. Real Time Syst., 6(2):133-151, 1994. URL: https://doi.org/10.1007/BF01088593.
  49. Niklas Ueter, Mario Günzel, Georg von der Brüggen, and Jian-Jia Chen. Hard real-time stationary gang-scheduling. In 33rd Euromicro Conference on Real-Time Systems, ECRTS, pages 10:1-10:19, 2021. URL: https://doi.org/10.4230/LIPIcs.ECRTS.2021.10.
  50. Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, and Jan Reineke. On the trade-offs between generalization and specialization in real-time systems. In 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pages 148-159, 2022. URL: https://doi.org/10.1109/RTCSA55878.2022.00022.
  51. Georg von der Brüggen, Wen-Hung Huang, and Jian-Jia Chen. Hybrid self-suspension models in real-time embedded systems. In International Conference on Real-Time Computing Systems and Applications (RTCSA), 2017. Google Scholar
  52. Beyazit Yalcinkaya, Mitra Nasri, and Björn B. Brandenburg. An exact schedulability test for non-preemptive self-suspending real-time tasks. In Design, Automation & Test in Europe Conference & Exhibition, DATE, pages 1228-1233, 2019. URL: https://doi.org/10.23919/DATE.2019.8715111.