symbol-Tabelle und-Standortwechsel-Tabelle im Objekt-Datei

Was ich verstehen, die Anweisungen und Daten in einer Objekt-Datei, in der alle Adressen enthalten. Ersten Datenelement beginnen bei Adresse 0 und der ersten Anweisung beginnen bei Adresse 0.

Den Standortwechsel-Tabelle enthält Informationen über Anweisungen, die aktualisiert werden müssen, wenn die Adressen in der Datei ändern, zum Beispiel, wenn die Datei verknüpft ist, zusammen mit einem anderen. Die Linie A, im Beispiel unten, wäre in der relocation Tabelle. Ich glaube nicht, dass B wäre in der relocation Tabelle, da die Adresse des label "gleich" ist relativ zu B, und Sind diese die richtigen Annahmen?

Ich weiß, das symbol Tabelle anzeigen die Etiketten der Datei haben und auch labels, die noch nicht gelöst worden. Aber was bedeutet das symbol Tabelle enthalten?

Auch, wenn der assembler übersetzt die Anweisungen, um binäre, was ist gelegt, in denen die Anweisungen die nicht aufgelösten Referenzen?. B in diesem Beispiel. 

.data
TEXT: .asciiz "Foo"

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

equal:
    la a0, TEXT
    jal printf #A
InformationsquelleAutor Carlj901 | 2013-05-25
  1. 7

    Ja, deine Annahmen sind korrekt. Es gibt verschiedene Arten von Umzügen, was die assembler-strahlt in den Unterricht hängt von dem Typ. In der Regel ist es ein offset Hinzugefügt werden. Sie können objdump -dr zu sehen, Umzüge. Für eine bessere Veranschaulichung habe ich geändert, dein code ein wenig:

    .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

    Ausgabe von 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

    Als Sie sagte, es ist kein Umzug für die beq da, das ist eine relative Adresse innerhalb dieser Objekt-Datei.

    Den bne ich Hinzugefügt (Zeile, gekennzeichnet mit C) verweist auf ein externes symbol, so dass, obwohl die Adresse ist relativ zu einer Verlagerung Eintrag benötigt. Es wird der Typ R_MIPS_PC16 zu produzieren, ein 16 bit signed word offset-symbol foo. Die Anleitung Kodierung erfordert den Versatz von dem nächsten Wort und nicht die aktuelle PC, dass der Umzug verwendet, 1 abgezogen, und das ist codiert als 2 ergänzen ffff in der Instruktion selbst.

    Den la pseudoinstruction übersetzt worden ist, durch den assembler in einen lui/addiu pair (letzteres im delay slot des jal). Für die lui eine R_MIPS_HI16 Umzug ist gegen die .data Abschnitt die füllen in die oberen 16 bits. Da das symbol TEXT ist unter der Adresse 4 im .data Abschnitt, den oberen 16 bit der offset sind 0. Dies bedeutet, dass die Anweisung enthält 0 offset. Auch für die niedrigen 16 bits, es sei denn, die Anweisung enthält einen offset von 4.

    Schließlich die jal printf ist die Verwendung noch eine andere Art von Umzug, der zugeschnitten ist für die Kodierung, die vom Befehl benötigt. Der offset ist gleich null, weil der Sprung direkt auf das referenzierte symbol. Beachten Sie, dass objdump versucht, hilfsbereit zu sein mit der Entschlüsselung, aber es nicht verarbeiten, der Umzug, so die <main> es gibt ist natürlich Unsinn.

    • Ich bin mir nicht sicher, was du meinst mit "Da das symbol, der TEXT ist unter der Adresse 4 in der .Daten-Bereich, die oberen 16 bits der offset 0". Außerdem, was würde die symbol-Tabelle Aussehen?
    • Hinweis ich habe eine Ganzzahl, die den Beginn der Daten-Abschnitt, das ist der Grund, warum TEXT hat die Adresse 4.
    • Ah, ich verstehen es jetzt. Welche Informationen würden die symbol-Tabelle enthalten, die für diese Datei?
    • Da nur main ist global, das sollte das exportiert nur den Eintrag in der Symboltabelle mit Adresse 0 im .text Abschnitt. Die Tabelle listet auch die 2 externen Symbole printf und foo, plus all die einheimischen, wenn Sie nicht ausgezogen. Die Adressen sollten offensichtlich sein, aus der Liste I vorgesehen.
    InformationsquelleAutor Jester
Schreibe einen Kommentar