Response Time Analysis with Limited Carry-in ...
Type de document :
Communication dans un congrès avec actes
Titre :
Response Time Analysis with Limited Carry-in for Global Earliest Deadline First Scheduling
Auteur(s) :
Sun, Youcheng [Auteur]
Scuola Universitaria Superiore Sant'Anna = Sant'Anna School of Advanced Studies [Pisa] [SSSUP]
Lipari, Giuseppe [Auteur correspondant]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Scuola Universitaria Superiore Sant'Anna = Sant'Anna School of Advanced Studies [Pisa] [SSSUP]
Lipari, Giuseppe [Auteur correspondant]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Titre de la manifestation scientifique :
Real-Time Systems Symposium
Organisateur(s) de la manifestation scientifique :
IEEE
Ville :
Saint Antonio (TX)
Pays :
Etats-Unis d'Amérique
Date de début de la manifestation scientifique :
2015-12-01
Titre de la revue :
Proceedings of the IEEE Real-Time System Symposium
Mot(s)-clé(s) en anglais :
Real-time
Scheduling
Schedulability analysis
Multicore Processors
Scheduling
Schedulability analysis
Multicore Processors
Discipline(s) HAL :
Informatique [cs]/Systèmes embarqués
Informatique [cs]/Système d'exploitation [cs.OS]
Informatique [cs]/Système d'exploitation [cs.OS]
Résumé en anglais : [en]
We address the problem of schedulability analysis for a set of sporadic real-time tasks scheduled by the Global Earliest Deadline First (G-EDF) policy on a multiprocessor platform. State-of-the-art tests for schedula-bility ...
Lire la suite >We address the problem of schedulability analysis for a set of sporadic real-time tasks scheduled by the Global Earliest Deadline First (G-EDF) policy on a multiprocessor platform. State-of-the-art tests for schedula-bility analysis of multiprocessor global scheduling are often incomparable. That is, a task set that is judged not schedulable by a test may be verified to be schedulable by another test, and vice versa. In this paper, we first develop a new schedulability test that integrates the limited carry-in technique and Response Time Analysis (RTA) procedure for Global EDF schedulability analysis. Then, we provide an over-approximate variant of this test with better run-time efficiency. Later, we extend these two tests to self-suspending tasks. All schedulability tests proposed in the paper have provable dominance over their state-of-the-art counterparts. Finally, we conduct extensive comparisons among different schedula-bility tests. Our new tests show significant improvements for schedulabil-ity analysis of Global EDF.Lire moins >
Lire la suite >We address the problem of schedulability analysis for a set of sporadic real-time tasks scheduled by the Global Earliest Deadline First (G-EDF) policy on a multiprocessor platform. State-of-the-art tests for schedula-bility analysis of multiprocessor global scheduling are often incomparable. That is, a task set that is judged not schedulable by a test may be verified to be schedulable by another test, and vice versa. In this paper, we first develop a new schedulability test that integrates the limited carry-in technique and Response Time Analysis (RTA) procedure for Global EDF schedulability analysis. Then, we provide an over-approximate variant of this test with better run-time efficiency. Later, we extend these two tests to self-suspending tasks. All schedulability tests proposed in the paper have provable dominance over their state-of-the-art counterparts. Finally, we conduct extensive comparisons among different schedula-bility tests. Our new tests show significant improvements for schedulabil-ity analysis of Global EDF.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-01239132/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01239132/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01239132/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- paper%20%281%29.pdf
- Accès libre
- Accéder au document