Rare events and worst-case execution times

Cristian Maxim 1, 2 Liliana Cucu-Grosjean 1 Benoit Triquet 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : During the last years the arrival of multi-core processors or many-core processors as well as the increased complexity of programs have made more difficult the estimation of the worst case execution times (WCETs) of programs. The existing methods may produce estimates that are too pessimistic for some systems. As result new analyses based on probabilities and statistics have appeared to cope with this complexity by taking into account the fact that large values of WCET may have low probability of appearance. The first paper introducing probabilistic distributions for the description of execution times of tasks had associated to large values of execution times low probabilities [7] as illustrated in Figure 1. Different papers propose since methods to obtain such distributions. In [3] the authors provide a framework for obtaining the probabilistic execution times (pETs) of a program. Another method for estimating a pWCET bound in the presence of permanent faults in instruction caches was introduced in [6]. Papers like [4, 9] propose the estimation of pWCET using extreme value theory. Such theory is applied in [2] to platforms with randomized timing behavior and an associated avionics case study is presented in [8]. Only for this type of architecture, to our best knowledge, it is provided a proof that a large value of an execution time of a program is a rare event [1]. Figure 1: Distribution of execution times 2 Open Problem In practice, it is noticeable that the higher the measured execution time is, the smaller its probability of occurrence is. In reality, the WCET is not easy to measure, and the analysis tools can either overestimate the WCET (static analysis), or underestimate it (taking in consideration only measurements), or predict it with a certain probability of occurrence (measurement-based probabilistic timing analyses). Figure 2 shows a description of the currently common accepted relation between observed execution times, WCET, etc [5]. As stated in the introduction associating low probability of appearance to large values of pETs was proved valid in the context of cache randomized architectures. One would expect to have higher probability of appearance for large values of pETs on existing real-world deterministic architectures (from which the 1
Type de document :
Communication dans un congrès
5th Real-Time Scheduling Open Problems Seminar(RTSOPS 2014), Jul 2014, Madrid, Spain. 2014
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01298734
Contributeur : Cristian Maxim <>
Soumis le : mercredi 6 avril 2016 - 15:30:53
Dernière modification le : jeudi 7 avril 2016 - 01:06:18
Document(s) archivé(s) le : jeudi 7 juillet 2016 - 16:42:24

Fichier

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

Identifiants

  • HAL Id : hal-01298734, version 1

Collections

Citation

Cristian Maxim, Liliana Cucu-Grosjean, Benoit Triquet. Rare events and worst-case execution times. 5th Real-Time Scheduling Open Problems Seminar(RTSOPS 2014), Jul 2014, Madrid, Spain. 2014. <hal-01298734>

Partager

Métriques

Consultations de
la notice

215

Téléchargements du document

49