Optimisation de l'estimation du WCET par analyse inter-tâche du cache d'intructions

par Fadia Nemer

Thèse de doctorat en Informatique

Sous la direction de Jean-Paul Bahsoun et de Hugues Cassé.

Soutenue en 2008

à Toulouse 3 .

  • Titre traduit

    Improving the WCET accuracy by inter-task instruction cache analysis


  • Pas de résumé disponible.


  • Résumé

    Le concepteur d'un système temps réel strict doit être capable de prouver que les limites temporelles ne sont jamais dépassées quelle que soit la situation. Cette vérification fait appel à la théorie de l'ordonnancement. Elle requiert une connaissance du pire comportement temporel du système. Il est donc nécessaire de connaître les pires instants d'arrivées et les temps d'exécution dans le pire des cas (WCET) des tâches. Le WCET d'un programme peut être estimé en mesurant son temps d'exécution dans un environnement de test ou par analyse statique du code. Les analyses statiques ont l'avantage d'être sûres mais fournissent des estimations parfois pessimistes. Ces méthodes calculent le WCET d'une tâche isolée, ainsi elles ignorent plusieurs facteurs des systèmes temps-réel multi-tâches, essentiellement l'enchaînement des tâches. Nous proposons une approche, qui s'applique aux systèmes temps-réel stricts, multitâches. Cette méthode étudie le comportement d'un ordonnancement statique des tâches d'une application temps-réel mono-processeur, pour analyser le comportement inter- et intra-tâche de la mémoire cache. Le but est de remplacer les hypothèses conservatrices qui supposent un état vide ou indéfini du cache par un état bien défini avant l'exécution de chaque tâche de l'ordonnancement. Ainsi nous améliorerons la précision de l'estimation du WCET de ces tâches en utilisant la trace de l'exécution d’autres tâches dans le cache. Nous proposons aussi un benchmark, PapaBench, décrivant une application temps-réel complète. Il a été conçu pour constituer une base pour les expérimentations de calcul de WCET mais il peut être aussi utile pour les analyses d'ordonnancement.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (182 p.)
  • Annexes : Bibliogr. p. 177-182

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2008TOU30011
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.