Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
148 Consultations
122 Téléchargements

Altmetric

Partager

More