Extraction and traceability of annotations for WCET estimation

Hanbing Li 1, 2
2 ALF - Amdahl's Law is Forever
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Résumé : Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, il doivent de surcroît être produits dans un intervalle de temps borné. Connaître le pire cas de temps d’exécution (WCET - Worst Case Execution Time) est nécessaire, et garantit que le système répond à ses contraintes de temps. Pour obtenir des estimations de WCET précises, des annotations sont nécessaires. Ces annotations sont généralement ajoutées au niveau du code source, tandis que l’analyse de WCET est effectuée au niveau du code binaire. L’optimisation du compilateur est entre ces deux niveaux et a un effet sur la structure du code et annotations. Nous proposons dans cette thèse une infrastructure logicielle de transformation, qui pour chaque optimisation transforme les annotations du code source au code binaire. Cette infrastructure est capable de transformer les annotations sans perte d’information de flot. Nous avons choisi LLVM comme compilateur pour mettre en œuvre notre infrastructure. Et nous avons utilisé les jeux de test Mälardalen, TSVC et gcc-loop pour démontrer l’impact de notre infrastructure sur les optimisations du compilateur et la transformation d’annotations. Les résultats expérimentaux montrent que de nombreuses optimisations peuvent être activées avec notre système. Le nouveau WCET estimé est meilleur (plus faible) que l’original. Nous montrons également que les optimisations du compilateur sont bénéfiques pour les systèmes temps-réel.
Type de document :
Thèse
Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S040〉
Liste complète des métadonnées

Littérature citée [95 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01232613
Contributeur : Abes Star <>
Soumis le : lundi 23 novembre 2015 - 18:07:06
Dernière modification le : mercredi 29 novembre 2017 - 15:42:00
Document(s) archivé(s) le : mercredi 24 février 2016 - 14:01:54

Fichier

LI_Hanbing.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01232613, version 1

Citation

Hanbing Li. Extraction and traceability of annotations for WCET estimation. Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S040〉. 〈tel-01232613〉

Partager

Métriques

Consultations de la notice

268

Téléchargements de fichiers

455