Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache
Ref: CISTER-TR-170202 Publication Date: 27 to 30, Jun, 2017
Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache
Ref: CISTER-TR-170202 Publication Date: 27 to 30, Jun, 2017Abstract:
The design of mixed-criticality systems often involves
painful tradeoffs between safety guarantees and performance.
However, the use of more detailed architectural models
in the design and analysis of scheduling arrangements for mixedcriticality
systems can provide greater confidence in the analysis,
but also opportunities for better performance. Motivated by this
view, we propose an extension of Vestal’s model for mixedcriticality
multicore systems that (i) accounts for the per-task
partitioning of the last-level cache and (ii) supports the dynamic
reassignment, for better schedulability, of cache portions initially
reserved for lower-criticality tasks to the higher-criticality
tasks, when the system switches to high-criticality mode. To
this model, we apply partitioned EDF scheduling with Ekberg
and Yi’s deadline-scaling technique. Our schedulability analysis
and scalefactor calculation is cognisant of the cache resources
assigned to each task, by using WCET estimates that take into
account these resources. It is hence able to leverage the dynamic
reconfiguration of the cache partitioning, at mode change, for
better performance, in terms of provable schedulability. We also
propose heuristics for partitioning the cache in low- and highcriticality
mode, that promote schedulability. Our experiments
with synthetic task sets, indicate tangible improvements in
schedulability compared to a baseline cache-aware arrangement
where there is no redistribution of cache resources from low- to
high-criticality tasks in the event of a mode change.
Events:
Document:
29th Euromicro Conference on Real-Time Systems (ECRTS 2017), Main track, pp 18:1-18:21.
Dubrovnik, Croatia.
DOI:10.4230/LIPIcs.ECRTS.2017.18.
ISBN: 978-3-95977-037-8.
ISSN: 1868-8969.
Record Date: 1, Feb, 2017