Une table de symboles est une centralisation des informations rattachées aux identificateurs d'un programme informatique. C'est une fonction accélératrice de compilation, dont l'efficacité dépend de la conception. Dans une table des symboles, on retrouve des informations comme : le type, l'emplacement mémoire, la portée, la visibilité, etc.



Généralités

modifier

Création de la table

modifier

Généralement, la table est créée dynamiquement. Une première portion est créée au début de la compilation. Puis, de façon opportuniste, en fonction des besoins, elle est complétée.

Création d'un symbole

modifier

La première fois qu'un symbole est vu (au sens des règles de visibilité du langage), une entrée est créée dans la table.

Collecte

modifier

Le remplissage de cette table (la collecte des informations) a lieu lors des phases d'analyse.

Identification

modifier

L'identification est le processus de recherche d'un identificateur dans la table des symboles.

La table des symboles réunit des informations sur les identificateurs : nature, type, valeur initiale, propriétés d'allocation :

  • Pour toute variable, elle garde l’information de : son nom, son type, sa portée et son adresse en mémoire ;
  • Pour toute fonction ou procédure, elle garde l’information de : son nom, sa portée, le nom et le type de ses arguments, ainsi que leur mode de passage, et éventuellement le type du résultat qu’elle fournit ;
  • Pour permettre un accès rapide, la table des symboles est indexée par le nom de l'identificateur (chaîne de caractères), d'où l'utilisation d'une table de hachage ;
  • Lors de la définition d'un identificateur, on insère une entrée dans la table de symboles. Cette déclaration est généralement unique, à moins d'une surcharge ;
  • Lors de l'utilisation d'un identificateur, on le recherche dans la table ;
  • Dans certains compilateurs, les mots-clés du langage ne font pas partie de la syntaxe mais sont insérés dans la table des symboles ;
  • Les propriétés d'un identificateur peuvent être des structures complexes (arbres, tables, listes, champs…).

Fonctionnement

modifier
 
  • Put Symbole
  • Get symbole (vérification de la cohérence du type)
  • Begin scope (début de la portée)
  • End scope (fin de la portée)

Ainsi on peut modéliser la table de symboles comme une pile, cela permet lors de la lecture du programme de conserver la structure de portée de ce programme informatique.

Structure de hachage

modifier

La structure de hachage permet d'avoir un accès rapide et en temps constant sur les noms des variables, procédures et fonctions.


 

Portée d'un identificateur

modifier

Portée d'une déclaration

modifier

La portée d'un identificateur correspond à sa zone d'existence (le bloc dans lequel il a été déclaré). Ainsi, plusieurs identificateurs de même nom peuvent référencer des éléments différents. Exemple d'un fragment de code C :


 int i() {
     int i;
     if (1) {
         int i;
         i = 2;
     }
     i = 3;
     return i;
 }

Table des symboles structurée en portée

modifier

Pour chaque bloc de programme (ayant des portées différentes) est associée une table de symboles. Chacune de ces tables est elle-même stockée dans une pile globale.

À la lecture du programme :

Quand se présente un nouveau bloc, on empile dans la pile globale une nouvelle table de symboles (pile « locale »).

Quand un bloc se termine, la table de symboles associée sera dépilée et donc détruite.

Pour un bloc donné :

Si on rencontre un identificateur dans une déclaration : on vérifie son absence dans la table en partant du sommet de la pile jusqu’à la fin de la portée (c’est-à-dire toute la pile « locale »). Si c’est le cas on l’ajoute dans la table (cf. 5.Portée d’un identificateur).

Si on rencontre un identificateur dans une partie exécutable : on vérifie sa présence dans la table (pile « locale ») en partant du sommet de la pile jusqu’à la fin. Si cet identificateur n’existe pas il y aura une erreur (cf. 5.Portée d’un identificateur).

