Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity. Real-Time Systems. ISSN 1573-1383
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, along with complexity results, and proofs of optimal priority assignment policies. The MRSS task model is underpinned by a proof-of-concept industrial case study. The problem of task allocation is considered in the context of the MRSS task model, with Simulated Annealing shown to provide an effective solution.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Keywords: | real-time,multi-core,schedulability analysis,interference,cross-core contention |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number INNOVATE UK 113213/SUP-00007484 EPSRC EP/N023641/1 EPSRC EP/V006029/1 |
Depositing User: | Pure (York) |
Date Deposited: | 16 Feb 2022 11:10 |
Last Modified: | 01 Nov 2024 01:23 |
Published Version: | https://doi.org/10.1007/s11241-022-09377-8 |
Status: | Published online |
Refereed: | Yes |
Identification Number: | 10.1007/s11241-022-09377-8 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:183684 |
Downloads
Filename: MultiCoreAnalysisRTS2022.pdf
Description: MultiCoreAnalysisRTS2022
Filename: Davis2022_Article_AFrameworkForMulti_coreSchedul.pdf
Description: Davis2022_Article_AFrameworkForMulti-coreSchedul
Licence: CC-BY 2.5