LogoLogo

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

Nemer, Fadia (2008). Optimisation de l'estimation du WCET par analyse inter-tâche du cache d'intructions.

[img]PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
1879Kb

Résumé en francais

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.

Sous la direction du :
Directeur de thèse
Bahsoun, Jean-Paul
Cassé, Hugues
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :WCET - analyse statique - benchmark temps-réel - analyse de flot de données - interprétation abstraite
Sujets :Informatique
Déposé le :16 Jun 2008 11:04