Evaluation d'une hiérarchie mémoire pour une machine symbolique

par Mohamed Ben Othman

Thèse de doctorat en Informatique

Sous la direction de Gilles Berger Sabatel.

Soutenue en 1993

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Cette thèse entre dans le cadre du projet Symbion, qui vise à concevoir la brique de base d'une machine symbolique parallèle. Prolog, choisi comme représentatif des langages de programmation en logique, diffère des langages procéduraux par le fait qu'il est déclaratif, non déterministe et utilise l'unification comme son opération primaire. Les performances des programmes sont directement liées aux performances de la mémoire car les processeurs rapides sont fortement limités par le débit de la mémoire. Ainsi, les architectures qui demandent un débit réduit ont un grand potentiel pour des performances élevées. L'objectif de cette étude est d'évaluer le comportement des programmes Prolog vis-à-vis de la gestion de la mémoire. Cette évaluation est réalisée avec une simulation d'une hiérarchie mémoire d'un monoprocesseur de type RISC. Ainsi, nous avons étudié les différents paramètres de la mémoire cache, la pagination et les interactions entre les différents niveaux de la mémoire. Pour étudier l'impact du support système et essentiellement la multiprogrammation sur le comportement de la mémoire, nous avons réalisé un micronoyau qui prévoit l'utilisation du parallélisme de Prolog. Nous avons adopté la division d'un processus en deux abstractions: tâche et fils d'exécution utilisée dans les micros noyaux Mach et Chorus. Il s'avère qu'en règle générale, un cache classique est suffisant pour avoir de bonnes performances, compte tenu des tailles de cache réalisables actuellement. De ce fait, on n'aura pas besoin des valeurs de paramètres spécifiques pour le traitement des programmes Prolog. Cependant, pour améliorer le traitement de ces programmes sur les machines universelles il faut pouvoir, d'une part, augmenter la localité des programmes et, d'autre part, compenser l'effet résiduel de la faible localité

  • Titre traduit

    Evaluating of memory hierarchy for symbolic machines


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (IX-178 f)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 93/INPG/0107
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1993-BEN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.