Deterministic Partial Replay for MPSoC Debugging

Kirill Georgiev 1 Vania Marangozova-Martin 1, 2, *
* Auteur correspondant
2 MESCAL - Middleware efficiently scalable
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Ce rapport présente une méthodologie de débogage pour les systèmes MPSoC basée sur l'enregistrement et la ré-exécution déterministe de traces d'exécution. Ce travail propose un modèle général des systèmes MPSoC, identifie les principales sources de non-déterminisme et propose l'application d'algorithmes adaptés pour l'enregistrement et la ré-exécution d'erreurs non-déterministes. L'originalité du travail réside dans la définition d'un cycle de débogage permettant de cibler la recherche des erreurs en appliquant des critères de sélection spatiale et temporelle. La sélection spatiale consiste à ne considérer qu'une partie de l'application en exécution. La sélection temporelle permet de ne considérer qu'un intervalle spécifique d'exécution. Les mécanismes sont connectées à l'outil de débogage standard GDB tout en fournissant une représentation visuelle de la portion de trace considérée. L'approche est validée sur deux types de plateformes et avec deux applications multimédia.
Type de document :
Rapport
[Research Report] RR-8515, INRIA. 2014, pp.30
Liste complète des métadonnées

https://hal.inria.fr/hal-00969478
Contributeur : Vania Marangozova-Martin <>
Soumis le : jeudi 3 avril 2014 - 08:02:09
Dernière modification le : samedi 17 septembre 2016 - 01:38:22
Document(s) archivé(s) le : jeudi 3 juillet 2014 - 10:51:06

Fichier

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

Identifiants

  • HAL Id : hal-00969478, version 1

Collections

Citation

Kirill Georgiev, Vania Marangozova-Martin. Deterministic Partial Replay for MPSoC Debugging. [Research Report] RR-8515, INRIA. 2014, pp.30. 〈hal-00969478〉

Partager

Métriques

Consultations de la notice

248

Téléchargements de fichiers

272