Towards Predictable Execution of Safety-Critical Tasks on Mixed-Criticality Multi-Core Platforms | Consortium for Embedded Systems | SIU

Abstract: Multi-core architectures are a natural choice for integrating multiple, potentially  independent, functionalities into a single node in a cost- and space-effective manner for practical real-time/embedded systems. However, for systems with multiple levels of criticality, transporting highly safety-sensitive (HSS) applications (such as those for avionics systems with Design Assurance Level (DAL) of grade from DAL-C to DAL-A) onto a multi-core platform and sharing the benefits of the new computing environment with other less safety-sensitive (LSS) applications, which have lower assurance levels but may be computation-intensive, presents challenging problems in ensuring predictability/determinism of the HSS applications while still maintaining acceptable Quality of Service (QoS) for the LSS applications. The dominant approach towards isolating HSS and LSS tasks is the use of a virtualization environment (hypervisor) on top of the underlying multi-core platform. In prior work, extensive experimentation was conducted on the Freescale P4080 platform to characterize the behavior of HSS tasks in the presence of LSS tasks when executing them on different, statically derived partitions residing on separate cores. The goals of the proposed project are to apply the results of this characterization to end-use scenarios and to develop policies to exploit hardware mechanisms such as cache locking, cache partitioning and message passing among partitions to maintain determinism of HSS applications under regular and overload situations while maintaining QoS for the LSS applications.

Problem: Deterministic execution of HSS tasks in the presence of LSS tasks and other HSS tasks is challenging. The goal of this project is to develop policies to maintain responsiveness of HSS applications under regular and overload situations.

Rationale / Approach: The PIs propose to employ the following approach to achieve the goals of the proposed project:1) Cache locking and partitioning have been touted as effective techniques to improve the predictability of HSS tasks and policies for the same have been proposed. The PIs propose to identify suitable policies, as applied to end-use scenarios, based on the workload characterization that has been conducted in prior work. 2) Hypervisors typically allow configuration of one partition as a manager, giving this partition rights to pause and resume other partitions. The PIs propose to explore the use of such a manager partition to dynamically control the resource usage of LSS tasks under overload or unexpected situations in an effort to maintain deterministic execution of HSS tasks. The PIs propose to employ a Freescale P4080 multi-core platform for the purpose of this study and use a mix of HSS and LSS tasks created using benchmark suites such as the MRTC WCET and EEMBC benchmarks (LMBench, CoreMark, perf_measure (RCI)).

Novelty: While cache locking, partitioning and partition management mechanisms are not new concepts, there is nostudy/research applying these in a safe manner to mixed-criticality workloads executing in virtualized environments on multi-core architectures.

Potential Member Company Benefits: The results of the proposed project will provide the basis for safe execution of mixed-criticality workloads on multi-core architectures with support for virtualization.

Deliverables for the proposed year: 1) A report of cache locking and partitioning policies suitable for given end-use scenarios on the Freescale P4080 platform. 2) A report on the configuration and deployment of manager partitions and characterization of the behavior of HSS and LSS tasks under the use of dynamic resource management. 3) Modified hypervisor and operating system source code, if any.

Milestones for the proposed year: Q1: Exploration of existing research in the area of cache locking and partitioning. Q2: Workload characterization and end-use scenario analysis under cache locking and partitioning schemes. Q3: a) exploration of mechanisms to create and configure manager partitions; b) development of strategies for dynamicresource management using manager partitions.