Dynamische Adaption in heterogenen verteilten eingebetteten ...

4 Basisschicht eines Verwalters
die Eigenschaften von Sektionen zurückgreifen, die unter anderem angeben, ob sich der Inhalt einer
binären Sektion zur Laufzeit im Speicher des Programms befindet (Flag: SHF_ALLOC).
Für jede der so bestimmten Sektionen werden anschließend die Symbole analysiert, die Positionen
innerhalb der Sektion beschreiben. Ist nur ein Symbol vorhanden, welches darüber hinaus die gesamte
Sektion abdeckt, so wird ein Einzelsymbolmodul erzeugt. Sind in einer Codesektion neben diesem
Symbol noch lokale Symbole vorhanden, die weder Typ noch Größenangabe enthalten, so wird
ebenfalls ein Einzelsymbolmodul erzeugt. Hierbei wird angenommen, dass es sich bei den zusätzlichen
Symbolen um interne Sprungmarken einer Funktion handelt, die nicht von außen angesprungen werden.
In allen anderen Fällen muss ein Multisymbolmodul erzeugt werden (Abbildung 4.16).
Abbildung 4.16: Einzel- oder Multisymbolmodul
Zur Bestimmung, ob es sich um ein Daten- oder Funktionsmodul handelt, können mehrere Merkmale
ausgewertet und miteinander abgestimmt werden. Der beste Weg, den Typ festzustellen, ist die
Überprüfung der Typinformation in den Symbolen. Zeigen alle Symbole entweder auf Daten oder
auf Funktionen, so kann hieraus der Typ des Moduls abgeleitet werden. Es gibt jedoch Compiler,
die Symbole ohne diese Kennzeichnung erzeugen 10 . Außerdem kann der Inhalt einer Sektion auch
durch ein allgemeineres Sektionssymbol angesprochen werden (siehe Abschnitt 4.2.5.1). In diesen
Fällen kann als Merkmal der Name der Sektion herangezogen werden. Beginnt er mit .text, so
handelt es sich üblicherweise um Code. Beginnt er hingegen mit .data, .rodata oder .bss, so
sind Daten abgespeichert. Da der Name jedoch kein eindeutiges Merkmal darstellt, kann man die
Annahme durch die Eigenschaften der Sektionen, welche in der ELF-Sektionstabelle gespeichert
sind, untermauern. Eine Sektion, die Code enthält, muss als ausführbar gekennzeichnet sein und ist
normalerweise nur-lesbar, wohingegen Datensektionen nicht ausführbar sind.
Nachdem ermittelt wurde, welche Art von Modul erstellt wird, werden die Symbole und Relokationen
vereinheitlicht, sodass keine ELF-spezifischen Informationen mehr verwendet werden. Dabei werden
die Symbole in zwei Typen unterteilt:
Endgültige Symbole (FinalSymbol). Symbole, deren Werte bekannt sind und entweder eine Position
innerhalb des Moduls oder einen absoluten Wert repräsentieren.
Zielsymbole (RelocationSymbol). Symbole, die als Ziel von Relokationen eingesetzt werden.
Sie enthalten keinen Wert, sondern dienen als Platzhalter und werden später mit einem endgültigen
Symbol des selben Namens verbunden.
Eine Relokation enthält nach der Vereinfachung nur noch die Position innerhalb des Moduls, an der
eine Änderung vorgenommen werden soll, das Zielsymbol, welches den Wert liefert der eingefügt
werden soll und einen Typ, der die Art und Weise des Einfügens genauer beschreibt.
10 Beispiel hierfür ist der GCC für H8 Architekturen. Beobachtet mit verschiedenen GCC-Versionen von
http://www.kpitgnutools.com/ (KPIT GNU Tools and Support). Neueste getestete Version: 4.2-
GNUH8_v0703 (entspricht GCC 4.2.1).
78