Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision

Abstract

Cache Related Preemption Delay (CRPD) analysis is a methodology for bounding the cost of cache reloads due to preemptions. Many techniques have been proposed to estimate upper bounds to the CRPD for Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling. Given the complexity of the problem, existing methods make simplifying assumptions to speed up the analysis, but they also introduce large amounts of pessimism. In this paper we present two contributions for reducing the pessimism in the CRPD analysis of real-time systems that use setassociative cache memories. First, we present a new way to compute a bound on the number of preemptions on a task under EDF scheduling. Second, we propose a novel algorithm that trades off speed for precision in state-of-the-art analysis in the literature. We show improvements in the schedulability ratio on classical benchmarks in comparison with the state-of-the-art.
Fichier principal
Vignette du fichier
preempt-interval.pdf (448.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03531143 , version 1 (18-01-2022)

Identifiers

Cite

Giuseppe Lipari, Fabien Bouquillon, Smail Niar. Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision. The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. ⟨10.1145/3477314.3507027⟩. ⟨hal-03531143⟩
125 View
93 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More