Mixed Criticality Systems with Varying Context Switch Costs

Research output: Contribution to conferencePaper

Standard

Mixed Criticality Systems with Varying Context Switch Costs. / Davis, Robert Ian; Altmeyer, Sebastian; Burns, Alan.

2018. Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, .

Research output: Contribution to conferencePaper

Harvard

Davis, RI, Altmeyer, S & Burns, A 2018, 'Mixed Criticality Systems with Varying Context Switch Costs', Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, 11/04/18 - 13/04/18.

APA

Davis, R. I., Altmeyer, S., & Burns, A. (2018). Mixed Criticality Systems with Varying Context Switch Costs. Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, .

Vancouver

Davis RI, Altmeyer S, Burns A. Mixed Criticality Systems with Varying Context Switch Costs. 2018. Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, .

Author

Davis, Robert Ian ; Altmeyer, Sebastian ; Burns, Alan. / Mixed Criticality Systems with Varying Context Switch Costs. Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, .12 p.

Bibtex - Download

@conference{da4f8e5889d24d61843600332c8a86dd,
title = "Mixed Criticality Systems with Varying Context Switch Costs",
abstract = "In mixed criticality systems, it is vital to ensurethat there is sufficient separation between tasks of LO- andHI-criticality applications, so that the behavior or mis-behaviorof the former cannot affect the functional or timing correctnessof the latter. To ensure appropriate spatial isolation, thememory address spaces and cache use by LO- and HI-criticalitytasks must be distinct. A consequence of this separation is thatthe cost of switching between tasks of the same criticality canbe small, whereas the cost of context switching between tasksof different criticality levels can be much larger. In this paper,we focus on integrating the differing context switch costs intofixed priority preemptive scheduling, and the two mixedcriticality scheduling schemes based on it: SMC and AMC. Wederive simple, refined, and multi-set analyses for each scheme.Further, we show that the refined and multi-set analyses arenot compatible with Audsley{\textquoteright}s Optimal Priority Assignmentalgorithm, we therefore propose a heuristic priority assignmentpolicy aimed at reducing the number of high cost contextswitches. Our evaluation is grounded in measurements ofcontext switch times (save and restore costs) from a prototypeimplementation of an explicitly managed cache on an FPGA.The evaluation shows the effectiveness of the derived analysesand the proposed priority assignment policy.",
keywords = "real time, schedulability analysis, mixed criticality, context switch",
author = "Davis, {Robert Ian} and Sebastian Altmeyer and Alan Burns",
year = "2018",
month = apr,
day = "11",
language = "English",
note = "24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018 ; Conference date: 11-04-2018 Through 13-04-2018",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - Mixed Criticality Systems with Varying Context Switch Costs

AU - Davis, Robert Ian

AU - Altmeyer, Sebastian

AU - Burns, Alan

PY - 2018/4/11

Y1 - 2018/4/11

N2 - In mixed criticality systems, it is vital to ensurethat there is sufficient separation between tasks of LO- andHI-criticality applications, so that the behavior or mis-behaviorof the former cannot affect the functional or timing correctnessof the latter. To ensure appropriate spatial isolation, thememory address spaces and cache use by LO- and HI-criticalitytasks must be distinct. A consequence of this separation is thatthe cost of switching between tasks of the same criticality canbe small, whereas the cost of context switching between tasksof different criticality levels can be much larger. In this paper,we focus on integrating the differing context switch costs intofixed priority preemptive scheduling, and the two mixedcriticality scheduling schemes based on it: SMC and AMC. Wederive simple, refined, and multi-set analyses for each scheme.Further, we show that the refined and multi-set analyses arenot compatible with Audsley’s Optimal Priority Assignmentalgorithm, we therefore propose a heuristic priority assignmentpolicy aimed at reducing the number of high cost contextswitches. Our evaluation is grounded in measurements ofcontext switch times (save and restore costs) from a prototypeimplementation of an explicitly managed cache on an FPGA.The evaluation shows the effectiveness of the derived analysesand the proposed priority assignment policy.

AB - In mixed criticality systems, it is vital to ensurethat there is sufficient separation between tasks of LO- andHI-criticality applications, so that the behavior or mis-behaviorof the former cannot affect the functional or timing correctnessof the latter. To ensure appropriate spatial isolation, thememory address spaces and cache use by LO- and HI-criticalitytasks must be distinct. A consequence of this separation is thatthe cost of switching between tasks of the same criticality canbe small, whereas the cost of context switching between tasksof different criticality levels can be much larger. In this paper,we focus on integrating the differing context switch costs intofixed priority preemptive scheduling, and the two mixedcriticality scheduling schemes based on it: SMC and AMC. Wederive simple, refined, and multi-set analyses for each scheme.Further, we show that the refined and multi-set analyses arenot compatible with Audsley’s Optimal Priority Assignmentalgorithm, we therefore propose a heuristic priority assignmentpolicy aimed at reducing the number of high cost contextswitches. Our evaluation is grounded in measurements ofcontext switch times (save and restore costs) from a prototypeimplementation of an explicitly managed cache on an FPGA.The evaluation shows the effectiveness of the derived analysesand the proposed priority assignment policy.

KW - real time

KW - schedulability analysis

KW - mixed criticality

KW - context switch

UR - https://www-users.cs.york.ac.uk/~robdavis/papers/RTAS2018MCSvarying.pdf

UR - https://www-users.cs.york.ac.uk/~robdavis/

M3 - Paper

T2 - 24th IEEE Real-Time and Embedded Technology and Applications Symposium

Y2 - 11 April 2018 through 13 April 2018

ER -