Changes between Version 6 and Version 7 of CaoCourseTme4

Timestamp:

Feb 25, 2007, 8:27:31 PM (18 years ago)

Author:

alain

Comment:

--

CaoCourseTme4

@@ -17 +17 @@
 utiliser les fichiers vst.l et vst.y fournis avec ce TME.
 
- '''Attention''' : ces fichiers contiennent
-délibérement quelques erreurs que vous devrez corriger, afin de vous obliger à les comprendre.
+'''Attention''' : ces fichiers contiennent délibérement quelques erreurs, que vous devrez corriger, 
+afin de vous obliger à les comprendre.
 
 = Etape 1 : Communication entre le scaner et le parser =
@@ -80 +80 @@
 dans le fichier vst.y, de façon à afficher la totalité du fichier exemple.vst,
 sous une forme qui respecte la syntaxe du format .vst.
-Il faut donc traiter les constructions grammaticales
+Il faut donc traiter toutes les constructions grammaticales
 correspondant à la partie "architecture" du fichier.
 
- 1. On commencera par introduire dans la règle "architecture"
-    les actions de compilations permettant d'afficher le début et la fin de la section
-    "architecture".
- 1. Introduire dans les règles "component" et "signal"
-    les actions de compilation permettant d'afficher les components et les signaux.
- 1. Introduire dans les règles "instances", "links" et "link" les actions de
-    compilation permettant d'afficher les instances. On pourra pour cela définir dans 
-    le fichier .vst un objet de type {{{link_t}}}, permettant de représenter un ensemble
-    de links sous forme d'une liste chaînée. On pourra s'inspirer de ce qui a été
-    fait dans la première étape pour l'objet {{{port_t}}}.
- 1. Vérifier que le fichier texte généré par votre parser respecte la syntaxe
-    du format .vst, en utilisant le parser pour analyser le fichier qu'il a généré.
+ * On commencera par introduire dans la règle "architecture" les actions de compilations permettant d'afficher le début et la fin de la section "architecture".
+ * Introduire dans les règles "component" et "signal" les actions de compilation permettant d'afficher les components et les signaux.
+ * Introduire dans les règles "instances", "links" et "link" les actions de compilation permettant d'afficher les instances. On pourra pour cela définir dans le fichier ".vst" un objet de type {{{link_t}}}, permettant de représenter un ensemble de links sous forme d'une liste chaînée. On pourra s'inspirer de ce qui a été fait dans la première étape pour l'objet {{{port_t}}}.
+ * Vérifier que le fichier texte généré par votre parser respecte la syntaxe du format ".vst", en utilisant le parser pour analyser le fichier qu'il a généré.
 
+= Etape 3 : Construction de la structure ''lofig'' =
 
-= Etape 3 : Construction de la structure lofig =
-
-La construction de la structure mémoire lofig fait appel à des fonctions spéficiques.
-\emph{Une page de manuel} existe pour chacun des objets de cette structure et chacune
+La construction de la structure de données ''lofig'' fait appel à des fonctions spéficiques.
+Une page de manuel existe pour chacun des objets de cette structure et chacune
 de ces fonctions.  Nous vous invitons à les consulter.
 
@@ -108 +99 @@
  *  {{{loins}}} pour représenter les \emph{instances};
  *  {{{locon}}} pour représenter les \emph{port}s;
- *  {{{chain}}} est une structure utilitaire qui contient deux pointeurs.
-\end{itemize}
+ *  {{{chain}}} permet de construire des listes chaînées.
 
-La structure chain permet en particulier de construire des ensembles d'objets
-de même type sous forme de listes chaînées (ensembles de signaux possédant
-une caractéristique commune par exemple).
+La structure ''chain'' (parfois appelée ''bip'', comme ''bipointeur'') contient deux pointeurs, et
+permet de construire des ensembles d'objets de même type, sous forme de listes chaînées. 
+{{{
+ typedef struct chain {
+                 struct chain     *NEXT;
+                 void             *DATA;
+              } chain_list;
+
+}}}
 
 Les différentes fonctions dont vous aurez besoin sont:
