Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems

Sophie Quinton 1 Leonie Ahrendts 2 Rolf Ernst 2
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 IDA - Institute of Computer and Network Engineering [Braunschweig]
Abstract : Finite ready queues, implemented by buuers, are a system reality in embedded real-time computing systems and networks. The dimen-sioning of queues is subject to constraints in industrial practice, and often the queue capacity is suucient for typical system behavior but is not suucient in peak overload conditions. This may lead to overrow and consequently to the discarding of jobs. In this paper, we explore whether nite queue capacity can also be used as a mean of design in order to reduce workload peaks and thus shorten a transient overload phase. We present an analysis method which is to the best of our knowledge the rst one able to give (a) worst-case response times guarantees as well as (b) weakly-hard guarantees for tasks which are executed on a computing system with nite queues. Experimental results show that nite queue capacity may only a have weak overload limiting eeect. This unexpected outcome can be explained by the system behavior in the worst-case corner cases. The analysis shows nevertheless that a trade-oo between weakly-hard guarantees and queue sizes is possible.
Keywords : Real-Time Systems Weakly-Hard Real-Time Guarantees Limited Queue Capacity
Type de document :
Communication dans un congrès
RTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. ACM, RTNS '17 Proceedings of the 25th International Conference on Real-Time Networks and Systems pp.88-97, 2017, 〈http://www.rtns17.org/#page=home〉. 〈10.1145/3139258.3139259〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01674737
Contributeur : Sophie Quinton <>
Soumis le : mercredi 3 janvier 2018 - 15:14:59
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : jeudi 3 mai 2018 - 04:17:28

Fichier

rtns17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | INRIA2017 | LIG_SRCPR | LIG-MFML-SPADES | LIG | UGA

Citation

Sophie Quinton, Leonie Ahrendts, Rolf Ernst. Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems. RTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. ACM, RTNS '17 Proceedings of the 25th International Conference on Real-Time Networks and Systems pp.88-97, 2017, 〈http://www.rtns17.org/#page=home〉. 〈10.1145/3139258.3139259〉. 〈hal-01674737〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

175

Téléchargements de fichiers

84

Contact


archive-ouverte@inria.fr