Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2019

Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost

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

Abstract

Time critical embedded systems usually consist of a set of periodic data dependent real-time tasks issued from a functional specification achieved with a block diagram language. Al- though non-preemptive real-time scheduling is safer than preemptive real-time scheduling in a time critical context, preemptive real-time scheduling may provide better scheduling ratio. However, this better scheduling ratio comes with a cost related to the preemption, and a non precise determi- mation of this cost can prevent to satisfy real-time constraints. In this paper we propose an offline schedulability analysis for a set of data dependent periodic tasks which precisely accounts for the preemption and scheduler cost. This analysis produces a scheduling table that is exploited by a time triggered offline scheduler. We show that this scheduler, implemented on an ARM Cortex-M4 bare metal uniprocessor for which the preemption and scheduler cost is precisely determined, is able to schedule correctly a set of tasks that can miss some deadlines if the preemption and sched- uler cost is incorrectly determined. Therefore, such offline scheduling and scheduler approach is perfectly suited for time critical embedded systems.
Les systèmes temps réel critiques consistent en général en un ensemble de tâches périodiques avec des dépendances de données issu d’une spécification fonctionnelle réalisée à l’aide d’un langage de type schéma bloc. Bien que l’ordonnancement temps réel non préemptif soit plus sûr que l’ordonnancement temps réel préemptif dans un contexte critique, l’ordonnancement temps réel préemptif peut avoir de meilleurs taux d’ordonnancement. Cependant, cela a pour conséquence un coût associé à la préemption. Ainsi, la non prise en compte précise de ce coût peut empêcher de satisfaire les contraintes temps réel. Dans ce papier nous proposons une analyse d’ordonnançabilité pour un ensemble de tâches avec des dépendances de données qui prend en compte précisément le coût de la préemption et de l’ordonnanceur. Cette approche produit une table d’ordonnancement qui est exploitée par un ordonnanceur hors ligne déclanché par le temps. Nous montrons que cet ordonnanceur, implanté sur un monoprocesseur nu ARM Cortex-M4 pour lequel le coût de la préemption et de l’ordonnanceur est précisément déterminé, est capable d’ordonnancer correctement un ensemble de tâches dont certaines peuvent rater leur échéance si ce coût n’est pas correctement déterminé. Ainsi, cette approche hors ligne d’ordonnancement et d’ordonnanceur est parfaitement adaptée pour les systèmes temps réel critiques.
Fichier principal
Vignette du fichier
RR-9318.pdf (2.31 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02425501 , version 1 (30-12-2019)

Identifiers

  • HAL Id : hal-02425501 , version 1

Cite

Yves Sorel, Falou Ndoye, Walid Talaboulma, Mehdi Mezouak, Liliana Cucu-Grosjean. Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost. [Research Report] RR-9318, Inria Paris. 2019. ⟨hal-02425501⟩
123 View
182 Download

Share

Gmail Facebook Twitter LinkedIn More