Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform

Hai Nam Tran 1 Stéphane Rubini 1 Jalil Boukhobza 2 Frank Singhoff 1
1 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03152032
Contributeur : Marie Briec <>
Soumis le : vendredi 26 février 2021 - 09:56:10
Dernière modification le : mercredi 21 avril 2021 - 10:38:03

Fichier

 Accès restreint
Fichier visible le : 2021-08-26

Connectez-vous pour demander l'accès au fichier

Identifiants

Citation

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, Elsevier, 2021, 115, pp.102007. ⟨10.1016/j.sysarc.2021.102007⟩. ⟨hal-03152032⟩

Partager

Métriques

Consultations de la notice

57