Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2021.7
URN: urn:nbn:de:0030-drops-139388
URL: https://drops.dagstuhl.de/opus/volltexte/2021/13938/
Davis, Robert I. ; Griffin, David ; Bate, Iain
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity
| pdf-format: |
|
Abstract
Timing verification of multi-core systems is complicated by contention for shared hardware resources between co-running tasks on different cores. This paper introduces the Multi-core Resource Stress and Sensitivity (MRSS) task model that characterizes how much stress each task places on resources and how much it is sensitive to such resource stress. This model facilitates a separation of concerns, thus retaining the advantages of the traditional two-step approach to timing verification (i.e. timing analysis followed by schedulability analysis). Response time analysis is derived for the MRSS task model, providing efficient context-dependent and context independent schedulability tests for both fixed priority preemptive and fixed priority non-preemptive scheduling. Dominance relations are derived between the tests, and proofs of optimal priority assignment provided. The MRSS task model is underpinned by a proof-of-concept industrial case study.
BibTeX - Entry
@InProceedings{davis_et_al:LIPIcs.ECRTS.2021.7,
author = {Davis, Robert I. and Griffin, David and Bate, Iain},
title = {{Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity}},
booktitle = {33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)},
pages = {7:1--7:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-192-4},
ISSN = {1868-8969},
year = {2021},
volume = {196},
editor = {Brandenburg, Bj\"{o}rn B.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/13938},
URN = {urn:nbn:de:0030-drops-139388},
doi = {10.4230/LIPIcs.ECRTS.2021.7},
annote = {Keywords: real-time, multi-core, scheduling, schedulability analysis, cross-core contention, resource stress, resource sensitivity}
}
| Keywords: | real-time, multi-core, scheduling, schedulability analysis, cross-core contention, resource stress, resource sensitivity | |
| Seminar: | 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) | |
| Issue date: | 2021 | |
| Date of publication: | 30.06.2021 |
