Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Systems Architecture Année : 2021

Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform

(1, 2) , (1, 2) , (1, 3) , (1, 2)
1
2
3

Résumé

The use of hardware caches became essential in modern embedded systems to address the speed gap between processor and memory. In such systems, cache-related preemption delay (CRPD) may represent a significant proportion of task execution time. Addressing this delay in scheduling simulation of these systems stays an open and under-examined problem. Assumptions are often made to simplify the computation model used in simulation and capture the worst-case effect. Nevertheless, they can introduce situations in which scheduling simulation is considered not only pessimistic but also non-sustainable. In this article, we discuss the problem and propose a less pessimistic CRPD computation model that allows sustainable scheduling simulation regarding the capacity parameter. With the proposed model, a system that is schedulable with simulated worst-case execution times remains so when these parameters are reduced. These results improve the applicability of scheduling simulation in the early verification stage for systems with caches. Experiments conducted with our CRPD computation model show a 5% to 12% improvement of schedulability task set coverage and a 30% to 50% reduction of preemption cost with regard to existing CRPD computation models. An integration in a scheduling simulator and a performance evaluation are also realized for the proposed model.
Fichier principal
Vignette du fichier
jsa_final_draft-1.pdf (581.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-03152032 , version 1 (26-02-2021)

Identifiants

Citer

Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff. Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform. Journal of Systems Architecture, 2021, 115, pp.102007. ⟨10.1016/j.sysarc.2021.102007⟩. ⟨hal-03152032⟩
117 Consultations
71 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More