Contributions à l'analyse du comportement temporel de la hiérarchie mémoire pour l'estimation du pire temps d'exécution

par Jean-François Deverge

Thèse de doctorat en Informatique

Sous la direction de Isabelle Puaut.

Soutenue en 2008

à Rennes 1 .


  • Résumé

    Les défaillances des logiciels dans les systèmes temps réel strict peuvent avoir des conséquences graves (pertes économiques, mise en danger de la vie humaine). La vérification des contraintes temporelles d'un système temps réel strict dépend de la connaissance du pire temps d'exécution des tâches a priori. Cependant, déterminer le pire temps d'exécution d'une tâche seule n'est pas trivial sur lesarchitectures des processeurs actuels. L'utilisation de mécanismes matériels complexes a un grand impact sur la prévisibilité des performances. Ce document se focalise sur les problèmes de l'analyse temporelle des accès mémoire vers les données des programmes qui s'exécutent sur une architecture munie d'une hiérarchie mémoire (mémoire cache ou mémoire sur-puce, nommée communément mémoire scratchpad). Plusieurs approches sont proposées pour la prévisibilité et l'amélioration du pire temps d'exécution des tâches qui s'exécutent sur une architecture munie d'une hiérarchie mémoire.

  • Titre traduit

    Timing analysis for scratchpad memories and data caches


  • Résumé

    Software failures in hard real-time systems can have serious consequences (economic risks, human life losses). The verification of timing constraints of a real-time system depends on the safe estimation of the worst-case execution time (WCET) of tasks. However, the estimation of the individual task's worst-case execution time is not trivial. The uses of complex mechanisms in computer architectures have a significant impact on the execution time predictability. This document focuses on the problems of timing analysis of data memory accessesfor computer architecture with a memory hierarchy (a scratchpad memory or a cache memory). We propose approaches to improve the worst-case execution time of the tasks and to tackle the lack of predictability of the memory hierarchy.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (171 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 149-167

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2008/51
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : B.7 - DEV
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.