research-article

Open access

Efficient Schedulability Analysis of Semi-Clairvoyant Sporadic Task Systems With Graceful Degradation

Authors:

Akanksha Chaudhari,

Sanjoy BaruahAuthors Info & Claims

RTNS '22: Proceedings of the 30th International Conference on Real-Time Networks and Systems

Pages 116 - 126

https://doi.org/10.1145/3534879.3534881

Published: 07 June 2022 Publication History

All formats PDF

Abstract

Vestal proposed an abstract model for mixed-criticality workloads in which each job is characterized by multiple different estimates of its actual, but unknown, worst-case execution time (WCET). While this model helped establish the study of mixed-criticality systems, it has received criticism for incorporating some unrealistic assumptions. In response, recent works have introduced an alternative “semi-clairvoyant” model in which each job reveals upon arrival which of its WCET parameters it will respect. Such models are practically realizable and demonstrate a significant improvement over conventionally considered models in terms of speedup factor and schedulability. More recently, several different interpretations of graceful degradation have been considered in the context of semi-clairvoyant scheduling. Under one of these, Earliest Deadline First (EDF) scheduling has been shown to be optimal and associated exact schedulability tests have been derived. This work proposes Mixed-Criticality Quick Processor-demand Analysis (MC-QPA), an efficient and exact schedulability test for EDF-based semi-clairvoyant scheduling of sporadic task systems, and formally establishes its correctness. The effectiveness of MC-QPA over prior approaches in terms of the test running times is demonstrated via simulation experiments.

References

[1]

Kunal Agrawal, Sanjoy Baruah, and Alan Burns. 2019. Semi-Clairvoyance in Mixed-Criticality Scheduling. In 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA, USA, 458–468. https://doi.org/10.1109/RTSS46320.2019.00047

[2]

Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D’Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow, and Leen Stougie. 2012. Scheduling Real-Time Mixed-Criticality Jobs. IEEE Trans. Comput. 61, 8 (2012), 1140–1152. https://doi.org/10.1109/TC.2011.142

Digital Library

[3]

Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D’angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne Van Der Ster, and Leen Stougie. 2015. Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems. J. ACM 62, 2, Article 14 (May 2015), 33 pages. https://doi.org/10.1145/2699435

Digital Library

[4]

Sanjoy Baruah and Alan Burns. 2006. Sustainable Scheduling Analysis. In Proceedings of the 27th IEEE International Real-Time Systems Symposium(RTSS ’06). IEEE Computer Society, USA, 159–168. https://doi.org/10.1109/RTSS.2006.47

Digital Library

[5]

Sanjoy Baruah and Alan Burns. 2011. Implementing Mixed Criticality Systems in Ada. In Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies (Edinburgh, UK) (Ada-Europe’11). Springer-Verlag, Berlin, Heidelberg, 174–188.

Digital Library

[6]

Sanjoy Baruah, Alan Burns, and Rob I. Davis. 2011. Response-Time Analysis for Mixed Criticality Systems. In 2011 IEEE 32nd Real-Time Systems Symposium (RTSS 2011). IEEE Computer Society, Los Alamitos, CA, USA, 34–43. https://doi.org/10.1109/RTSS.2011.12

Digital Library

[7]

Sanjoy Baruah and Pontus Ekberg. 2021. Graceful Degradation in Semi-Clairvoyant Scheduling. In 33rd Euromicro Conference on Real-Time Systems, ECRTS 2021, July 5-9, 2021, Virtual Conference, Vol. 196. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 9:1–9:21. https://doi.org/10.4230/LIPIcs.ECRTS.2021.9

[8]

Sanjoy Baruah, Haohan Li, and Leen Stougie. 2010. Towards the Design of Certifiable Mixed-Criticality Systems. In 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS ’10). IEEE Computer Society, USA, 13–22. https://doi.org/10.1109/RTAS.2010.10

Digital Library

[9]

S.K. Baruah, A.K. Mok, and L.E. Rosier. 1990. Preemptively scheduling hard-real-time sporadic tasks on one processor. In [1990] Proceedings 11th Real-Time Systems Symposium. IEEE, Lake Buena Vista, FL, USA, 182–190. https://doi.org/10.1109/REAL.1990.128746

[10]

Enrico Bini and Giorgio C. Buttazzo. 2005. Measuring the Performance of Schedulability Tests. Real-Time Systems 30, 1–2 (May 2005), 129–154. https://doi.org/10.1007/s11241-005-0507-9

Digital Library

[11]

Alan Burns and Sanjoy Baruah. 2011. Timing Faults and Mixed Criticality Systems. Springer-Verlag, Berlin, Heidelberg, 147–166.

[12]

Alan Burns and Robert I. Davis. 2020. Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. In 2020 IEEE Real-Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA, USA, 12–24. https://doi.org/10.1109/RTSS49844.2020.00013

[13]

P. Emberson, R. Stafford, and R.I. Davis. 2010. Techniques For The Synthesis Of Multiprocessor Tasksets. WATERS’10 (January 2010), 6 – 11.

[14]

Zhe Jiang, Kecheng Yang, Nathan Fisher, Neil Audsley, and Zheng Dong. 2020. Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems. In 2020 IEEE Real-Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA, USA, 38–50. https://doi.org/10.1109/RTSS49844.2020.00015

[15]

J. Lee, K. Phan, X. Gu, J. Lee, A. Easwaran, I. Shin, and I. Lee. 2014. MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. In 2014 IEEE Real-Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA, USA, 41–52. https://doi.org/10.1109/RTSS.2014.32

[16]

C. L. Liu and James W. Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20, 1 (1973), 46–61. https://doi.org/10.1145/321738.321743

