Context Navigation

Changes between Version 28 and Version 29 of SoclibCourseTp3

Timestamp:: Sep 28, 2009, 11:04:53 AM (15 years ago)
Author:: nipo
Comment:: --

Legend:

: Unmodified
: Added
: Removed
: Modified

SoclibCourseTp3

-                      v28
+                      v29
 [[Image(soclib_tp3_archi.png)]]
  * '''xcache''' est un processeur MIPS32 avec ses caches L1. On utilise le composant ''!VciXcacheWrapper'', qui est un contrôleur de cache à interface VCI.  Ce composant générique encapsule un autre composant ''!Mips32Iss'', qui modélise un coeur de processeur MIPS32.
  * '''rom''' est une mémoire non inscriptible à interface VCI contenant le code de boot. On utilise le composant ''!VciSimpleRam''.
  * '''ram''' est une mémoire inscriptible à interface VCI contenant le code et les données. On utilise également un composant ''!VciSimpleRam''.
  * '''tty''' est un périphérique adressable de type écran/clavier à interface VCI. On utilise le composant ''!VciMultiTty''.
  * '''gcd''' est le coprocesseur cible réalisant le calcul du PGCD. On utilise évidemment le composant ''!VciGcdCoprocessor''.
  * '''vgsb''' est le bus système déjà utilisé dans le TP2. On utilise le composant ''!VciVgsb''.
+ * '''xcache''' est un processeur Mips32 avec ses caches L1. On utilise le composant `VciXcacheWrapper`, qui est un contrôleur de cache à interface VCI.  Ce composant générique encapsule un autre composant `Mips32Iss`, qui modélise un coeur de processeur Mips32.
+ * '''rom''' est une mémoire non inscriptible à interface VCI contenant le code de boot. On utilise le composant `VciSimpleRam`.
+ * '''ram''' est une mémoire inscriptible à interface VCI contenant le code et les données. On utilise également un composant `VciSimpleRam`.
+ * '''tty''' est un périphérique adressable de type écran/clavier à interface VCI. On utilise le composant `VciMultiTty`.
+ * '''gcd''' est le coprocesseur cible réalisant le calcul du PGCD. On utilise évidemment le composant `VciGcdCoprocessor`.
+ * '''vgsb''' est le bus système déjà utilisé dans le TP2. On utilise le composant `VciVgsb`.
 Les modèles de simulation des composants matériels instanciés dans cette architecture sont disponibles dans la bibliothèque SoCLib.
 Ils vous sont fournis, et vous n'aurez pas à les re-écrire vous-même.
 Le composant ''!VciXcacheWrapper'' peut être utilisé pour encapsuler différents processeur 32 bits. Le coeur du processeur est modélisé par un ISS (Instruction Set Simulateur).
 Le type du proceseur instancié (MIP32, ARM, SPARCV8, PPC405, NIOS, !MicroBlaze, etc.) est défini par un paramètre template du composant ''!VciXcacheWrapper''.
+Le composant `VciXcacheWrapper` peut être utilisé pour encapsuler différents processeur 32 bits. Le coeur du processeur est modélisé par un ISS (Instruction Set Simulateur).
+Le type du proceseur instancié (MIP32, ARM, SPARCV8, PPC405, NIOS, !MicroBlaze, etc.) est défini par un paramètre template du composant `VciXcacheWrapper`.
 Consultez la documentation [https://www.soclib.fr/trac/dev/wiki/Component/VciXcacheWrapper ici].
 Le composant ''!VciSimpleRam'' est utilisé pour modéliser des mémoires inscriptibles embarquées (SRAM), ou
+Le composant `VciSimpleRam` est utilisé pour modéliser des mémoires inscriptibles embarquées (SRAM), ou
 pour modéliser des mémoires non inscriptibles (ROM).
 Ce composants peut contenir un ou plusieurs segments (correspondant à des tranches disjointes
 de l'espace addressable). Le composant analyse les bits de poids fort de l'adresse VCI
 pour déterminer le segment désigné. Les bancs de mémoire physique correspondant aux différents segments
 sont modélisés par des tableaux C++ dont la longueur est définie par les valeurs stockées dans la !MappingTable.
+sont modélisés par des tableaux C++ dont la longueur est définie par les valeurs stockées dans la `MappingTable`.
 Consultez la documentation [https://www.soclib.fr/trac/dev/wiki/Component/VciSimpleRam ici].
 Enfin le composant ''!VciMultiTty'' est un contrôleur de terminaux alpha-numériques. Ce composant peut contrôler de 1 à 256 terminaux (un terminal est une paire écran / clavier). Pratiquement, chaque terminal est modélisé par l'ouverture d'une fenêtre XTERM indépendante sur l'écran de la station de travail qui exécute la simulation.
+Enfin le composant `VciMultiTty` est un contrôleur de terminaux alpha-numériques. Ce composant peut contrôler de 1 à 256 terminaux (un terminal est une paire écran / clavier). Pratiquement, chaque terminal est modélisé par l'ouverture d'une fenêtre XTERM indépendante sur l'écran de la station de travail qui exécute la simulation.
 Chaque terminal possède 4 registres adressables pour la lecture ou l'écriture, et fonctionne en mode ''caractère'':
 on ne peut lire ou écrire qu'un seul caractère par transaction.
 …
 Les composants de la bibliothèque SoCLib permettent de modéliser des architectures matérielles complexes, capables d'exécuter des
 systèmes d'exploitation généralistes (tels que LINUX ou Unix NetBSD), ou des systèmes d'exploitation spécialisés pour MPSoC (tels que MUTEKH ou DNA). Mais dans ce TP et les suivants, on se contentera d'un
+systèmes d'exploitation généralistes (tels que LINUX ou NetBSD), ou des systèmes d'exploitation spécialisés pour MPSoC (tels que [https://www.mutek.fr/ MutekH] ou DNA). Mais dans ce TP et les suivants, on se contentera d'un
 système d'exploitation minimal, constitué par un Gestionnaire d'Interruptions, Exceptions et Trappes (GIET), quelques appels systèmes
 permettant aux programmes utilisateurs d'accéder aux périphériques, plus le code boot pour initialiser la machine.
 Tout ce code système est  écrit en C et en assembleur MIPS32, et il vous est fourni. Les programmes utilisateurs seront écrits en langage C, et seront écrits par vous.
+Tout ce code système est  écrit en C et en assembleur Mips32, et il vous est fourni. Les programmes utilisateur seront écrits en langage C, par vous.
 Les processeurs disponibles dans SoCLib, sont en majorités des processeurs RISC, capables
 …
 Le processeur doit, à chaque instruction lire l'instruction dans le cache, la décoder et l'exécuter. C'est évidemment le contrôleur du cache qui se charge d'aller lire le code binaire chargé dans les mémoires embarquées en cas de MISS.
 Le code binaire doit donc être généré par un cross-compilateur spécifique pour le processeur MIPS32. On utilise la chaîne de compilation GCC, pour compiler l'ensemble du logiciel embarqué (code applicatif et code système) et pour réaliser l'édition de liens entre le code applicatif écrit par vous, et le code système. Le résultat de cette compilation est un fichier au format ELF, contenant le code binaire exécutable par le processeur MIP32.
+Le code binaire doit donc être généré par un cross-compilateur spécifique pour le processeur Mips32. On utilise la chaîne de compilation GCC, pour compiler l'ensemble du logiciel embarqué (code applicatif et code système) et pour réaliser l'édition de liens entre le code applicatif écrit par vous, et le code système. Le résultat de cette compilation est un fichier au format ELF, contenant le code binaire exécutable par le processeur MIP32.
 == 3.2 Chargement du code ==
 Il existe deux méthode méthodes permettant de charger le code binaire dans les mémoires embarquées sur la puce:
+Il existe deux méthodes permettant de charger le code binaire dans les mémoires embarquées sur la puce:
 . Le code peut être stocké dans des mémoires mortes (ROM). Le contenu de ces mémoires est défini lors de la fabrication de la puce, et n'est plus modifiable. Cette approche est évidemment très peu flexible, et elle n'est généralement utilisée que pour le code de boot.
 . Le code peut être stocké dans des mémoires inscriptibles (SRAM), qui sont chargées lors de la mise sous tension du système à partir d'un périphérique de stockage externe (cela peut être une ROM externe, une mémoire flash, ou un autre dispositif de stockage. On peut même imaginer qu'on utilise une liaison sans fil pour télécharger du code applicatif disponible sur un serveur distant.  Cette approche est utilisée pour le code applicatif, mais également pour le système d'exploitation embarqué. Le code qui exécute ce chargement de code s'appelle un ''bootloader''.
 …
 dans le fichier ELF. Cette initialisation n'est plus réalisée lors de l'exécution de la simulation (dans la phase de boot), elle
 est réalisée avant le démarrage de la simulation par le constructeur des composants modélisant des mémoires embarquées
 (ROM ou RAM). Le constructeur du composant ''!VciSimpleRam'' possède un argument ''loader'' qui lui permet d'accéder au
+(ROM ou RAM). Le constructeur du composant `VciSimpleRam` possède un argument `loader` qui lui permet d'accéder au
 contenu du fichier ELF contenant le code binaire. Le constructeur possédant un autre argument lui permettant d'accéder
 à la MappingTable, il peut déterminer quels segments de la RAM (ou de la ROM) doivent être initialisés.
+à la `MappingTable`, il peut déterminer quels segments de la RAM (ou de la ROM) doivent être initialisés.
 On économise ainsi plusieurs millions de cycles de simulation, et le code de boot peut être beaucoup plus court.
 …
 De même, l'utilisation d'un contrôleur de terminal suppose l'ouverture d'une ou plusieurs fenêtres XTERM sur la station de travail qui exécute la simulation.
 Vous pouvez consulter le fichier ''Makefile'' pour avoir la liste de tous les
+Vous pouvez consulter le fichier `Makefile` pour avoir la liste de tous les
 fichiers objets qui doivent être compilés pour générer le simulateur de cette architecture très simple.
 Elle contient également un sous-répertoire ''soft'' qui est utilisé pour la génération du logiciel embarqué.
+Elle contient également un sous-répertoire `soft` qui est utilisé pour la génération du logiciel embarqué.
 == 4.1 Segmentation de l'espace adressable ==
 …
  * '''seg_tty''' est le segment associé au contrôleur de terminaux TTY. On prendra pour adresse de base la valeur 0xC0000000, et pour longueur 64 octets, ce qui permet d'adresser jusqu'à 4 terminaux indépendants.
  * '''seg_gcd''' est le segment associé au coprocesseur GCD. On prendra pour adresse de base la valeur 0x90000000. La longueur de 16 octets correspond aux quatre registres adressables de ce composant.
  * '''seg_reset''' est le segment contenant contient le code de ''boot'' exécuté à la mise sous tension. Il est évidemment assigné à la ROM. L'adresse de base 0xBFC00000 est imposée par la spécification du processeur MIPS32. On choisira une capacité de stockage de 4Koctets.
  * '''seg_kernel''' est le segment contenant le code du système qui s'exécute en mode ''kernel''. Il s'agit principalement du Gestionnaire d'Interruptions, Exceptions, et Trappes (GIET) et du code des appels systèmes. Ce segment  est assigné à la RAM. L'adresse de base 0x80000000 est imposée par la spécification du processeur MIPS32 qui impose que le point d'entrée est à l'adresse 0x80000180. On choisira une capacité de stockage de 4 Koctets.
+ * '''seg_reset''' est le segment contenant le code de ''boot'' exécuté à la mise sous tension. Il est évidemment assigné à la ROM. L'adresse de base 0xBFC00000 est imposée par la spécification du processeur Mips32. On choisira une capacité de stockage de 4 Koctets.
+ * '''seg_kernel''' est le segment contenant le code du système qui s'exécute en mode ''kernel''. Il s'agit principalement du Gestionnaire d'Interruptions, Exceptions, et Trappes (GIET) et du code des appels système. Ce segment  est assigné à la RAM. L'adresse de base 0x80000000 est imposée par la spécification du processeur Mips32 qui impose que le point d'entrée est à l'adresse 0x80000180. On choisira une capacité de stockage de 4 Koctets.
  * '''seg_text''' est le segment contenant le code de l'application logicielle embarquée, qui s'exécute en mode ''user''. Il est assigné à la RAM. On choisira pour adresse de base la valeur 0x00400000, et une capacité de stockage de 16 Koctets.
  * '''seg_data''' est le segment contenant les données globales et la pile d'exécution de l'application logicielle embarquée. Il est assigné à la RAM. On choisira pour adresse de base la valeur 0x00000000, et une capacité de stockage de 64 Koctets.
  * '''seg_stack''' est le segment contenant la pile d'exécution de l'application logicielle embarquée. Il est assigné à la RAM. On choisira pour adresse de base la valeur 0x00800000, et une capacité de stockage de 64 Koctets.
 Remarquez que les 2 segments correspondant aux périphériques (seg_tty et seg_lcd), ainsi que les deux segments correspondant au code système sont dans la zone protégée de l'espace adressable, qui n'est accessible qu'en mode ''kernel'' (adresses supérieures à 0x80000000).
+Remarquez que les 2 segments correspondant aux périphériques (seg_tty et seg_gcd), ainsi que les deux segments correspondant au code système sont dans la zone protégée de l'espace adressable, qui n'est accessible qu'en mode ''kernel'' (adresses supérieures à 0x80000000).
 '''Remarque importante''' : Certaines informations sont utilisées à la fois par le matériel et par le logiciel embarqué, et doivent donc être définies à deux endroits :
 . Les addresses de base et les longueurs des segments sont utilisées par le matériel : Elles doivent être définies dans le fichier ''tp3_top.cpp'' pour ëtre stockées dans la !MappingTable, qui est est utilisée dans la phase de configuration du matériel par les constructeurs des composants. Ces mêmes adresses de base des segments sont utilisées par le logiciel et doivent être définies dans le fichier ''soft/ldscript'' qui contient les directives pour l'éditeur de liens lors de la compilation du logiciel embarqué.
 . Le composant matériel générique ''!VciMultiTty'' peut contrôler un nombre variable de terminaux. Ce nombre de terminaux doit être défini dans le fichier ''tp3_top.cpp'' (pour le matériel), mais doit aussi être défini dans le  fichier ''soft/ldscript'', pour informer le système d'exploitation du nombre de terminaux adressables.
 Complêtez les fichiers ''tp3_top.cpp'' et ''soft/ldsript'' pour définir les adresses de base et les longueurs des segments,
+. Les addresses de base et les longueurs des segments sont utilisées par le matériel : Elles doivent être définies dans le fichier `tp3_top.cpp` pour ëtre stockées dans la `MappingTable`, qui est est utilisée dans la phase de configuration du matériel par les constructeurs des composants. Ces mêmes adresses de base des segments sont utilisées par le logiciel et doivent être définies dans le fichier `soft/ldscript` qui contient les directives pour l'éditeur de liens lors de la compilation du logiciel embarqué.
+. Le composant matériel générique `VciMultiTty` peut contrôler un nombre variable de terminaux. Ce nombre de terminaux doit être défini dans le fichier `tp3_top.cpp` (pour le matériel), mais doit aussi être défini dans le  fichier `soft/ldscript`, pour informer le système d'exploitation du nombre de terminaux adressables.
+Complêtez les fichiers `tp3_top.cpp` et `soft/ldsript` pour définir les adresses de base et les longueurs des segments,
 ainsi que le nombre de terminaux utilisés.
 == 4.2 Compilation du logiciel embarqué ==
+Le logiciel embarqué est défini dans plusieurs fichiers source, que vous trouverez dans le répertoire ''soft''.
+Certains de ces fichiers sont écrits en assembleur MIPS32, certains sont écrits en C :
+ * le fichier '''reset.s''' est écrit en assembleur et contient le code de boot qui est exécuté à la mise sous tension, ou lors de l'activation du signal NRESET. Ce code s'exécute en mode ''kernel'' et initialise quelques registres, avant de se brancher à la pemière instruction du programme ''main''.
+ * le fichier '''giet.s''' est écrit en assembleur et contient le code du Gestionnaire d'Interruption, Exceptions et Trappes. Le GIET est l'unique point d'entrée dans le système d'exploitation. Ce code s'exécute en mode ''kernel'', et se termine toujours par une instruction ''eret''.
+ * le fichier '''stdio.c''' est écrit en C, et contient le code des fonctions C permettant à un programme applicatif s'exécutant en mode ''user'' d'accéder aux périphériques ''mappés'' dans le segment ''kernel'', en effectuant des appels système.
+ * le fichier '''syscalls.s''' est écrit en C et contient le code des appels systèmes proprement ditS. Ce code s'exécute en mode kernel, et permet l'accès aux périphériques ou aux registres protégés du processeur.
+ * le fichier '''main.c''' est écrit en C et contient le code de l'application logicielle, qui peut évidemment utiliser
+les fonctions définies dans le fichier ''stdio.c''.
+ * le fichier '''ldscript''' contient les directives pour l'éditeur de liens.
+ * le fichier '''Makefile''' permet de lancer la génération du logiciel embarqué.
+Le logiciel embarqué est défini dans plusieurs fichiers source, que vous trouverez dans le répertoire `soft`.
+Certains de ces fichiers sont écrits en assembleur Mips32, certains sont écrits en C :
+ * le fichier `reset.s` est écrit en assembleur et contient le code de boot qui est exécuté à la mise sous tension, ou lors de l'activation du signal NRESET. Ce code s'exécute en mode ''kernel'' et initialise quelques registres, avant de se brancher à la pemière instruction du programme ''main''.
+ * le fichier `giet.s` est écrit en assembleur et contient le code du Gestionnaire d'Interruption, Exceptions et Trappes. Le GIET est l'unique point d'entrée dans le système d'exploitation. Ce code s'exécute en mode ''kernel'', et se termine toujours par une instruction `eret`.
+ * le fichier `stdio.c` est écrit en C, et contient le code des fonctions C permettant à un programme applicatif s'exécutant en mode ''user'' d'accéder aux périphériques ''mappés'' dans le segment ''kernel'', en effectuant des appels système.
+ * le fichier `syscalls.s` est écrit en C et contient le code des appels systèmes proprement dits. Ce code s'exécute en mode kernel, et permet l'accès aux périphériques ou aux registres protégés du processeur.
+ * le fichier `main.c` est écrit en C et contient le code de l'application logicielle, qui peut évidemment utiliser les fonctions définies dans le fichier `stdio.c`.
+ * le fichier `ldscript` contient les directives pour l'éditeur de liens.
+ * le fichier `Makefile` permet de lancer la génération du logiciel embarqué.
 '''Question''' : Quels sont les appels système qui permettent d'accéder à un terminal TTY ? Lorsqu'il y a plusieurs terminaux dans l'architecture, comment est sélectionné le terminal cible ?
 On rappelle que l'instruction ''eret'' de sortie du GIET ou du code de boot effectue principalemnt deux actions :
+On rappelle que l'instruction `eret` de sortie du GIET ou du code de boot effectue principalemnt deux actions :
 . Elle modifie le registre protégé SR (registre 12 du coprocesseur ''système'') pour que le processeur retourne dans le mode où il était lorsqu'il a été dérouté par une interruption, une exception ou un appel système.
 . Elle effectue un branchement à l'adresse contenue dans le registre protégé EPC (registre 14 du coprocesseur ''système'').
 …
 '''Question''' : Quels sont les initialisations réalisées par le code de boot ? pouquoi ces initialisations ?
 Le premier programme que vous allez exécuter se contente d'afficher le célèbre ''hello world'' sur le terminal.
 Ouvrez le fichier ''soft/main.c''.
 '''Question''' : Que fait ce programme ? (on rappelle que la fonction ''tty_getc()'' est bloquante, et ne rend pas la main  tant qu'un caractère n'a pas été saisi au clavier).
 Lancez l'exécution du Makefile. Deux fichiers ''soft.bin'' et ''soft.bin.txt'' doivent  être créé dans le répertoire ''soft'' :
 Le fichier ''soft.bin'' contient le code binaire au format ELF, et le fichier ''soft.bin.txt'' contient un version desassemblée (donc lisible) de ce code binaire.
+Le premier programme que vous allez exécuter se contente d'afficher le célèbre `hello world` sur le terminal.
+Ouvrez le fichier `soft/main.c`.
+'''Question''' : Que fait ce programme ? (on rappelle que la fonction `tty_getc()` est bloquante, et ne rend pas la main  tant qu'un caractère n'a pas été saisi au clavier).
+Lancez l'exécution du Makefile. Deux fichiers `soft.bin` et `soft.bin.txt` doivent  être créés dans le répertoire `soft` :
+Le fichier `soft.bin` contient le code binaire au format ELF, et le fichier `soft.bin.txt` contient un version desassemblée (donc lisible) de ce code binaire.
 == 4.3 Définition de l'architecture matérielle ==
 Complétez le fichier ''tp3_top.cpp'': Il faut enregister les 7 segments dans la MappingTable.
+Complétez le fichier `tp3_top.cpp`: Il faut enregister les 7 segments dans la `MappingTable`.
 Il faut définir les arguments de tous les constructeurs des composants instanciés, ainsi que les valeurs de
 leurs paramètres template. Il faut définir le cheminom permettant au ''loader'' des composants ROM et RAM
 d'accéder au fichier ''soft/bin.soft'' contenant le code binaire.
+leurs paramètres template. Il faut définir le nom du fichier permettant au `loader` des composants ROM et RAM
+d'accéder au fichier `soft/bin.soft` contenant le code binaire.
 '''Question''' : Parmi les 7 segments utilisés dans cette l'architecture, lesquels doivent être déclarés cachables ?
 '''Question''' : Quel est le nombre de bits de poids fort de l'adresse qui doivent être décodés par le contrôleur du bus
 pour déterminer la cible VCI désignée ? Cette information est un des arguments du constructeur de la !MappingTable.
+pour déterminer la cible VCI désignée ? Cette information est un des arguments du constructeur de la `MappingTable`.
 '''Question''' quels sont les bits d'adresse qui doivent être décodés par le contrôleur du cache, pour déterminer
 qu'une adresse appartient à un segment non-cachable, et doit être directement transmise à la mémoire ?
 Cette information est un autre argument du constructeur de la !MappingTable.
+Cette information est un autre argument du constructeur de la `MappingTable`.
 Enfin, comme dans le TP2, il faut modifier tous les fichiers des composants SoCLib qui possèdent des paramètres templates pour définir  les valeurs de ces paramètres avant de générer le fichier objet correspondant.
 Dans le cas du coprocesseur GCD, il faut modifier le fichier ''vci_gcd_coprocessor.cpp'' en ajoutant  :
 {{{
 template class VciLcdCoprocessor<soclib::caba::VciParams<4, 8, 32, 1, 1, 1, 12, 1, 1, 1> >;
+Dans le cas du coprocesseur GCD, il faut modifier le fichier `vci_gcd_coprocessor.cpp` en ajoutant  :
+{{{
+template class VciGcdCoprocessor<soclib::caba::VciParams<4, 8, 32, 1, 1, 1, 12, 1, 1, 1> >;
 }}}
 Il faut faire de même pour les autres composants matériels instanciés.
 Quand tout ceci est fait, lancez le Makefile qui vous est fourni dans le répertoire TP3, pour générer le simulateur ''simulator.x''.
+Quand tout ceci est fait, lancez le Makefile qui vous est fourni dans le répertoire TP3, pour générer le simulateur `simulator.x`.
 == 4.5 Lancement de la simulation ==
 …
 Ce flag permet d'activer les directives de compilation conditionnelle qui se trouvent
 à la fois dans le fichier ''tp3_top.cpp'', et dans les modèles des composants matériels.
+à la fois dans le fichier `tp3_top.cpp`, et dans les modèles des composants matériels.
 Pour attirer votre attention sur des erreurs fréquentes, faites les essais suivants :
 . Modifiez l'adresse de base du segment ''seg_lcd'' pour lui donner la valeur 0xB0000000 au lieu de 0x9000000. Relancez la compilation et la simulation. Expliquez les résultats obtenus.
 . Déclarez les segments correspondant aux périphériques (seg_tty et seg_lcd) comme cachables. Relancez la compilation et la simulation. Expliquez les résultats obtenus.
+. Modifiez l'adresse de base du segment `seg_gcd` pour lui donner la valeur 0xB0000000 au lieu de 0x9000000. Relancez la compilation et la simulation. Expliquez les résultats obtenus.
+. Déclarez les segments correspondant aux périphériques (seg_tty et seg_gcd) comme cachables. Relancez la compilation et la simulation. Expliquez les résultats obtenus.
 == 4.5 Modification du logiciel embarqué ==
 Puisque le logiciel embarqué est chargé dynamiquement dans la RAM et dans la ROM lors du lancement du simulateur,
 il est possible de modifier le logiciel embarqué (fichier ''bin.soft''), sans modifier l'architecture matérielle et donc
 sans recompiler le simulateur et sans avoir à regénérer le fichier ''simulator.x''.
+il est possible de modifier le logiciel embarqué (fichier `bin.soft`), sans modifier l'architecture matérielle et donc
+sans recompiler le simulateur et sans avoir à regénérer le fichier `simulator.x`.
 On va donc maintenant écrire une application logicielle un peu plus complexe, qui utilise le coprocesseur GCD,
 simplement en modifiant le fichier ''main.c'' dans le répertoire ''soft'', et en relançant la compilation et la génération
 du fichier ''bin.soft''.
 Modifiez le fichier ''main.c'', pour que les programme C exécute une boucle infinie dans laquelle on effectue successivement
+simplement en modifiant le fichier `main.c` dans le répertoire `soft`, et en relançant la compilation et la génération
+du fichier `bin.soft`.
+Modifiez le fichier `main.c`, pour que les programme C exécute une boucle infinie dans laquelle on effectue successivement
 les opérations suivantes :
 . affichage du numéro de cycle et du numéro d'itération.
 . génération aléatoire de deux variables OPA et OPB de type ''int''.
 . écriture de OPA dans le registre 'GCD_OPA'' du coprocesseur GCD.
 . écriture de OPB dans le registre ''GCD_OPB'' du coprocesseur GCD.
 . écriture dans le pseudo-registre ''GCD_START'' du coprocesseur LCD, pour démarrer la simulation.
 . lecture du registre ''GCD_STATUS'' du coprocesseur LCD pour tester la fin du calcul.
+. génération aléatoire de deux variables OPA et OPB de type `int`.
+. écriture de OPA dans le registre `GCD_OPA` du coprocesseur GCD.
+. écriture de OPB dans le registre `GCD_OPB` du coprocesseur GCD.
+. écriture dans le pseudo-registre `GCD_START` du coprocesseur GCD, pour démarrer la simulation.
+. lecture du registre `GCD_STATUS` du coprocesseur GCD pour tester la fin du calcul.
 . affichage du numéro d'itération, du numéro de cycle, des valeurs des opérandes et du résultat sur le TTY.
 Pour afficher sur le terminal, on utilisera évidemment la fonction ''tty_printf()''.
 Pour obtenir le numéro de cycle, on utilisera la fonction ''proctime().
 Pour la génération aléatoire, on utilisera la fonction ''rand()''.
 Pour les accès au coprocesseur GCD on utilisera les fonctions 'spécifiques au coprocesseur LCD.
+Pour afficher sur le terminal, on utilisera évidemment la fonction `tty_printf()`.
+Pour obtenir le numéro de cycle, on utilisera la fonction `proctime()`.
+Pour la génération aléatoire, on utilisera la fonction `rand()`.
+Pour les accès au coprocesseur GCD on utilisera les fonctions ''spécifiques'' au coprocesseur GCD.
 Pour introduire un peu d'interactivité dans cet exercice, vous pouvez introduire dans la boucle
 un appel à la fonction ''tty_getc()'' qui lit un caractère au clavier, et bloque l'exécution du programme
+un appel à la fonction `tty_getc()` qui lit un caractère au clavier, et bloque l'exécution du programme
 tant que le caractère n'est pas saisi.
 Le code de ces fonctions est défini dans le fichier ''stdio.c'', et les prototypes
 sont définis dans le fichier ''stdio.h''.
+Le code de ces fonctions est défini dans le fichier `stdio.c`, et les prototypes
+sont définis dans le fichier `stdio.h`.
 = 5 Compte-rendu =