Real-Time Scheduling: Non-Preemption, Critical Sections and Round Robin

Abstract : The main property of a (hard) real-time system is feasibility. It is the guarantee that tasks do always meet their deadlines, when the system is running under a given scheduling policy. An optimal policy produces a feasible schedule whenever a feasible schedule exists. It is therefore the most appropriate choice if feasibility is the only matter of concern. However, if a set of tasks is feasible under several policies, it is possible to impose additional constraints, which improve in a certain way the quality of a system. A refined choice is only possible if feasibility tests or, more broadly, timing analysis is available for other policies than the optimal ones. In this document we derive timing analysis for policies obtained by combining known policies in hierarchical layers. These layered priorities are motivated by the Posix 1003.1c standard, which allows such a combination of Fixed Preemptive Priorities and the Round Robin scheduling policy. In this context we extend the trajectory based model developed in [8] for systems scheduled under real-time constraints to account for non-preemptive resources and the associated priority ceiling protocol. Furthermore, timing analysis of the Round Robin policy is derived.
Type de document :
Rapport
RR-3678, INRIA. 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00072994
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:32:15
Dernière modification le : samedi 27 janvier 2018 - 01:31:23
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:30:41

Fichiers

Identifiants

  • HAL Id : inria-00072994, version 1

Collections

Citation

Jörn Martin Migge, Alain Jean-Marie. Real-Time Scheduling: Non-Preemption, Critical Sections and Round Robin. RR-3678, INRIA. 1999. 〈inria-00072994〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

2575