Changes between Version 3 and Version 4 of CaoCourseTme7

Timestamp:

Mar 22, 2007, 12:21:02 PM (18 years ago)

Author:

alain

Comment:

--

CaoCourseTme7

@@ -49 +49 @@
 }}}
 
-= B) Structures de données
+= B) Structures de données =
 
 On utilise deux structures de données :
@@ -55 +55 @@
  * structure représentant l'échéancier, c'est à dire l'ensemble ordonné des événements.
  
-== B1) Le réseau Booléen
+== B1) Le réseau Booléen ==
 
 Le réseau Booléen est constitué d'un ensemble de signaux et d'un ensemble de processus. 
@@ -104 +104 @@
 }}}
 
-== B2) L’échéancier
+== B2) L’échéancier ==
 
 L'échéancier permet d'enregistrer  et d'ordonner les événements dans le temps. 
@@ -131 +131 @@
 }}}
 
-= C/ Fonctions d'accès aux structures de données
-
-Ce paragraphe définit les différentes fonctions permettant d’accéder aux structures de données définies ci-dessus. Dans un premier temps le code binaire exécutable de ces fonction vous est fourni, et vous pourrez utiliser ces fonctions pour construire en mémoire le réseau Booléen, construire et initialiser l’échéancier, et écrire la boucle principale de simulation qui a été présentée en cours. Dans un deuxième temps, il vous sera demandé d’écrire vous-même le code de ces fonctions.
-
-C1) Création d'un réseau Booléen "vide"
-
+= B/ Fonctions d'accès aux structures de données =
+
+On présente ici les différentes fonctions permettant d’accéder aux structures de données définies ci-dessus. 
+Dans un premier temps le code binaire exécutable de ces fonction vous est fourni, 
+et vous pourrez utiliser ces fonctions pour construire en mémoire le réseau Booléen, 
+construire et initialiser l’échéancier, et écrire la boucle principale de simulation qui a été présentée en cours.
+ Dans un deuxième temps, il vous sera demandé d’écrire vous-même le code de ces fonctions.
+
+== B1) réseau Booléen ==
+
+{{{
 boolnet_t * cons_boolnet (char * name)
-
+}}}
 Les pointeurs sur les listes de signaux et de processus sont initialisés à NULL.