Exemple en C :

 L1  int main ()
 L2    { //début premier bloc
 L3      while ()
 L4        { //début 2e bloc
 L5          for ()
 L6            {;//début 3e bloc
 L7            } //fin 3e bloc
 L8        } //fin 2e bloc
 L9      If ()
 L10      { //début 4e bloc
 L11        For ()
 L12          {;//début 5e bloc
 L13          } //fin 5e bloc
 L14      } //fin 4e bloc
 L15  } //fin premier bloc
  • État de la pile globale pour la L2 : [TS1]
  • État de la pile globale pour la L4 : [TS1,TS2]
  • État de la pile globale pour la L6 : [TS1,TS2,TS3]
  • État de la pile globale pour la L7 : [TS1,TS2]
  • État de la pile globale pour la L8 : [TS1]
  • État de la pile globale pour la L10 : [TS1,TS4]
  • État de la pile globale pour la L12 : [TS1,TS4,TS5]
  • État de la pile globale pour la L13 : [TS1,TS4]
  • État de la pile globale pour la L14 : [TS1]
  • État de la pile globale pour la L15 : [VIDE]

(avec TSi : table de symboles numéro i)

Une identification se fait en parcourant la pile du sommet à la base.


 

Avantage

modifier

Simplicité : à chaque analyse d'un nouveau bloc de programme, une nouvelle Table est empilée.

La table de symboles du bloc courant est dépilée à la fin de l'analyse.

Inconvénient

modifier

L'identification d'un nom peut être lente (à cause de l'accès à plusieurs tables successives).

Table des symboles structurée en portée avec table associative

modifier

Concept

modifier

Une table associative centrale indexée par les noms des identificateurs. Chaque entrée pointe sur une pile de définitions, le sommet de chaque pile est la définition la plus récente.


 


Pour l’exemple ci-dessus on aurait un code C du type :


 int compte;    // portée 0
 int main()   
 {            
   char signal; // portée 1
   { 
     int faux;  // portée 2
     {        
       compte++;// portée 3
       {      
         if (faux){} // portée 4
       }
     }
   }
 }

Avantage

modifier

Identifications rapides

Inconvénient

modifier

Suppressions complexes :

Quand on sort d'un bloc, le compilateur a besoin d'actualiser les déclarations visibles (portée des noms). Si on n'utilisait que la table associative, on serait obligé de parcourir toutes les entrées de la table, car on manque d'informations permettant de retrouver la liste des identificateurs déclarés à l'intérieur d'un bloc. Elle nécessite donc une autre structure de données.

Solution pour accélérer la suppression

modifier

Pour accélérer la suppression des entrées (définitions), on utilise en plus une pile de portées qui pointe sur toutes les déclarations d'une portée. Ainsi, à la sortie d'un bloc, il est facile de retrouver toutes les déclarations : la suppression des entrées dans la TS est accélérée.


 

Grâce à cette structure supplémentaire, on peut retrouver les identificateurs du même bloc.


Surcharge

modifier

Définition

modifier

La surcharge permet de déclarer plusieurs fois le même identificateur (on parle de surcharge uniquement entre les identificateurs du même espace de noms et de la même portée). Elle n'est possible qu'en respectant certaines règles, et seuls certains langages (C++, Ada, Java…) permettent cette propriété.

Problème posé

modifier

La surcharge pose un problème d'ambiguïté : en effet, le processus d'identification renvoie un ensemble de définitions au lieu d'une seule.

Solution au problème

modifier

La solution à ce problème est d'inclure toutes les déclarations (définitions) dans la table des symboles. Une portée peut donc contenir plusieurs déclarations pour un même identificateur !
La réduction des définitions suit des règles dictées par le langage. Il faut pouvoir analyser le contexte pour se retrouver dans le cas où une seule définition est possible.

Par exemple, certains langages effectuent cette réduction en comparant les listes de paramètres (voir « Signature de type »).

Voir aussi

modifier

Sur les autres projets Wikimedia :