Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2019

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

Résumé

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

Dates et versions

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

Identifiants

  • HAL Id : hal-02425501 , version 1

Citer

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⟩
141 Consultations
232 Téléchargements

Partager

Gmail Facebook X LinkedIn More