-  
-C2) Création d’un signal 
-
+{{{
 signal_t * cons_signal (boolnet_t * bn, sigtype_t type, var_t * var)
-
-Cette fonction prend pour argument une variable Booléenne préalablement créée. Elle crée un signal et l’insère dans la liste des signaux du réseau correspondant à son type. Elle initialise à NULL les pointeurs FROM_PROCESS et TO_PROCESS. La valeur de la variable Booléenne est forcée à U.
-   
-C3) Création d’un processus
-  
+}}}
+Cette fonction prend pour argument une variable Booléenne préalablement créée. 
+Elle crée un signal et l’insère dans la liste des signaux du réseau correspondant à son type. 
+Elle initialise à NULL les pointeurs FROM_PROCESS et TO_PROCESS. La valeur de la variable Booléenne est forcée à U.
+{{{ 
 process_t * cons_process (boolnet_t * bn, signal_t * sig, char * abl, long delay)
-
-Cette fonction prend pour argument un pointeur sur le signal de sortie, un pointeur sur un arbre ABL préalablement créé (en utilisant par exemple  la fonction parse_abl du TME5), et la valeur du temps de propagation.
-Elle crée une structure process_t, calcule le support de l'abl (sous forme d’une liste de signaux d’entrée), et met à jour les pointeurs contenus dans les structures représentant les signaux impliqués. Cette fonction vérifie le typage des signaux, c'est-à-dire qu'un signal de type IN ne peut avoir de processus générateur et qu'un signal de type OUT ne peut apparaître dans le support d'une fonction.
-   
-C4) Création d’un échéancier « vide »
- 
+}}}
+Cette fonction prend pour argument un pointeur sur le signal de sortie, un pointeur sur un arbre ABL préalablement créé 
+(en utilisant par exemple  la fonction parse_abl du TME5), et la valeur du temps de propagation.
+Elle crée une structure process_t, calcule le support de l'abl (sous forme d’une liste de signaux d’entrée), 
+et met à jour les pointeurs contenus dans les structures représentant les signaux impliqués. 
+Cette fonction vérifie le typage des signaux, c'est-à-dire qu'un signal de type IN ne peut avoir de processus générateur 
+et qu'un signal de type OUT ne peut apparaître dans le support d'une fonction.
+
+== B2) Echéancier ==
+{{{ 
 scheduler_t * cons_scheduler()
-
-Cette fonction fabrique un échéancier « vide ». La date courante  TC est initialisée à une valeur négative, et les pointeurs FIRST et CURRENT sont initialisés à NULL.
-
-C5) Création d’un événement
-
+}}}
+Cette fonction fabrique un échéancier « vide ». 
+La date courante  TC est initialisée à une valeur négative, et les pointeurs FIRST et CURRENT sont initialisés à NULL.
+{{{
 event_t * cons_event(scheduler_t * sch, signal_t sig, long date, unsigned val)
-
-Cette  fonction construit un événement  sur le signal sig, à un certaine date , avec la valeur val, et introduit cet événement dans l’échéancier. Cette fonction met à jour les deux pointeurs FIRST et CURRENT dans l’échéancier, si cela est nécessaire.
-Cette fonction ne doit être utilisée que dans la phase d’initialisation, pour introduire dans l’échéancier les événements portant sur les signaux d’entrée du circuit (stimuli).
- 
-C6) Insertion d’un événement
-
+}}}
+Cette  fonction construit un événement  sur le signal sig, à un certaine date , 
+avec la valeur val, et introduit cet événement dans l’échéancier. 
+Cette fonction met à jour les deux pointeurs FIRST et CURRENT dans l’échéancier, si cela est nécessaire.
+'''Attention''' : Cette fonction ne doit être utilisée que dans la phase d’initialisation, pour introduire dans l’échéancier 
+les événements portant sur les signaux d’entrée du circuit (stimuli).
+{{{
 void add_event (scheduler_t * sch, signal_t sig, long delta, unsigned val)
-
-Cette fonction construit un événement portant sur le signal sig, à la date TC + delta, avec la valeur val, et le range dans l'échéancier. A la différence de la précédente, cette fonction utilise un temps relatif (delta), et ne modifie pas le les pointeurs FIRST et CURRENT. C’est cette fonction qui doit être utilisée dans la boucle de simulation. 
-
-Dans le cas général, cette fonction doit en principe vérifier qu’il n’existe pas un autre événement postérieur sur le même signal, et retirer cet événement parasite s’il y a lieu. Dans notre cas, cela n’est pas nécessaire. Cette importante simplification est dûe à l'hypothèse qu'un processus est caractérisé par un unique temps de propagation, qui ne dépend pas de l'entrée qui commute. Avec cette hypothèse, tous les événements prévus se produisent effectivement.
-    
-C7) Récupération des événements au temps TC
-
+}}}
+Cette fonction construit un événement portant sur le signal sig, à la date TC + delta, avec la valeur val, et le range dans l'échéancier. 
+A la différence de la précédente, cette fonction utilise un temps relatif (delta), et ne modifie pas le les pointeurs FIRST et CURRENT. 
+C’est cette fonction qui doit être utilisée dans la boucle de simulation. 
+Dans le cas général, cette fonction doit en principe vérifier qu’il n’existe pas un autre événement postérieur sur le même signal, 
+et retirer cet événement parasite s’il y a lieu. Dans notre cas, cela n’est pas nécessaire. 
+Cette importante simplification est dûe à l'hypothèse qu'un processus est caractérisé par un unique temps de propagation, 
+qui ne dépend pas de l'entrée qui commute. Avec cette hypothèse, tous les événements prévus se produisent effectivement.
+{{{    
 bip_t * get_events (scheduler_t * sch)
-
+}}}
 Cette fonction recherche dans l'échéancier les événements prévus au temps TC. Il peut y avoir plusieurs événements à la même date. Elle renvoie ces événements sous forme d'une liste chaînée de bi-pointeurs (qu'il faut penser à libérer quand ils ne sont plus utiles).