table de symboles et de déménagement de table de fichier de l'objet

De ce que je comprends, les instructions et les données dans un fichier de l'objet ont tous des adresses. Les premières données de début de l'élément à l'adresse 0 et la première instruction à l'adresse 0.

Pour la relocalisation de la table contient des informations sur les instructions qui doivent être mis à jour si les adresses dans le fichier modifier, par exemple si le fichier est lié à un autre. Ligne A, dans l'exemple ci-dessous, serait dans le déménagement de table. Je ne pense pas que B serait dans le déménagement de table, car l'adresse du label "égalité" est par rapport à B. Sont ces hypothèses correctes?

Je sais que la table des symboles à afficher les étiquettes le fichier a et aussi des étiquettes qui n'ont pas été résolus. Mais quelles sont les autres informations de la table des symboles contiennent?

Aussi, lorsque l'assembleur traduit les instructions en binaire, ce qui est placé dans les instructions qui ont non résolus références?. B dans cet exemple.

.data
TEXT: .asciiz "Foo"

.text
.global main
main:
     li t0, 1
     beq t0, 1, equal #B

equal:
    la a0, TEXT
    jal printf #A

OriginalL'auteur Carlj901 | 2013-05-25

  1. 7

    Oui, vos hypothèses sont correctes. Il existe différents types de déménagements, ce que l'assembleur émet dans l'instruction dépend du type. C'est en général un décalage à ajouter. Vous pouvez utiliser objdump -dr pour voir les délocalisations. Pour une meilleure illustration que j'ai changé de code un peu:

    .data
.int 0
TEXT: .asciiz "Foo"
.text
.global main
main:
     li $t0, 1
     beq $t0, 1, equal #B
     bne $t0, 42, foo  #C

equal:
     la $a0, TEXT
     jal printf #A

    Sortie de objdump:

    00000000 <main>:
   0:   24080001        li      t0,1
   4:   24010001        li      at,1
   8:   11010004        beq     t0,at,1c <equal>
   c:   00000000        nop
  10:   2401002a        li      at,42
  14:   1501ffff        bne     t0,at,14 <main+0x14>
                        14: R_MIPS_PC16 foo
  18:   00000000        nop

0000001c <equal>:
  1c:   3c040000        lui     a0,0x0
                        1c: R_MIPS_HI16 .data
  20:   0c000000        jal     0 <main>
                        20: R_MIPS_26   printf
  24:   24840004        addiu   a0,a0,4
                        24: R_MIPS_LO16 .data

    Comme vous l'avez dit, il n'y a pas de réinstallation pour le beq puisque c'est une adresse relative à l'intérieur de ce fichier objet.

    La bne j'ai ajouté (ligne marquée avec C) fait référence à un symbole externe, de sorte que même si l'adresse est relative à une réinstallation d'entrée est nécessaire. Il sera de type R_MIPS_PC16 pour produire un 16 bits mot signé de décalage du symbole foo. Comme le codage d'instruction nécessite décalage à partir du mot suivant et non pas de la PC que la réinstallation utilise, 1 doit être soustrait, et c'est codée en tant que complément de 2 ffff dans l'instruction elle-même.

    La la pseudoinstruction a été traduit par l'assembleur dans un lui/addiu paire (ce dernier dans le délai fente de la jal). Pour le lui un R_MIPS_HI16 de la réinstallation, est créé à l'encontre de la .data section à remplir dans le top 16 bits. Depuis le symbole TEXT est à l'adresse 4 dans le .data section, les 16 premiers bits de décalage sont 0. Cela signifie que l'instruction contient 0 décalage. De même, pour le bas de 16 bits, sauf qu'il n'y l'instruction contient un décalage de 4.

    Enfin, la jal printf est en utilisant encore un autre type de déplacement qui est adapté pour le codage requis par l'instruction. Le décalage est nul parce que le saut est directement référencé dans la symbole de. Notez que objdump est d'essayer d'être utile par décodage, mais il n'a pas procédé à la réinstallation de sorte que le <main> sorties il est bien sûr absurde.

    Je ne suis pas sûr de ce que tu veux dire par "Car le symbole de TEXTE est à l'adresse 4 dans le .section de données, les 16 premiers bits de décalage sont 0". Aussi, quel serait le symbole de la table?
    Avis j'ai ajouté un entier au début de la section de données qui est pourquoi TEXT a l'adresse 4.
    Ah, je comprends maintenant. Quelles seront les informations de la table des symboles pour contenir ce fichier?
    Depuis seulement main est mondial, qui devrait être la seule exporté entrée dans la table des symboles, avec adresse 0 dans le .text section. Le tableau répertorie également les 2 signes extérieurs printf et foo, ainsi que tous les habitants s'ils ne sont pas supprimés. Les adresses doivent être évident à partir de la liste que j'ai fournis.

    OriginalL'auteur Jester