Login

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, 2017

Abstract:
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.

Authors:
Muhammad Ali Awan
,
Konstantinos Bletsas
,
Pedro Souto
,
Benny Åkesson
,
Eduardo Tovar


Accepted in 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), Main track.
Dubrovnik, Croatia.



Record Date: 1, Feb, 2017