Strategies avancees pour la gestion de blocs de controle

par LUIS MATEU

Thèse de doctorat en Sciences appliquées

Sous la direction de Christian Queinnec.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    Un bloc de controle est une structure permettant de sauvegarder, entre autres, les variables locales des procedures et l'adresse de retour vers l'appelant. Pour des raisons d'efficacite, la plupart des langages restreignent les appels et les retours des procedures a un ordre lifo afin que les blocs de controle puissent etre geres en pile. Par consequent, les continuations de premiere classe, les coroutines ou les processus legers (threads) ne sont procures qu'a titre exceptionnel, car les blocs de controle ne peuvent plus etre geres en une seule pile. Et l'utilisation meme de piles multiples serait trop consommatrice en espace memoire pour une utilisation massive. Cette these est consacree a la conception et a la realisation de strategies de gestion de blocs de controle pour les continuations de premiere classe, les coroutines et les threads. Nos strategies sont efficaces simultanement en espace memoire, car les blocs de controle sont alloues dans un tas, et en temps cpu, car nous utilisons deux techniques qui rendent le recyclage des blocs de controle aussi rapide que leur recyclage par desempilement dans un langage classique. Premierement, pour les continuations de premiere classe, nous allouons les blocs de controle dans une pile fantome qui peut s'evanouir, s'il en est besoin, pour devenir une partie du tas. Et deuxiemement, pour les coroutines et les threads, nous utilisons un gc a generations ou les deux premieres generations sont reservees aux blocs de controle. Nous presentons aussi une implantation et des mesures qui attestent l'efficacite de notre approche

  • Titre traduit

    Advanced strategies for the management of control frames


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 113 P.
  • Annexes : 76 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1993 170
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1993

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1993-MAT
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.