Work

Multi-core interference over-estimation reduction by static scheduling of multi-phase tasks

Year: 2024

Type: article

Abstract: Interference between tasks running on separate cores in multi-core processors is a major challenge to predictability for real-time systems, and a source of over-estimation of worst-case execution duration bounds. This paper investigates how the multi-phase task model can be used together with static scheduling algorithms to improve the precision of the interference analysis. The paper focuses on single-period task systems (or multi-periodic systems that can be expanded over an hyperperiod). In particular, we propose an Integer Linear Programming (ILP) formulation of a generic scheduling problem as well as 3 heuristics that we evaluate on synthetic benchmarks and on 2 realistic applications. We observe that, compared to the classical 1-phase model, the multi-phase model allows to reduce the effect of interference on the worst-case makespan of the system by around 9% on average using the ILP on small systems, and up to 24% on our larger case studies. These results pave the way for future heuristics and for the adoption of the multi-phase model in multi-core context.

Source: Real-Time Systems

DOI: 10.1007/s11241-024-09427-3

Authors: Rémi Meunier, Thomas Carle, Thierry Monteil

Institutions: Institut National des Sciences Appliquées de Toulouse, Institut de Recherche en Informatique de Toulouse, Université Toulouse III - Paul Sabatier

Language: English

Topic: Real-Time Systems Scheduling

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,790

Funders: Agence Nationale de la Recherche, Centre National de la Recherche Scientifique, Université Toulouse III - Paul Sabatier