Digital Library

[17]

Vlad Rădulescu, Ştefan Andrei, and Albert M.K. Cheng. 2021. Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems. In 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, Houston, TX, USA, 198–200. https://doi.org/10.1109/RTCSA52859.2021.00031

[18]

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga. 2013. Mixed Critical Earliest Deadline First. In 2013 25th Euromicro Conference on Real-Time Systems (ECRTS). IEEE Computer Society, Los Alamitos, CA, USA, 93–102. https://doi.org/10.1109/ECRTS.2013.20

Digital Library

[19]

Steve Vestal. 2007. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. In Proceedings of the Real-Time Systems Symposium. IEEE Computer Society Press, Tucson, AZ, 239–243. https://doi.org/10.1109/RTSS.2007.47

[20]

Fengxiang Zhang and Alan Burns. 2009. Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. In 2009 21st Euromicro Conference on Real-Time Systems (ECRTS). IEEE Computer Society, Los Alamitos, CA, USA, 76–86. https://doi.org/10.1109/ECRTS.2009.20

Digital Library

[21]

Fengxiang Zhang and Alan Burns. 2009. Schedulability Analysis for Real-Time Systems with EDF Scheduling. IEEE Trans. Comput. 58, 09 (September 2009), 1250–1258. https://doi.org/10.1109/TC.2009.58

Digital Library

[22]

Qingling Zhao, Zonghua Gu, Haibo Zeng, and Nenggan Zheng. 2018. Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. Journal of Systems Architecture 83 (2018), 57–74. https://doi.org/10.1016/j.sysarc.2017.03.007

[23]

Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang, and Haibo Zeng. 2022. Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. Journal of Systems Architecture 124 (2022), 102383. https://doi.org/10.1016/j.sysarc.2021.102383

Digital Library

Cited By

Zhang YOuyang C(2025)Semi-clairvoyant scheduling in non-preemptive fixed-priority mixed-criticality systemsJournal of Systems Architecture10.1016/j.sysarc.2025.103332(103332)Online publication date: Jan-2025
https://doi.org/10.1016/j.sysarc.2025.103332
Zhang YZheng HGu Z(2024)Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful DegradationACM Transactions on Embedded Computing Systems10.1145/363274923:1(1-20)Online publication date: 10-Jan-2024
https://dl.acm.org/doi/10.1145/3632749
Zhang YZheng H(2024)Energy-aware reliability guarantee scheduling with semi-clairvoyant in mixed-criticality systemsJournal of Systems Architecture10.1016/j.sysarc.2024.103269156(103269)Online publication date: Nov-2024
https://doi.org/10.1016/j.sysarc.2024.103269
Show More Cited By

Recommendations

Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation
The classic Mixed-Criticality System (MCS) task model is a non-clairvoyance model in which the change of the system behavior is based on the completion of high-criticality tasks while dropping low-criticality tasks in high-criticality mode. In this paper, ...
A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors

Fixed-task-priority (FTP) scheduling and earliest-deadline-first (EDF) scheduling policies are alike in fixing the priority of each job of a task at the time the job is released. This common feature of FTP and EDF scheduling permits a unified analysis ...
An analysis of global edf schedulability for arbitrary-deadline sporadic task systems

Recent results on the global multiprocessor edf scheduling of sporadic task systems are, for the most part, applicable only to task systems in which each task's relative deadline parameter is constrained to be no larger than its minimum inter-arrival ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '22: Proceedings of the 30th International Conference on Real-Time Networks and Systems

June 2022

241 pages

ISBN:9781450396509

DOI:10.1145/3534879

Editors:
Yasmina Abdeddaïm
Université Gustave Eiffel, LIGM, CNRS, France
,
Liliana Cucu-Grosjean
Inria Paris, France
,
Geoffrey Nelissen
Eindhoven University of Technology, Netherlands
,
Laurent Pautet
Télycom Paris, France

Copyright © 2022 Owner/Author.

This work is licensed under a Creative Commons Attribution International 4.0 License.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 June 2022

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

RTNS 2022

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

June 7 - 8, 2022

Paris, France

Acceptance Rates

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
315
Total Downloads

Downloads (Last 12 months)110
Downloads (Last 6 weeks)12

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhang YOuyang C(2025)Semi-clairvoyant scheduling in non-preemptive fixed-priority mixed-criticality systemsJournal of Systems Architecture10.1016/j.sysarc.2025.103332(103332)Online publication date: Jan-2025
https://doi.org/10.1016/j.sysarc.2025.103332
Zhang YZheng HGu Z(2024)Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful DegradationACM Transactions on Embedded Computing Systems10.1145/363274923:1(1-20)Online publication date: 10-Jan-2024
https://dl.acm.org/doi/10.1145/3632749
Zhang YZheng H(2024)Energy-aware reliability guarantee scheduling with semi-clairvoyant in mixed-criticality systemsJournal of Systems Architecture10.1016/j.sysarc.2024.103269156(103269)Online publication date: Nov-2024
https://doi.org/10.1016/j.sysarc.2024.103269
Zhang YZheng H(2024)Energy-aware fault-tolerant scheduling for imprecise mixed-criticality systems with semi-clairvoyanceJournal of Systems Architecture10.1016/j.sysarc.2024.103141151(103141)Online publication date: Jun-2024
https://doi.org/10.1016/j.sysarc.2024.103141
Zhang YZheng HGu Z(2023)EDF-Based Energy-Efficient Semi-Clairvoyant Scheduling With Graceful DegradationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.332197043:2(468-479)Online publication date: 3-Oct-2023
https://dl.acm.org/doi/10.1109/TCAD.2023.3321970

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents