Discussion :

[casier]

bonjour à tous,

je viens de me poser une question vraiment idiote:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
int x=3; --> une cas mémoire Y est réservée à x, cette case contient 3

Oui, mais y'a forcément autre chose qui se passe, car où est stockée l'information que la variable x est la variable de la case mémoire Y ??? Je sais pas si je suis clair (ou si je me vautre comme une buse...). On réserve une case à x, OK, mais comment la machine sait que quand on tape x c'est dans la case mémoire Y qu'il faut aller chercher la valeur ??

[Emmanuel Delahaye]

je viens de me poser une question vraiment idiote:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
int x=3; --> une cas mémoire Y est réservée à x, cette case contient 3

Oui, mais y'a forcément autre chose qui se passe, car où est stockée l'information que la variable x est la variable de la case mémoire Y ??? Je sais pas si je suis clair (ou si je me vautre comme une buse...). On réserve une case à x, OK, mais comment la machine sait que quand on tape x c'est dans la case mémoire Y qu'il faut aller chercher la valeur ??

A ton avis, ça sert à quoi un compilateur ?

Ce que tu vois dans le code source, c'est une représentation textuelle de ton programme. Une fois compilé, une variable, c'est une case mémoire avec une adresse et une valeur dans la case. La notion d'identificateur a complètement disparue. Si ça te travaille, fait un peu d'assembleur...

[Thierry Chappuis]

Salut,

C'est le compilateur qui fait tout le travaille de 'mapping' entre les noms de variables et les adresses de la mémoire à l'aide d'une table des symboles (voir un bon bouquin sur la conception et la construction d'un compilateur).

D'ailleurs, si tu utilises GCC sous Linux (c'est certainement possible avec tous les compilateurs, mais je n'en connaît pas d'autre), le switch '-S' te permet de consulter le code assembleur (synthaxe AT&T du GNU assembler). C'est très instructif, et j'ai appris beaucoup sur le langage de cette manière. Tu verras dans ton code assembleur qu'il n'y a plus aucune trace de ta variable x ni d'aucun autre identificateur. Seuls les noms de fonctions restent.

Ainsi, lorsque l'assembler traduit le code produit pas GCC en code machine, la notion d'identificateur de variable a disparue de ton code.

Thierry

[Emmanuel Delahaye]

Tu verras dans ton code assembleur qu'il n'y a plus aucune trace de ta variable x ni d'aucun autre identificateur. Seuls les noms de fonctions restent.

Uniquement dans le source assembleur, parce qu'il est symbolique (d'ailleurs, les noms des variables pourraient apparaitre aussi...).

Par contre, dans le code binaire, il n'y a pas d'identificateurs. (Si on désassemble, on ne voit pas de nom de fonctions ni de variable). Mais ça, tu le savais déjà... Juste une précision si le P.O. nous lit...

[Jean-Marc.Bourguet]

Les noms des fonctions et des variables a duree de vie statique mais non statique doivent etre presents dans les fichiers objects pour permettre l'edition de liens. Ils se retrouvent aussi parfois dans les executables. Les dessassembleurs fonctionnant a partir de fichier les utilisent parfois, de meme que les informations de debug qui peuvent aider leur boulot.

[InOCamlWeTrust]

Uniquement dans le source assembleur, parce qu'il est symbolique (d'ailleurs, les noms des variables pourraient apparaitre aussi...).

Non : les variables automatiques sont rangées dans la pile, et les valeurs externes (je n'ai pas dit "déclarées avec extern" ni "définies avec une portée externe", mais bien externes tout court, c'est-à-dire celles déclarées en dehors des fonctions) ainsi que celle déclarées avec static dans une fonction se trouvent dans le segment de données. Les variables automatiques ne peuvent donc pas se trouver avec leur nom (y compris avec l'utilisation de macros, car gcc fait de drôles de choses avec la pile lorsque l'on active -O3), mais celles externes, oui.

Les variables avec lien externe (qui ne sont pas les mêmes qu'au-dessus) doivent NECESSAIREMENT apparaître avec leur nom dans le fichier objet, sinon l'édition de liens ne pourrait se faire. Les autres... ça dépend !

Par contre, dans le code binaire, il n'y a pas d'identificateurs. (Si on désassemble, on ne voit pas de nom de fonctions ni de variable). Mais ça, tu le savais déjà... Juste une précision si le P.O. nous lit...

Et non (cf. commande nm sous Unix) ! Et si tu parles de l'exécutable, je ne suis même pas sûr qu'il n'en reste pas des traces parfois, vu la complexité et la richesse de certains formats objet, et vu qu'il aussi possible de faire du chargement dynamique de code... mais à vérifier.

[Médinoc]

En C, aucun identificateur dans le code exécutable, mis à part:

• dans les informations de débogage (si incluses)
• dans les tables d'importation des DLL.

En java ou en .Net, c'est différent.

[casier]

A ton avis, ça sert à quoi un compilateur ?

Ce que tu vois dans le code source, c'est une représentation textuelle de ton programme. Une fois compilé, une variable, c'est une case mémoire avec une adresse et une valeur dans la case. La notion d'identificateur a complètement disparue. Si ça te travaille, fait un peu d'assembleur...

hum, ok, je sais absolument pas ce que c'est que l'assembleur (j'ai déjà entendu le terme mais c'est tout). Par contre, le nom "assembleur" (qui semble assez explicite) et ce que tu me dis me fait me représenter tout ça comme ça: à la compil, les blocs mémoires (concernés bien sûr) sont assemblés aux variables en question, sont associés de aux variables en un langage largement plus bas niveau que C (heuu, en langage machine quoi, langage assembleur ? Bref, là je dois dire un paquet de c****eries...).

En gros, après ça, pour la machine x c'est un bloc mémoire point barre? Bon, alors, j'ai tout faux ? Allez, demain j'irai voir si je peux faire un peu d'assembleur

edit: mujigka, j'avais pas lu ta réponse lors de mon post...

[Thierry Chappuis]

Lorsque tu compiles un programme écrit en langage C, ton compilateur génère, après plusieurs étapes (analyse lexicale, analyse syntaxique, analyse sémantique, optimisation de code) un code en langage assembleur.

Qu'est ce que le code assembleur? Chaque instruction du code assembleur correspond à une instruction machine. Seulement, plutôt que d'avoir une suite de 0s et de 1s, tu as des instructions appelées mnémoniques, plus faciles à manipuler. Exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
movl  $15, %eax    # Tu stocke la constante 15 dans le registre EAX du processeur (ici Intel IA-32)
addl  $5, %eax     # ajoute 5 à la valeur contenue dans le registre EAX

On appelle ce bout de code du code assembleur. C'est ce que génère en sortie ton compilateur GCC ou autre sur la base du code C que tu lui as fourni. Ensuite, un programme appelé aussi assembleur se charge de transformer chaque instruction en code directement interprêtable par la machine.

Comme tu l'as deviné, la programmation assembleur est le plus bas niveau après le code machine lui-même où une instruction assembleur = une instruction machine (je sais pas si c'est toujours vrai?). Il y a donc autant de langages assembleurs que de processeurs.

Voilà, je crois que je vais aller me coucher. J'espère que mon explication a quelque chose de compréhensible. Meilleures salutations

Thierry