A framework for multi-core schedulability analysis accounting for resource stress and sensitivity

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 an...

Full description

Saved in:
Bibliographic Details
Published in:Real-time systems 2022-12, Vol.58 (4), p.456-508
Main Authors: Davis, Robert I., Griffin, David, Bate, Iain
Format: Article
Language:English
Subjects:
Case studies
Communications Engineering
Computer Science
Computer Systems Organization and Communication Networks
Context
Control
Estimates
Mechatronics
Networks
Performance and Reliability
Preempting
Priority scheduling
Response time
Robotics
Scheduling
Simulated annealing
Special Purpose and Application-Based Systems
Verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0922-6443
1573-1383
DOI:10.1007/s11241-022-09377-8