-\begin{itemize}\itemsep=-.4ex
-\item {{{mbkenv}}} pour initialiser le fonctionnement des bibliothèques d'\textbf{Alliance}
-(cette fonction ne prend aucun paramètre et ne rend rien mais elle intialise un certain
-nombre de variables globales et elle lit l'environnement unix concernant Alliance.
-Elle doit etre invoquée au début de la fonction main().
-\item {{{addlofig}}} pour créer l'\emph{entity} et les \emph{component}s;
-\item {{{getlofig}}} qui renvoie un pointeur vers une figure désignée par son nom;
-\item {{{addlocon}}} pour créer les \emph{port}s, aussi bien dans les figures que dans les instances;
-\item {{{addlosig}}} pour créer les \emph{signal}s;
-\item {{{addloins}}} pour créer les \emph{instance}s;
-\item {{{addchain}}} pour créer les bipointeurs;
-\item {{{reverse}}} pour «~retourner~» l'ordre des éléments dans une liste de type chain;
-\item {{{freechain+ pour libérer une liste créée par \verb+\addchain}}};
-\item {{{namealloc}}} pour insérer tous les noms (chaînes de caractères) dans un dictionnaire.
-Grâce à cette fonction, $n$ pointeurs représentant $n$ chaînes de caractères identiques pointent
-sur une unique zone de mémoire, permettant de tester l'égalité des pointeurs (par {{{==}}})
-en lieu et place de l'égalité de chaque caractère (par {{{strcmp}}}).
+ * {{{mbkenv}}} pour initialiser {{{Alliance}}} . Cette fonction ne prend aucun paramètre et ne rend rien mais elle intialise un certain nombre de variables globales et elle lit l'environnement unix concernant Alliance. Elle doit etre invoquée au début de la fonction main().
+ * {{{addlofig}}} pour créer l'{{{entity}}} et les {{{component}}}s;
+ * {{{getlofig}}} qui renvoie un pointeur vers une figure désignée par son nom;
+ * {{{addlocon}}} pour créer les {{{port}}}, aussi bien dans les figures que dans les instances;
+ * {{{addlosig}}} pour créer les {{{signal}}}s;
+ * {{{addloins}}} pour créer les {{{instance}}}s;
+ * {{{addchain}}} pour créer les bipointeurs;
+ * {{{reverse}}} pour «renverser» l'ordre des éléments dans une liste de type chain;
+ * {{{freechain}}} pour libérer une liste créée par {{{addchain}}};
+ * {{{namealloc}}} pour insérer tous les noms dans un dictionnaire.
 
+Grâce à la fonction {{{namealloc() }}} différents pointeurs représentant la même chaîne de caractère
+(et donc le même nom) pointent sur une unique zone de mémoire, permettant de tester l'identité
+entre deux noms par un simple test d'égalité des pointeurs.
+ 
 Un fichier utilisant ces types et fonctions doit inclure le fichier {{{alliance.h}}},
 et l'édition de liens doit comporter {{{-lalliance}}}.  Ces fichiers référencés se trouvent
@@ -139 +132 @@
 et votre {{{Makefile}}} en conséquence.
 
-Indication : Pour construire la structure de données, on est amené à manipuler plusieurs
-structures lofig : On a une structure lofig correspondant à l'{{{entity}}} dont on souhaite
-construire la net-list, mais on est amené à construire une structure lofig pour chacune
+'''Indication''' : Pour construire la structure de données ''lofig'', on est amené à manipuler plusieurs
+structures de type ''lofig'' : On a une structure ''lofig'' correspondant à l'{{{entity}}} dont on souhaite
+construire la net-list, mais on est amené à construire une structure ''lofig'' pour chacune
 des figures instanciées (c'est à dire pour chacun des {{{component}}}). Les structures
 lofig associées aux {{{component}}} sont des boîtes "vides", qui ne contiennent que
-la liste de porta, mais pas d'instances et pas de signaux.
+la liste de ports, mais pas d'instances et pas de signaux.
 Vous utiliserez deux variables globales, l'une pointant sur la figure représentant
 l'{{{entity}}}, et l'autre pointant sur le {{{component}}} en cours d'analyse,
 et vous construirez la structure de donnée dans l'ordre suivant:
 
- 1. ajoutez la figure;
- 1. ajoutez les ports de la figure et les signaux externes;
- 1. ajoutez les components;
- 1. ajoutez les signaux internes;
- 1. ajoutez les instances.
-    Vous ferez l'hypothèse simplificatrice que les connecteurs de
-    l'instance (port map) \emph{sont dans le même ordre} que les connecteurs du
-    modèle (component);
+ 1. créez la figure;
+ 1. créez les ports de la figure et les signaux externes;
+ 1. créez les components;
+ 1. créez les signaux internes;
+ 1. créez les instances.
+    
+Vous ferez l'hypothèse simplificatrice que les connecteurs de l'instance (construction {{{port map}}} )
+sont dans le même ordre que les connecteurs du modèle (construction {{{component}}} );
 
 Pour vous aider à déboguer et vérifier que la construction est correcte, vous pouvez utiliser
-la fonction {{{viewlofig}}}. Vous pouvez également sauvegarder sur disque la structure de données
-construite en mémoire en utilisant la fonction {{{savelofig}}}.
-Il est préférable de changer le nom de la figure avant d'effectuer la sauvegarde,
-sans oublier d'utiliser la fonction {{{namealloc}}}.
+la fonction {{{viewlofig() }}}. Vous pouvez également sauvegarder sur disque la structure de données
+construite en mémoire en utilisant la fonction {{{savelofig() }}}.
+Il est préférable de changer le nom de la figure avant d'effectuer la sauvegarde pour éviter 
+d'écraser le fichier initial, sans oublier d'utiliser la fonction {{{namealloc() }}}.
 
 = Compte-Rendu =